On Santa (Claus), Löb’s theorem vs Gödel’s first incompleteness theorem

Logic, Probability and Reflection | Azimuth
(from http://math.ucr.edu/home/baez/):




 "Löb’s theorem is the flip side of Gödel’s first incompleteness theorem"

'via Blog this' The Honourable Schoolboy