/jp/ - Otaku Culture

>>13331079
Pratically it is useless, since it's a composition of extremely technical, tedious, unmanageable proofs, using only basic logic. It pretty much reads like assembly code. It took them about 300 pages to show, for instance, that "1+1=2" is true. But it's uselessness has nothing to do with your quote. PM's content is true. You could show pretty much everything including the theorems used in school math up to the fundamental theorem of calculus in such a way, so it is a very important work since no one else has properly proved things that we take (misleadingly) as trivial. What the quote is mentioning is when abtract shit gets real, like using the axiom of choice. You can't prove that the axiom of choice is true or false in our system of logic. But you can prove that you can't prove it.

>>13331079
Pratically it is useless, since it's a composition of extremely technical, tedious, unmanageable proofs, using only basic logic. It pretty much reads like assembly code. It took them about 300 pages to show, for instance, that "1+1=2" is true. But it's uselessness has nothing to do with your quote. PM's content is true. You could show pretty much everything including the theorems used in school math up to the fundamental theorem of calculus in such a way, so it is a very important work since no one else has properly proved things that we take (misleadingly) as trivial. What the quote is mentioning is when abtract shit gets real, like using the axiom of choice. You can't proof that the axiom of choice is true or false in our system of logic. But you can proof that you can't proof it.

>>12940178
>curved lasers
why do these things even exist, in what kind of space are these girls fighting
i have to make second or even third order extrapolation in my brain for each projectile trajectory, that's not possible for me. the world must be linear

How is it even possible to make it through the first spellcard of sage 3 in lunatic.
I'm always trying to move from the left to the right corner in the rhythm she shoots her red waves, but you have to be really good or really lucky to get a rather sparse pattern of the blue bullets around your position.

I was ironically going through this a few days ago when I was a bit drunk but I felt some genuine sadness and pretty acute loneliness when Akira says your name in the café.