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/Published at
2023-12-18 23:03:42Event JSON
{
"id": "19eb7d12145db72cfdde37748ad01db28f2b14abf14664ef718442000e5b88b0",
"pubkey": "0cb36012f8031a8c24c4b22c7b61aed1f0a6f3639b57f03467eae6044b823c41",
"created_at": 1702940622,
"kind": 1,
"tags": [],
"content": "\"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.\"\n\nReally interesting article. re. ai and mathemtaical proofs.\nhttps://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/",
"sig": "67bdd85420797870025825d547c731460b2e530be1473f72e75b07c25cc265068dc09f26c28593dadd0c58e5f55cb9c04231bb2b0783d171c80736f4ea7b3460"
}