Mathematicians born on this day:
1511 : Erasmus Reinhold 
Mathematicians who died on this day:
1950 : Isabel Maddison 
Reinhold Baer  John S Mackay  Joachim Jungius 
Reinhold Baer (1902  1979)
The main result of Gödel's paper ... can be formulated in a pointed and, hence not fully correct way as follows: if A is a countable, consistent logical system, for example arithmetic, then there is a proposition in A which is not decidable in A (but may be decidable in extended systems). Hurrah, logicians have also discovered diagonalisation!
Letter to Zermelo in 1931
Previous Day  Today  Next Day  Whole year

Main Index  Biographies Index
 
Birth and death statistics 
JOC/EFR May 2017

School of Mathematics and Statistics University of St Andrews, Scotland  