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 Ⓟ
- 1826: Joseph Winlock Ⓟ
- 1848: Adam Günther Ⓟ
- 1884: Władysław Ślebodziński Ⓟ
- 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
Some people are always critical of vague statements. I tend rather to be critical of precise statements; they are the only ones which can correctly be labeled 'wrong'.
