bluesky — Umran — 7 Oct 2026
Since no axiomatic system can prove its own consistency (thanks Gödel), it just feels stupid to let AI keep generating u…
#philosophy-of-mathematics #formal-verification #mathematical-logic
Since no axiomatic system can prove its own consistency (thanks Gödel), it just feels stupid to let AI keep generating unintuitive, obscure proofs that only pass formal verification and can’t be demonstrated in practise.