{"query": "The Busy Beaver function — BB(5) proved, BB(6) open", "count": 20, "results": [{"id": "card_cs_busy_beaver", "title": "The Busy Beaver function — BB(5) proved, BB(6) open", "shelf": "codex", "surface": "secular", "snippet": "BB(n), the Busy Beaver function (Rado 1962), is the most steps an n-state 2-symbol Turing machine can run before halting. It is UNCOMPUTABLE in general - a value of BB would decide the halting problem", "authority_tier": "engine_derived", "source": "Narrow Highway — computer science", "readable": false, "generated": false}, {"id": "card_src_etym_beaver", "title": "beaver", "shelf": "etymology", "surface": "secular", "snippet": "beaver: etymology (Webster 1913) — n.: [OE. bever, AS. beofer, befer; akin to D. bever, OHG. bibar, G. biber, Sw. bäfver, Dan. bæver, Lith. bebru, Russ. bobr', Gael. beabhar, Corn. befer, L. fiber, an", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_openstax_algebra_1_5_8_4_function_notation_eeadf469", "title": "5.8.4 Function Notation — Algebra 1", "shelf": "mathematics", "surface": "secular", "snippet": "5.8.4\n\nFunction Notation\n\n5.8.4 • Function Notation\n\nCool Down\n\nFor questions 1 - 3, the graph shows the population of beavers in a forest for different numbers of years after 1995. The beaver populat", "authority_tier": "reference", "source": "OpenStax: Algebra 1 (CC-BY 4.0)", "readable": false, "generated": false}, {"id": "card_src_etym_castor", "title": "castor", "shelf": "etymology", "surface": "secular", "snippet": "castor: etymology (Webster 1913) — n.: [L. castor the beaver, Gr. 1. (Zoöl.) Defn: A genus of rodents, including the beaver. See Beaver. 2. Castoreum. See Castoreum. 3. A hat, esp. one made of beaver ", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_taxon_51342", "title": "Aplodontia rufa — mountain beaver", "shelf": "taxonomy", "surface": "secular", "snippet": "mountain beaver (Aplodontia rufa) — a species. In the tree of life under Aplodontia. Also known as: mountain beaver, sewellel.", "authority_tier": "reference", "source": "NCBI Taxonomy (public domain)", "readable": false, "generated": false}, {"id": "card_src_pron_beavers", "title": "beavers", "shelf": "pronunciation", "surface": "secular", "snippet": "beavers: pronounced (ARPABET) B IY1 V ER0 Z. From the CMU Pronouncing Dictionary — the standard machine-readable pronunciations of North American English.", "authority_tier": "reference", "source": "CMU Pronouncing Dictionary (cmudict) — BSD-2-Clause, Carnegie Mellon", "readable": false, "generated": false}, {"id": "card_src_pron_beaver", "title": "beaver", "shelf": "pronunciation", "surface": "secular", "snippet": "beaver: pronounced (ARPABET) B IY1 V ER0. From the CMU Pronouncing Dictionary — the standard machine-readable pronunciations of North American English.", "authority_tier": "reference", "source": "CMU Pronouncing Dictionary (cmudict) — BSD-2-Clause, Carnegie Mellon", "readable": false, "generated": false}, {"id": "card_src_fed_constructionoper69bail_0", "title": "Construction and operation of Biological Survey beaver trap", "shelf": "agriculture", "surface": "secular", "snippet": "Construction and operation of Biological Survey beaver trap. A United States federal publication, public domain (17 USC 105). The full text (11,786 bytes) is held on the ark; waybill sha256 d8e5397ce0", "authority_tier": "reference", "source": "USDA publications (PD, 17 USC 105)", "readable": true, "generated": false}, {"id": "card_src_word_eager_beaver", "title": "eager beaver", "shelf": "dictionary", "surface": "secular", "snippet": "eager beaver: (noun) an alert and energetic person — syn: busy bee, live wire, sharpie, sharpy", "authority_tier": "reference", "source": "WordNet 3.0, Princeton University (WordNet License)", "readable": false, "generated": false}, {"id": "card_src_word_busy_bee", "title": "busy bee", "shelf": "dictionary", "surface": "secular", "snippet": "busy bee: (noun) an alert and energetic person — syn: eager beaver, live wire, sharpie, sharpy", "authority_tier": "reference", "source": "WordNet 3.0, Princeton University (WordNet License)", "readable": false, "generated": false}, {"id": "card_src_taxon_29132", "title": "Castoridae — beavers", "shelf": "taxonomy", "surface": "secular", "snippet": "beavers (Castoridae) — a family. In the tree of life under Castorimorpha.", "authority_tier": "reference", "source": "NCBI Taxonomy (public domain)", "readable": false, "generated": false}, {"id": "card_src_place_5896590", "title": "Beaver Bank", "shelf": "geography", "surface": "secular", "snippet": "Beaver Bank: a place in CA, 07 at 44.825, -63.681, population 6,000. Feature PPL, timezone America/Halifax.", "authority_tier": "reference", "source": "GeoNames (CC-BY 4.0)", "readable": false, "generated": false}, {"id": "card_src_place_5245193", "title": "Beaver Dam", "shelf": "geography", "surface": "secular", "snippet": "Beaver Dam: a place in US, WI at 43.458, -88.837, population 16,564. Feature PPL, timezone America/Chicago.", "authority_tier": "reference", "source": "GeoNames (CC-BY 4.0)", "readable": false, "generated": false}, {"id": "card_src_place_5179478", "title": "Beaver Falls", "shelf": "geography", "surface": "secular", "snippet": "Beaver Falls: a place in US, PA at 40.752, -80.319, population 8,661. Feature PPL, timezone America/New_York.", "authority_tier": "reference", "source": "GeoNames (CC-BY 4.0)", "readable": false, "generated": false}, {"id": "card_src_etym_sciuromorpha", "title": "sciuromorpha", "shelf": "etymology", "surface": "secular", "snippet": "sciuromorpha: etymology (Webster 1913) — n. pl.: [NL., fr. L. sciurus squirrel + Gr. (Zoöl.) Defn: A tribe of rodents containing the squirrels and allied animals, such as the gophers, woodchucks, beav", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_etym_brown", "title": "brown", "shelf": "etymology", "surface": "secular", "snippet": "brown: etymology (Webster 1913) — a.: [OE. brun, broun, AS. br; akin to D. bruin, OHG. br, Icel. br, Sw. brun, Dan. bruun, G. braun, Lith. brunas, Skr. babhru. *93, 253. Cf. Bruin, Beaver, Burnish, Br", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_etym_amphibious", "title": "amphibious", "shelf": "etymology", "surface": "secular", "snippet": "amphibious: etymology (Webster 1913) — a.: [Gr. i. e., both on land in water; 1. Having the ability to live both on land and in water, as frogs, crocodiles, beavers, and some plants. 2. Pertaining to,", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_theory_golden_ratio_phyllotaxis", "title": "The golden ratio & phyllotaxis", "shelf": "theories", "surface": "secular", "snippet": "The golden ratio & phyllotaxis — an engine domain that can touch it: mathematics. Calibration: seals — a deterministic verifier can CONFIRM or BREAK checkable claims drawn from it, and seal them. phi ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_molecular_symmetry_point_groups", "title": "Molecular symmetry & point groups", "shelf": "theories", "surface": "secular", "snippet": "Molecular symmetry & point groups — an engine domain that can touch it: molecular_geometry. Calibration: seals — a deterministic verifier can CONFIRM or BREAK checkable claims drawn from it, and seal ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_aufbau_configuration", "title": "Aufbau principle & electron configuration", "shelf": "theories", "surface": "secular", "snippet": "Aufbau principle & electron configuration — an engine domain that can touch it: periodic_table. Calibration: seals — a deterministic verifier can CONFIRM or BREAK checkable claims drawn from it, and s", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}], "house": {"door": "FIND", "kind": "cards", "trail": "results", "seal": null, "next_step": {"do": "open the top card", "door": "FIND", "tool": "card_get", "params": {"id": "card_cs_busy_beaver"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}