A Simple Explanation of Gödel's Incompleteness Theorem

[Ninja_pig]

I think Leo's video on Gödel's incompleteness theorem does a good job at considering the implications of this theorem, but it doesn't explain the theorem itself very well. Watch this if you are confused by that video like I was.

[Leo Gura]

Good video.

Pairs nicely with my video:

https://www.actualized.org/articles/understanding-absolute-infinity-part-2

[Windappreciator]

Aaah classic, you eliminate paradox by establishing a limit for yourself to view that paradox. typical rationalist move.

[Leo Gura]

You eliminate paradox by banned self-reference.

Which is of course the whole game science plays: do science but no self-reflection.

[Windappreciator]

that's finer, yes.

[Carl-Richard]

The end of that video blew my mind.

[AtheisticNonduality]

These mathematicians actually needed a logician to basically just write "unprovable but true statement" on a card to understand there are things that are true but unprovable?

[Windappreciator]

14 minutes ago, AtheisticNonduality said:

These mathematicians actually needed a logician to basically just write "unprovable but true statement" on a card to understand there are things that are true but unprovable?

They needed a logician to somewhat recognize it. If someone without such a status had told them, who knows if they had just shrugged it off.

Not to deny someone without that education would have unlikely found it.

Edited May 24, 2021 by Windappreciator