Ellopos Blog

— Greek European Culture
ELLOPOS

Kurt Goedel, a Mathematician in the School of Plato


Pages: 1 2 3 4

Gödel’s Incompleteness Theorem shows that human beings can never formulate a correct and complete description of the set of natural numbers, {0, 1, 2, 3, . . .}. But if mathematicians cannot ever fully understand something as simple as number theory, then it is certainly too much to expect that science will ever expose any ultimate secret of the universe.

Scientists are thus left in a position somewhat like K. in The Castle [of Kafka]. Endlessly we hurry up and down corridors, meeting people, knocking on doors, conducting our investigations. But the ultimate success will never be ours. Nowhere in the castle of science is there a final exit to absolute truth…

There is one idea truly central to Gödel’s thought that we discussed at some length. This is the philosophy underlying Gödel’s credo, “I do objective mathematics.” By this, Gödel meant that mathematical entities exist independently of the activities of mathematicians, in much the same way that the stars would be there even if there were no astronomers to look at them. For Gödel, mathematics, even the mathematics of the infinite, was an essentially empirical science.

According to this standpoint, which mathematicians call Platonism, we do not create the mental objects we talk about. Instead, we find them, on some higher plane that the mind sees into, by a process not unlike sense perception.

The philosophy of mathematics antithetical to Platonism is formalism, allied to positivism. According to formalism, mathematics is really just an elaborate set of rules for manipulating symbols. By applying the rules to certain “axiomatic” strings of symbols, mathematicians go about “proving” certain other strings of symbols to be “theorems.”

The game of mathematics is, for some obscure reason, a useful game. Some strings of symbols seem to reflect certain patterns of the physical world. Not only is “2 + 2 = 4” a theorem, but two apples taken with two more apples make four apples.

It is when one begins talking about infinite numbers that the trouble really begins. Cantor’s Continuum Problem is undecidable on the basis of our present-day theories of mathematics. For the formalists this means that the continuum question has no definite answer. But for a Platonist like Gödel, this means only that we have not yet “looked” at the continuum hard enough to see what the answer is.

Home of Ellopos Blog


Pages: 1 2 3 4

 

«

»


  Learned Freeware

For WINDOWS




Enable Desktop Gadgets on Windows 10, with Gadgetarian
Enable Desktop Gadgets on Windows 10