{"query": "The Yang-Mills chain - from the gauge field and the axioms t", "count": 20, "results": [{"id": "card_theory_non_euclidean_hyperbolic_elliptic_geometry", "title": "Non-Euclidean (hyperbolic / elliptic) geometry", "shelf": "theories", "surface": "secular", "snippet": "Non-Euclidean (hyperbolic / elliptic) geometry — an engine domain that can touch it: geometry. Calibration: partial — curvature relations verify; the choice of axioms is map-only. Deny Euclid's fifth ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_measure_theory__lebesgue_integration", "title": "Measure theory (Lebesgue integration)", "shelf": "theories", "surface": "secular", "snippet": "Measure theory (Lebesgue integration) — an engine domain that can touch it: mathematics. Calibration: map-only — a foundation, not a computation. What it means for a set to have a SIZE, done carefully", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_kolmogorov_probability_axioms", "title": "Kolmogorov probability axioms", "shelf": "theories", "surface": "secular", "snippet": "Kolmogorov probability axioms — an engine domain that can touch it: probability. Calibration: seals. Three axioms (1933): probabilities are non-negative, the whole sample space has probability 1, and ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_euclidean_geometry_the_parallel_postulate", "title": "Euclidean geometry & the parallel postulate", "shelf": "theories", "surface": "secular", "snippet": "Euclidean geometry & the parallel postulate — an engine domain that can touch it: geometry. Calibration: seals. Five postulates from which Euclid derived the plane geometry of the Elements (c. 300 BC)", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_peano_arithmetic_axioms", "title": "Peano arithmetic axioms", "shelf": "theories", "surface": "secular", "snippet": "Peano arithmetic axioms — an engine domain that can touch it: number_theory. Calibration: seals. Five axioms generating the natural numbers: zero is a number, every number has a successor, zero succee", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_zermelo_fraenkel_set_theory_zfc", "title": "Zermelo–Fraenkel set theory (ZFC)", "shelf": "theories", "surface": "secular", "snippet": "Zermelo–Fraenkel set theory (ZFC) — an engine domain that can touch it: formal_logic. Calibration: map-only — an axiomatic foundation, not a computation. Nine or so axioms about sets from which essent", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_bridge_master_boolean_algebra", "title": "Master equation: (a AND b), (a OR b), NOT a  —  the two-valued algebra", "shelf": "bridges", "surface": "secular", "snippet": "the law of thought made algebra: the same AND/OR/NOT structure is propositional logic, a network of switches, and the algebra of sets. Boole titled it The Laws of Thought; Shannon showed a circuit IS ", "authority_tier": "reference", "source": "The Bridges — cross-domain isomorphisms", "readable": false, "generated": false}, {"id": "card_floor_yang_mills", "title": "The Yang-Mills chain - from the gauge field and the axioms to the mass gap", "shelf": "codex", "surface": "secular", "snippet": "Two trees. The gauge field: Maxwell, Weyl's gauge principle (1929), Yang and Mills' non-abelian field (1954). The axioms: Wightman's (1956) and Osterwalder-Schrader's Euclidean ones (1973) - what it m", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (operator seed)", "readable": false, "generated": false}, {"id": "card_chain_osterwalder_schrader_1973", "title": "Osterwalder 1973 — Axioms for Euclidean Green's functions", "shelf": "codex", "surface": "secular", "snippet": "K. Osterwalder, R. Schrader (1973). Axioms for Euclidean Green's functions. Comm. Math. Phys. 31 (1973) 83–112. DOI 10.1007/BF01645738. Canonical: https://doi.org/10.1007/BF01645738. Free copy: https:", "authority_tier": "reference", "source": "K. Osterwalder, R. Schrader (1973), Comm. Math. Phys. 31 (1973) 83–112", "readable": false, "generated": false}, {"id": "card_src_word_euclid_s_axiom", "title": "euclid's axiom", "shelf": "dictionary", "surface": "secular", "snippet": "euclid's axiom: (noun) (mathematics) any of five axioms that are generally recognized as the basis for Euclidean geometry — syn: Euclid's postulate, Euclidean axiom", "authority_tier": "reference", "source": "WordNet 3.0, Princeton University (WordNet License)", "readable": false, "generated": false}, {"id": "card_src_word_euclidean_axiom", "title": "euclidean axiom", "shelf": "dictionary", "surface": "secular", "snippet": "euclidean axiom: (noun) (mathematics) any of five axioms that are generally recognized as the basis for Euclidean geometry — syn: Euclid's axiom, Euclid's postulate", "authority_tier": "reference", "source": "WordNet 3.0, Princeton University (WordNet License)", "readable": false, "generated": false}, {"id": "card_chain_wightman_1956", "title": "Wightman 1956 — Quantum field theory in terms of vacuum expectation values", "shelf": "codex", "surface": "secular", "snippet": "A. S. Wightman (1956). Quantum field theory in terms of vacuum expectation values. Phys. Rev. 101 (1956) 860–866. DOI 10.1103/PhysRev.101.860. Canonical: https://doi.org/10.1103/PhysRev.101.860. Cited", "authority_tier": "reference", "source": "A. S. Wightman (1956), Phys. Rev. 101 (1956) 860–866", "readable": false, "generated": false}, {"id": "card_src_openstax_entrepreneurship_11_1_avoiding_the_field_of_dreams_approa_3fd6365b", "title": "11.1 Avoiding the “Field of Dreams” Approach — Entrepreneurship", "shelf": "reference", "surface": "secular", "snippet": "11.1\n\nAvoiding the “Field of Dreams” Approach\n\nLearning Objectives\n\nBy the end of this section, you will be able to:\n\nUnderstand the importance of planning\n\nUnderstand the concepts of product and serv", "authority_tier": "reference", "source": "OpenStax: Entrepreneurship (CC-BY 4.0)", "readable": false, "generated": false}, {"id": "card_src_pron_axioms", "title": "axioms", "shelf": "pronunciation", "surface": "secular", "snippet": "axioms: pronounced (ARPABET) AE1 K S IY0 AH0 M 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_axiom", "title": "axiom", "shelf": "pronunciation", "surface": "secular", "snippet": "axiom: pronounced (ARPABET) AE1 K S IY0 AH0 M. 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_book_38120", "title": "Bridge Axioms and Laws — J. B. (Joseph Bowne) Elwell", "shelf": "gutenberg", "surface": "secular", "snippet": "Bridge Axioms and Laws, by J. B. (Joseph Bowne) Elwell. Subjects: Bridge whist. Read the full text (public domain): https://www.gutenberg.org/ebooks/38120", "authority_tier": "reference", "source": "Project Gutenberg (public domain)", "readable": true, "generated": false}, {"id": "card_src_etym_axiomatic_axiomatical", "title": "axiomatic; axiomatical", "shelf": "etymology", "surface": "secular", "snippet": "axiomatic; axiomatical: etymology (Webster 1913) — a.: [Gr. Defn: Of or pertaining to an axiom; having the nature of an axiom; self-evident; characterized by axioms. \"Axiomatical truth.\" Johnson. The ", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_book_39204", "title": "The Lincoln Year Book: Axioms and Aphorisms from the Great Emancipator — Abraham Lincoln", "shelf": "gutenberg", "surface": "secular", "snippet": "The Lincoln Year Book: Axioms and Aphorisms from the Great Emancipator, by Abraham Lincoln. Subjects: Lincoln, Abraham, 1809-1865 -- Quotations. Read the full text (public domain): https://www.gutenbe", "authority_tier": "reference", "source": "Project Gutenberg (public domain)", "readable": true, "generated": false}, {"id": "card_src_etym_axiom", "title": "axiom", "shelf": "etymology", "surface": "secular", "snippet": "axiom: etymology (Webster 1913) — n.: [L. axioma, Gr. that which is thought worthy, that which is assumed, a basis of demonstration, a principle, fr. to think worthy, fr. worthy, weighing as much as; ", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_word_parallel_axiom", "title": "parallel axiom", "shelf": "dictionary", "surface": "secular", "snippet": "parallel axiom: (noun) only one line can be drawn through a point parallel to another line — syn: Euclid's fifth axiom", "authority_tier": "reference", "source": "WordNet 3.0, Princeton University (WordNet License)", "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_theory_non_euclidean_hyperbolic_elliptic_geometry"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}