Grothendieck’s “canonical” equalities work on paper but clash with formal proof systems like Lean, exposing a subtle gap in algebraic geometry’s foundations. #mathematicallogic
The Problem With Grothendieck’s Use Of Equality
hackernoon.com
December 10, 2025 at 2:00 PM
Grothendieck’s “canonical” equalities work on paper but clash with formal proof systems like Lean, exposing a subtle gap in algebraic geometry’s foundations. #mathematicallogic
Canonical isomorphisms in advanced math aren’t as canonical as they seem. This article explores sign choices, Langlands theory, and why formalism falls short. #mathematicallogic
Canonical Isomorphisms In More Advanced Mathematics
hackernoon.com
December 11, 2025 at 3:00 PM
Canonical isomorphisms in advanced math aren’t as canonical as they seem. This article explores sign choices, Langlands theory, and why formalism falls short. #mathematicallogic
A mathematician explores why equality in mathematics resists formal definition, and how computer theorem provers expose gaps in our foundational intuition. #mathematicallogic
Why Mathematicians Still Struggle to Define Equality in the Computer Age
hackernoon.com
December 10, 2025 at 11:00 AM
A mathematician explores why equality in mathematics resists formal definition, and how computer theorem provers expose gaps in our foundational intuition. #mathematicallogic
#Wittgenstein’s #Cambridge seminar on the foundations of mathematics included a brilliant young mathematician, #AlanTuring, who was giving his own course that term on the same topic. Turing too had been excited by the promise of #mathematicallogic
time.com/archive/6735...
youtu.be/lVQNSsuvEg8?...
time.com/archive/6735...
youtu.be/lVQNSsuvEg8?...
July 10, 2025 at 3:27 AM
#Wittgenstein’s #Cambridge seminar on the foundations of mathematics included a brilliant young mathematician, #AlanTuring, who was giving his own course that term on the same topic. Turing too had been excited by the promise of #mathematicallogic
time.com/archive/6735...
youtu.be/lVQNSsuvEg8?...
time.com/archive/6735...
youtu.be/lVQNSsuvEg8?...
‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard #Science #Mathematics hashtag 1: #ReverseMathematics 2: #HardProblems 3: #MathematicalLogic
‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard
When it comes to hard problems, computer scientists seem to be stuck. Consider, for example, the notorious problem of finding the shortest round-trip route that passes through every city on a map exactly...
purescience.news
December 1, 2025 at 5:42 PM
‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard #Science #Mathematics hashtag 1: #ReverseMathematics 2: #HardProblems 3: #MathematicalLogic
A clear, accessible explanation of universal properties, equality, and why mathematicians treat many different constructions as “the same” object. #mathematicallogic
Inside the Logic of “Products” and Equality in Set Theory
hackernoon.com
December 10, 2025 at 12:00 PM
A clear, accessible explanation of universal properties, equality, and why mathematicians treat many different constructions as “the same” object. #mathematicallogic
Why common product notation hides deep structural issues in set theory, and how category theory resolves ambiguities mathematicians often overlook. #mathematicallogic
Category Theory Explains a Common Oversight in Everyday Mathematics, Study Finds
hackernoon.com
December 10, 2025 at 1:00 PM
Why common product notation hides deep structural issues in set theory, and how category theory resolves ambiguities mathematicians often overlook. #mathematicallogic
How mathematicians use equality conflicts with formal proof systems. This article explores why canonical isomorphisms break down in computer-checked maths. #mathematicallogic
Grothendieck, Equality, and the Trouble with Formalising Mathematical Arguments
hackernoon.com
December 9, 2025 at 7:39 PM
How mathematicians use equality conflicts with formal proof systems. This article explores why canonical isomorphisms break down in computer-checked maths. #mathematicallogic
Universal properties promise abstraction, but localisation shows where they fail—especially in formal proofs. Learn why algebraic geometry needs concrete models #mathematicallogic
Universal Properties In Algebraic Geometry
hackernoon.com
December 10, 2025 at 2:00 PM
Universal properties promise abstraction, but localisation shows where they fail—especially in formal proofs. Learn why algebraic geometry needs concrete models #mathematicallogic
Unravelling Cyclic First-Order Arithmetic
Dominik Wehr, Graham E. Leigh
Paper
Details
#CyclicFOA #LogicAndComputability #MathematicalLogic
Dominik Wehr, Graham E. Leigh
Paper
Details
#CyclicFOA #LogicAndComputability #MathematicalLogic
July 30, 2025 at 4:04 PM
Unravelling Cyclic First-Order Arithmetic
Dominik Wehr, Graham E. Leigh
Paper
Details
#CyclicFOA #LogicAndComputability #MathematicalLogic
Dominik Wehr, Graham E. Leigh
Paper
Details
#CyclicFOA #LogicAndComputability #MathematicalLogic
The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
Juan M Santiago Suárez, Matteo Viale
Paper
Details
#BooleanCompactnessTheorem #L_inftyinfty #MathematicalLogic
Juan M Santiago Suárez, Matteo Viale
Paper
Details
#BooleanCompactnessTheorem #L_inftyinfty #MathematicalLogic
July 30, 2025 at 4:04 PM
The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
Juan M Santiago Suárez, Matteo Viale
Paper
Details
#BooleanCompactnessTheorem #L_inftyinfty #MathematicalLogic
Juan M Santiago Suárez, Matteo Viale
Paper
Details
#BooleanCompactnessTheorem #L_inftyinfty #MathematicalLogic
Formalisation is uncovering subtle gaps in modern mathematical proofs, from implicit conventions to non-canonical constructions that demand new rigor. #mathematicallogic
Formal Proof Systems Reveal Overlooked Ambiguities in Advanced Mathematics
hackernoon.com
December 11, 2025 at 6:00 PM
Formalisation is uncovering subtle gaps in modern mathematical proofs, from implicit conventions to non-canonical constructions that demand new rigor. #mathematicallogic
A critical look at how mathematicians use the word “canonical,” revealing how informal shortcuts obscure the real constructions behind key theorems. #mathematicallogic
Reexamining Canonical Isomorphisms in Modern Algebraic Geometry
hackernoon.com
December 11, 2025 at 1:00 PM
A critical look at how mathematicians use the word “canonical,” revealing how informal shortcuts obscure the real constructions behind key theorems. #mathematicallogic
PHOTOSTORY DRY AS DUST / SPECIAL EPISODE
the theory of derivation trees
#dryasdust #logic #TV #show #math #mathematicallogic #protocephalopod #comic
the theory of derivation trees
#dryasdust #logic #TV #show #math #mathematicallogic #protocephalopod #comic
November 18, 2024 at 2:30 AM
PHOTOSTORY DRY AS DUST / SPECIAL EPISODE
the theory of derivation trees
#dryasdust #logic #TV #show #math #mathematicallogic #protocephalopod #comic
the theory of derivation trees
#dryasdust #logic #TV #show #math #mathematicallogic #protocephalopod #comic