"Communist takeover of mathematics" in which individuality and intuition would be subjugated, for the common good, to logical rules.This tidbit is funny.
Yet, Gödel is routinely deployed by people with antirationalist agendas as a stick to whack any offending piece of science that happens by. A typical recent article, "Why Evolutionary Theories Are Unbelievable," claims, "Basically, Gödel's theorems prove the Doctrine of Original Sin, the need for the sacrament of penance, and that there is a future eternity."To that, I have only one response: the Sacred Sausage Invocation. Amen.
Tags: Gödel
The popular definition in the review goes something like Godel's=there exist true statements that are unproveable
ReplyDeleteThis "true but unproveable" seems to come up a lot. Does that make any sense? If something is unproveable in given system of axioms, how is it true?
Posted by Yaroslav Bulatov
So the actual statement is more nuanced. The correct statement is that it is possible to construct a statement in a consistent system of logic that essentially says 'this statement cannot be proved'. Now if the system is consistent, it will not prove a false statement. If the statement could be proved, it would be false, which would violate consistency. The only other choice is that the statement is true, but then cannot be proved within the system.
ReplyDeleteThe trick is that "true" is relative to the logical system, and is not defined outside it. in fact what Godel basically showed is that there no absolute notion of truth (or no sound and complete logic system)
Posted by Suresh