Comment on In this essay...
MBM@lemmings.world 4 days ago
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”?
Comment on In this essay...
MBM@lemmings.world 4 days ago
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”?
Donkter@lemmy.world 4 days 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