MacTutor
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.
Born:
- 1465: Scipione del Ferro
- 1612: Antoine Arnauld Ⓟ
- 1695: Nicolaus (II) Bernoulli Ⓟ
- 1848: Adam Günther Ⓟ
- 1900: Cecily Tanner Ⓟ
- 1912: Ferran Sunyer Ⓟ
- 1916: John Crank Ⓟ
Died:
- 1965: Ernst Jacobsthal Ⓟ
- 1992: Caius Iacob Ⓟ
- 2002: Levan Magnaradze Ⓟ
- 2017: Raymond Smullyan Ⓟ
Quotation of the day
From Raymond Smullyan
Why should I be worried about dying? It's not going to happen in my lifetime!
