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.
It has to do with creating measuring devices out of what we can empirically derive, and building successive generations off of those. It’s fine for our local system but by the time you get intergalactic (or quantum) with it, flaws start to propagate themselves bigly.
I can’t reveal more at this time or Big Math will get suspicious.
Interesting! Could you elaborate on this? I’m intrigued to know the intrinsic flaws.
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.
It has to do with creating measuring devices out of what we can empirically derive, and building successive generations off of those. It’s fine for our local system but by the time you get intergalactic (or quantum) with it, flaws start to propagate themselves bigly.
I can’t reveal more at this time or Big Math will get suspicious.
Big Math comes knocking: “you mean Big Physics?”
quoi? Oh désolé, je ne sais pas. Vous devez avoir le mauvais numéro.
*sounds of fleeing*