Is this where I go “actually it took 83 pages to set up an extremely rigorous system and then a couple of lines to show you could use it to prove 1+1=2”?
In this essay...
Submitted 2 days ago by fossilesque@mander.xyz to science_memes@mander.xyz
https://mander.xyz/pictrs/image/f7a09b2f-3e66-46a4-8459-b96e38951342.png
Comments
MBM@lemmings.world 2 days ago
Donkter@lemmy.world 1 day ago
If those couple of lines couldn’t be determined to be true without the 83 page setup then it took all 83 pages to prove 1+1=2
nop@lemmy.world 2 days ago
Gödel has entered the chat.
lb_o@lemmy.world 1 day ago
If you want a nice evening, I highly recommend a visual novel called Logicomix.
It covers Bertrand Russel’s life in a popular way and brings a lot of understanding of his struggle.
fossilesque@mander.xyz 1 day ago
I have a hard copy, but it’s available on archive.org too! archive.org/details/…/2up
tetris11@feddit.uk 14 hours ago
Wow, I have to admit I wasnt expecting much and the first 10 pages arent that gripping, but it really does get good
Batman@lemmy.world 2 days ago
One year to prove it, 82 years for that banger of a title
33550336@lemmy.world 2 days ago
The proof might be somewhat lengthy, but it is quite rigorous.
Midnitte@beehaw.org 2 days ago
Pffh, Terrence Howard will disprove it in only 4 pages!
/s
SkunkWorkz@lemmy.world 2 days ago
bjoern_tantau@swg-empire.de 2 days ago
And shortly after that some other guy proved that he was wrong. More specifically he proved that you cannot prove that 1+1=2. More more specifically he proved that you cannot prove a system using the system.
pebbles@sh.itjust.works 2 days ago
Yk thats something some religious folks gotta understand.
Diplomjodler3@lemmy.world 2 days ago
What are you talking about, filthy infidel? My holy book contains the single, eternal truth! It says so right here in my holy book!
TaterTot@piefed.social 2 days ago
Sure, but I can hear em now. “If you can’t prove a system using the system, then this universe (i.e. this “system") can not create (i.e. “prove") itself! It implies the existance of a greater system outside this system! And that system is MY GOD!”
Torturing language a bit of a speciality for the charlatan.
HexesofVexes@lemmy.world 2 days ago
Ehh…
So, it’s more a case that the system cannot prove it’s own consistency (an system cannot prove it won’t lead to a contradiction). So the proof is valid within the system, but the validity of the system is what was considered suspect (i.e. we cannot prove it won’t produce a contradiction from that system alone).
These days we use relative consistency proofs - that is we assume system A is consistent and model system B in it thus giving “If A is consistent, then so too must B”.
As much as I hate to admit it, classical set theory has been fairly robust - though intuitionistic logic makes better philosophical sense.
Klear@quokk.au 2 days ago
I like how it’s valid to use “more specifically” as you’re specifying what exactly he did, but in both cases those are more general claims rather than more specific ones.
fushuan@lemmy.blahaj.zone 2 days ago
In logic class we kinda did prove most of the integer operations, but it was more like (extremely shortened and not properly written)
If 1+1=2 and 1+1+1=3 then prove that 1+2=3
2 was just a shortened representation of 1+1 so technically you were proving that 1+1 plus 1 equals 1+1+1.
Really fun stuff. It took a long while to reach division
Taldan@lemmy.world 2 days ago
Presumably you were starting with a fundamental axiom such as 1 + 1 = 2, which is the difficult one to prove because it’s so fundamental
titanicx@lemmy.zip 2 days ago
None of that sounded fun…
MeThisGuy@feddit.nl 2 days ago
and even longer to reach long division?
JackbyDev@programming.dev 2 days ago
Lambda calculus be like
SaharaMaleikuhm@feddit.org 2 days ago
Yeah, but how many pages did it take?
InternetCitizen2@lemmy.world 2 days ago
As many as needed.
lmmarsano@lemmynsfw.com 2 days ago
That’s a misinterpretation of the incompleteness theorem: you should reread it. They did prove 1+1=2 from axioms with their methods.
emergencyfood@sh.itjust.works 2 days ago
Doesn’t that only apply for sufficiently complicated systems? Very simple systems could be provably self-consistent.
Shelena@feddit.nl 2 days ago
It applies to systems that are complex enough to formulate the Godel sentence, i.e. “I am unprovable”. Gödel did this using basic arithmetic. So, any system containing basic arithmetic is either incomplete or inconsistent. I believe it is still an open question in what other systems you could express the Gödel sentence.
bjoern_tantau@swg-empire.de 2 days ago
I think it’s true for any system. And I’d say mathematics or just logic are simple enough. Every system stems from unprovable core assumptions.