-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Statement-level review: optimal-ntet-continued-fraction Lean signatures
domain-number-theoryNumber theoryNumber theoryformalizationLean 4 formalizationLean 4 formalizationvalidationVerifying a stated claimVerifying a stated claimStatus: Open.#11 In thefalsework/papers;[validation] Ellis (2016) and Cartwright (1999) as scholarly precedent for domain-dependent formalism
domain-philosophyPhilosophy of math / sciencePhilosophy of math / sciencevalidationVerifying a stated claimVerifying a stated claimStatus: Open.#10 In thefalsework/papers;[correction] Paper 5 §§ 2.2 / 4.2 / 7.1 — missing 24/41 convergent, over-broad 'practically usable temperaments' claim, outdated 53-TET keyboard remark
correctionError to fixError to fixdomain-number-theoryNumber theoryNumber theoryStatus: Open.#9 In thefalsework/papers;Validation: posthumous-canonization (Paper 6 § 5, § 7)
domain-humanitiesHumanities / reception studies / history of art or musicHumanities / reception studies / history of art or musicopen-directionOpen research directionOpen research directionvalidationVerifying a stated claimVerifying a stated claimStatus: Open.#8 In thefalsework/papers;[open-direction] Paper 1 — Extending G∧R∧C to practice domains
domain-category-theoryCategory theoryCategory theorydomain-philosophyPhilosophy of math / sciencePhilosophy of math / scienceopen-directionOpen research directionOpen research directionStatus: Open.#7 In thefalsework/papers;[open-direction] Paper 4 § 6.3 — Higgs VEV magnitude explanatory debt
domain-philosophyPhilosophy of math / sciencePhilosophy of math / sciencedomain-physicsPhysics / foundations of physicsPhysics / foundations of physicsopen-directionOpen research directionOpen research directionStatus: Open.#6 In thefalsework/papers;[validation] Paper 5 § 7.5 — Three explanatory debts (uniform framework / typology / Baker bound)
domain-number-theoryNumber theoryNumber theorydomain-philosophyPhilosophy of math / sciencePhilosophy of math / sciencevalidationVerifying a stated claimVerifying a stated claimStatus: Open.#5 In thefalsework/papers;[open-direction] Paper 3 § 5.2 — Does D4 hold at every rung of the arithmetical ladder?
domain-category-theoryCategory theoryCategory theorydomain-number-theoryNumber theoryNumber theoryopen-directionOpen research directionOpen research directionStatus: Open.#4 In thefalsework/papers;[validation] Cantor cumulative caveat across four papers (canonical at Paper 4 § 2.5)
domain-philosophyPhilosophy of math / sciencePhilosophy of math / sciencedomain-set-theorySet theory / formal logicSet theory / formal logicvalidationVerifying a stated claimVerifying a stated claimStatus: Open.#3 In thefalsework/papers;[validation] Paper 5 § 4 — Baker's 1966 theorem on the Pythagorean comma
domain-number-theoryNumber theoryNumber theoryvalidationVerifying a stated claimVerifying a stated claimStatus: Open.#2 In thefalsework/papers;[validation] Paper 3 § 4 — Music-kernel endofunctor: six-point verification
domain-category-theoryCategory theoryCategory theorydomain-number-theoryNumber theoryNumber theoryvalidationVerifying a stated claimVerifying a stated claimStatus: Open.#1 In thefalsework/papers;