Mark Puddleglum on Nostr: "To discuss mathematics, you need a language, and a set of rules to follow in that ...
"To discuss mathematics, you need a language, and a set of rules to follow in that language. In the 1930s, Gödel proved that no matter how you select your language, there are always statements in that language that are true but that can’t be proved from your starting axioms. It’s actually more complicated than that, but still, you have this philosophical dilemma immediately: What is a true statement if you can’t justify it? It’s crazy."
Really interesting article. re. ai and mathemtaical proofs.
https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/
Really interesting article. re. ai and mathemtaical proofs.
https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/