Mathematicians Of The Day

6th February



On this day in 1930, Kurt Gödel received his Ph.D. from the University of Vienna for a dissertation, directed by Hans Hahn, that showed the completeness of first order logic (every valid first order formula is provable).

Click on for a poster.


Quotation of the day

From Raymond Smullyan
Why should I be worried about dying? It's not going to happen in my lifetime!