{"id": "card_works_number_theory", "kind": "verified", "title": "The integers, examined: a prime, a divisor, a factorial", "body": "Exact facts about whole numbers, decided by algorithm, not by eye: 97 is prime; 48 and 36 share a greatest common divisor of 12; and 6! counts the orderings of six things.  Worked & sealed by the engine — 97 is prime · gcd(48, 36) = 12 · 6! = 720.  [HOLDS; open the seal to re-check.]", "source": {"label": "The Works — worked & sealed", "url": "https://narrowhighway.com/s/3950e7ad05569b4a71f53f43565a54a30b721c1d21cc6ec60bf53930b4b60274", "domain": "number_theory", "authority_tier": "verified"}, "shelf": "the-works", "box": "mathematics", "bands": ["the-works", "mathematics", "number_theory", "number", "theory"], "connections": [{"to_card_id": "card_spine_the-works", "relationship": "member_of", "evidence": "a member of the the-works shelf in the keeping"}, {"to_card_id": "card_k_floor_of_discovery", "relationship": "paves", "evidence": "A worked, engine-sealed demonstration — a paving-stone of the floor of reality."}, {"to_card_id": "card_v_84e08f40a749", "relationship": "demonstrates", "evidence": "A worked demonstration in the same field (number_theory)."}, {"to_card_id": "card_v_8abf65c1a315", "relationship": "demonstrates", "evidence": "A worked demonstration in the same field (number_theory)."}, {"to_card_id": "card_works_logic", "relationship": "adjacent", "evidence": "Neighbouring worked demonstrations in the same part of the volume."}, {"to_card_id": "card_works_bayes", "relationship": "adjacent", "evidence": "Neighbouring worked demonstrations in the same part of the volume."}, {"to_card_id": "card_works_counting", "relationship": "adjacent", "evidence": "Neighbouring worked demonstrations in the same part of the volume."}, {"to_card_id": "card_works_statistics", "relationship": "adjacent", "evidence": "Neighbouring worked demonstrations in the same part of the volume."}, {"to_card_id": "card_works_polygon", "relationship": "adjacent", "evidence": "Neighbouring worked demonstrations in the same part of the volume."}], "author": "engine", "created_at": 0.0, "updated_at": 0.0, "visibility": "public", "lifecycle_stage": "public", "volatility": "permanent", "surface": "secular", "generated": false, "subject": "Number theory", "extra": {"seal_hash": "3950e7ad05569b4a71f53f43565a54a30b721c1d21cc6ec60bf53930b4b60274", "cite_url": "https://narrowhighway.com/s/3950e7ad05569b4a71f53f43565a54a30b721c1d21cc6ec60bf53930b4b60274", "demonstration_id": "works_number_theory", "verdict": "HOLDS"}, "presentation": {"glyph": "•", "kind_label": "mathematics", "by": "The Works — worked & sealed", "authority": "verified", "posted": "", "standing": "", "link": {"url": "https://narrowhighway.com/s/3950e7ad05569b4a71f53f43565a54a30b721c1d21cc6ec60bf53930b4b60274", "host": "narrowhighway.com", "provider": "", "titled": "The integers, examined: a prime, a divisor, a factorial", "waybill_line": "", "reach": "", "embed": ""}}, "neighbors": [{"id": "card_spine_the-works", "title": "The Works — sealed, worked demonstrations", "relationship": "on the shelf of", "why": "a member of the the-works shelf in the keeping", "href": "/card/card_spine_the-works", "resolved": true}, {"id": "card_k_floor_of_discovery", "title": "The Floor of Discovery — one floor, and by its design the fear of God", "relationship": "paves", "why": "A worked, engine-sealed demonstration — a paving-stone of the floor of reality.", "href": "/card/card_k_floor_of_discovery", "resolved": true}, {"id": "card_v_84e08f40a749", "title": "97 is prime · gcd(48, 36) = 12 · 6! = 720", "relationship": "demonstrates", "why": "A worked demonstration in the same field (number_theory).", "href": "/card/card_v_84e08f40a749", "resolved": true}, {"id": "card_v_8abf65c1a315", "title": "97 is prime · gcd(48, 36) = 12", "relationship": "demonstrates", "why": "A worked demonstration in the same field (number_theory).", "href": "/card/card_v_8abf65c1a315", "resolved": true}, {"id": "card_works_logic", "title": "Two laws of thought, checked over every case", "relationship": "adjacent", "why": "Neighbouring worked demonstrations in the same part of the volume.", "href": "/card/card_works_logic", "resolved": true}, {"id": "card_works_bayes", "title": "The base rate a doctor must not forget", "relationship": "adjacent", "why": "Neighbouring worked demonstrations in the same part of the volume.", "href": "/card/card_works_bayes", "resolved": true}, {"id": "card_works_counting", "title": "Counting: how many ways to choose and to arrange", "relationship": "adjacent", "why": "Neighbouring worked demonstrations in the same part of the volume.", "href": "/card/card_works_counting", "resolved": true}, {"id": "card_works_statistics", "title": "A p-value against a threshold", "relationship": "adjacent", "why": "Neighbouring worked demonstrations in the same part of the volume.", "href": "/card/card_works_statistics", "resolved": true}]}