He used math to show that all statements, in any language, can be expressed as math statements. He then proved that it’s impossible to create any consistent set of math statements that completely describes everything.
That doesn’t make it fundamentally flawed. I also can’t completely describe all muscle movement involved and yet I can walk.
Gödel’s incompleteness theorem has to be the most overhyped thing since a certain cat. For logicians, it mainly means that “is it probable” is a valid question for prepositions that are otherwise vastly esoteric in nature.
Kurt Gödel wrote a whole paper on it.
He used math to show that all statements, in any language, can be expressed as math statements. He then proved that it’s impossible to create any consistent set of math statements that completely describes everything.
That doesn’t make it fundamentally flawed. I also can’t completely describe all muscle movement involved and yet I can walk.
Gödel’s incompleteness theorem has to be the most overhyped thing since a certain cat. For logicians, it mainly means that “is it probable” is a valid question for prepositions that are otherwise vastly esoteric in nature.