Send Close Add comments: (status displays here)
Got it!  This site "creationpie.com" uses cookies. You consent to this by clicking on "Got it!" or by continuing to use this website.  Note: This appears on each machine/browser from which this site is accessed.
Kurt Gödel
by RS  admin@creationpie.com : 1024 x 640


1. Kurt Gödel
Book: On formally undecidable propositions of principia mathematica and related systems
Kurt Gödel (Austrian logician, mathematician, philosopher) was an Austrian logician, mathematician, philosopher. In 2929, his completeness theorem in 1929 and incompleteness theorem in 1931 showed than any formal logic system (that included arithmetic) could not be both complete and consistent .

2. Gödel and language
The more I think about language, the more it amazes me that people ever understand each other at all. Kurt Gödel (Austrian logician, mathematician, philosopher)

3. Gödel and science
I don't believe in empirical science. I only believe in a priori truth. Kurt Gödel (Austrian logician, mathematician, philosopher)

4. Gödel and things
There is a difference between a thing and talking about a thing. Kurt Gödel (Austrian logician, mathematician, philosopher)

5. Gödel and errors
But every error is due to extraneous factors (such as emotion and education); reason itself does not err. Kurt Gödel (Austrian logician, mathematician, philosopher)

6. Gödel and incompleteness
Book: On formally undecidable propositions of principia mathematica and related systems
Kurt Gödel stunned the mathematical world in 1931 by proving that it is impossible to find a consistent mathematical system that will allow all possible truths to be decided. This is called the incompleteness Theorem.
Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor disproved in F.

The incompleteness theorem of Kurt Gödel (Austrian logician, mathematician, philosopher) says that, for any formal proof system that includes arithmetic, there exist true statements that cannot be proven within the system. Part of Gödel's motivation was the belief that there is no finite description of truth. That is, truth is infinite.

Information sign More: Infinity beyond experience
Chess pieces

7. Conference presentation
Almost no one attended Gödel's presentation of his results at the conference where it was presented.

Except one young Hungarian mathematician named John Von Neumann who would forever change the history of computers and many other fields. Common computer today are referred to as Von Neumann machines.

8. End of page

by RS  admin@creationpie.com : 1024 x 640