Gödel's Undecidability Theorem
No.11491130 ViewReplyOriginalReport
Quoted By: >>11491639 >>11491805 >>11491835 >>11492423
Does anyone understand this shit or is it all larp?
> Mathematicians too autistic to explain this in simple terms without invoking endless stupid definitions.
> muh PeAnO, muh PrInCiPiA MaThEmAtIcA, muh fOrMaL SyStEm, ad infinitum.
>Mathematicians too autistic to understand that theorem is identical to Cantor's, Turing's, etc. etc.
Imagine believing proof systems are required for the theorem to work. Imaging not realizing it is all about computation.
>Gödel comes up with notion of ?-consistency
Hurr durr, but RoSsEr-GoEdEL theorem is STRONGER!
Except scary ?-consistency implies consistency so original Gödel theorem is in fact more general. Rosser even says so himself if they actually bothered read his paper.
So tell me anon what does Gödel's InCoMpLeTnEsS (instead of undecidability) theorem actually mean on a DEEP level?
And please use your fucking head and don't just parrot like formally formal redditards.
> Mathematicians too autistic to explain this in simple terms without invoking endless stupid definitions.
> muh PeAnO, muh PrInCiPiA MaThEmAtIcA, muh fOrMaL SyStEm, ad infinitum.
>Mathematicians too autistic to understand that theorem is identical to Cantor's, Turing's, etc. etc.
Imagine believing proof systems are required for the theorem to work. Imaging not realizing it is all about computation.
>Gödel comes up with notion of ?-consistency
Hurr durr, but RoSsEr-GoEdEL theorem is STRONGER!
Except scary ?-consistency implies consistency so original Gödel theorem is in fact more general. Rosser even says so himself if they actually bothered read his paper.
So tell me anon what does Gödel's InCoMpLeTnEsS (instead of undecidability) theorem actually mean on a DEEP level?
And please use your fucking head and don't just parrot like formally formal redditards.
