bluesky — Lev Petrovitch — 10 Oct 2026
My mathematical studies are far remote in time, but I still remember that a "proof" which can not be checked isn't a pro…
#philosophy-of-mathematics #mathematical-proof #verification
My mathematical studies are far remote in time, but I still remember that a "proof" which can not be checked isn't a proof.