Kurt Godel profile picture

Kurt Godel

I am here for Friends

About Me

I was born in Brno, in the former Austria-Hungarian Empire. In 1924 I enrolled at the University of Vienna. I became interested in logic and was influenced by Hans Hahn, who became my thesis advisor during my graduate studies. I completed my PhD in 1929 on the completeness of first-order logic. The next year I proved my incompleteness theorem and published it the following year in 1931. I moved to Princeton, New Jersey in 1939 to escape service in the German Army. I worked at the Institute for Advanced Studies at Princeton University where I became very good friends with Einstein. I died in 1978 at Princeton because I refused to eat anything except my wife's cooking even when she became comatose: so I died.

A COOL PHILOSOPHY QUESTION: are events in the future real? You might say "NO" because they have not happened yet--or, you might say "YES" (or "no") for whatever reason(s) you may come up with.

PRIZE!: There's no prize.

My Interests

Generalized continuum hypothesis, the axiom of choice and axiomatic systems, general relativity, inconsistencies in the U.S. Constitution, applications of my incompleteness theorem, classical logic, intuitionistic logic, modal logic, the completeness of the first-order predicate calculus, ontological proofs, and making sure I'm not being poisoned while I eat.

I'd like to meet:

Gottfried Leibniz, Isaac Newton, Georg Cantor, Michael Faraday, Guiseppe Peano, Blaise Pascal, Arthur Cayley, Stephen Hawking, Amy Sedaris, and President Eisenhower.

Music:

I approve of music. It doesn't break down under the scrutiny of logic.

Movies:

A Beautiful Mind, Good Will Hunting, Finding Forrester, It Happens Every Spring, and Debbie Does De Broglie.

Television:

Smothers Brothers, I Love Lucy, Nova, and The Simpsons.

Books:

"Principia Mathematica" (despite the fallacies), "Introduction to Mathematical Philosophy" (I read this my first year as an undergrad at U of V), "Metaphysische Anfangsgrnde der Naturwissenschaft," "A New Determination of Molecular Dimensions," "Cosmological Phase Transitions and Radius Stabilization in Higher Dimensions" (even though I died before this was published), "Axiomatization of the Theory of Relativity," "Prolegomena to any Future Metaphysics," "Critique of Pure Reason," and Euclid's "Elements" (I'm a sucker for the classics).

Heroes:

Euclid, Eleanor Roosevelt, Henri Poincare, Archimedes, and Lenny Dykstra.

My Blog

A hard question: if you figure this out you will be famous!

I know a lot of people out there are wondering "Kurt, you know I like combinatoric problems. So why don't you give of some in your blogs?" Well, alright then. PROBLEM: What is the minimum number of p...
Posted by Kurt Godel on Wed, 12 Apr 2006 03:06:00 PST

Does time exist (or is this question jaded already)?

I'll try to make this blog question brief, as the topic I am about to discuss has the potential to be endless&literally. In Einstein's field equations for the General Theory of Relativity (GTR), certa...
Posted by Kurt Godel on Sun, 18 Mar 2007 12:05:00 PST

Proof of my incompleteness theorem(s) expressed elegantly by Dale Myers of Hawaii Univ.

In the following, a   sequence   is an infinite sequence of 0's and 1's. Such a sequence is a function   f : N -> {0,1}   where   N = {0,1,2,3, ...}.     Thus 101...
Posted by Kurt Godel on Fri, 07 Apr 2006 07:19:00 PST

For my friend Pythagoras

This is the proof that the square root of two is irrational (not capable of being expressed as the ratio of two whole numbers) using the "Well Ordering Principle." The Well Ordering Principle assumes ...
Posted by Kurt Godel on Wed, 29 Mar 2006 12:43:00 PST

An article about me in the Guardian on April 26, 2001

Lost innocence This coming Saturday marks the birthday of the mathematician Kurt Gödel. Born in what was then Austria, on April 28 1906, Gödel died in Princeton, New Jersey on January 14 1978, having...
Posted by Kurt Godel on Sat, 25 Mar 2006 10:35:00 PST