bluesky — No Puns Intended — 9 Oct 2026
Not to mention that you can go over someone's proof and verify it step by step and yet completely fail to understand it.…
#philosophy-of-mathematics #proof-theory #mathematical-foundations
Not to mention that you can go over someone's proof and verify it step by step and yet completely fail to understand it. A proof that a statement is correct can work for someone as a certificate, yet still fail its most crucial goal.