corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a07d5d-9303-700d-a3bb-6cbeafa1df7e

The Math Is Haunted

Dan Abramov · published 30 July 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at overreacted.io Wayback capture
1blogs citing
First cited
6 Aug 2025
Most recent
6 Aug 2025
Rank this month
not ranked
Links from this post
16
Words captured
2,720

Cited by

Blog
In the post
Date
aperiodical.com
Double Maths First Thing: Issue 30 Read at the source ↗
6 Aug 2025

Links from this post

Link
Host
https://lean-lang.org/
lean-lang.org
https://xenaproject.wordpress.com/2021/01/21/formalising-mathematics-an-introduction/
xenaproject.wordpress.com
Beyond Booleans Read at the source ↗
overreacted.io
https://live.lean-lang.org/
live.lean-lang.org
https://lean-lang.org/install/
lean-lang.org
https://en.wikipedia.org/wiki/Russell%27s_paradox
en.wikipedia.org
https://philosophy.stackexchange.com/questions/28303/if-the-zfc-axioms-cannot-be-proven-consistent-how-can-we-say-for-certain-that-a
philosophy.stackexchange.com
https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem
en.wikipedia.org
https://leanprover-community.github.io/blog/posts/FLT-announcement/
leanprover-community.github.io
https://github.com/ImperialCollegeLondon/FLT/tree/main/FLT
github.com
https://github.com/ImperialCollegeLondon/FLT/blob/main/FermatsLastTheorem.lean
github.com
https://adam.math.hhu.de/
adam.math.hhu.de
https://leanprover-community.github.io/mathematics_in_lean/
leanprover-community.github.io
https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/
terrytao.wordpress.com
https://github.com/teorth/analysis
github.com
https://leanprover.zulipchat.com/
leanprover.zulipchat.com