
02323700
j
1998f.04084
Hoare, G.T.Q.
A survey of mathematical logic. Pt. 2: post1931.
Math. Gaz. 80, No. 488, 286297 (1996).
1996
Cambridge University Press, Cambridge; Mathematical Association (MA), Leicester
EN
E35
I95
goedel incompleteness theorem
recursive functions
doi:10.2307/3619561
A whirlwind tour. Most of the discussion centers around G\"odel's incompleteness theorems and recursion/computability. A brief nod is also given to nonstandard analysis and to G\"odel and Cohen on AC and GCH. (ZfM)