[FOM] Godel: the proof from The Book??

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Mon Aug 23 23:13:41 EDT 2004

On 23 Aug 2004, Peter Smith wrote:
> Leaving Godel's own original effort out of it, what proof of the first 
> incompleteness theorem would you suggest as a candidate for The Book?

Are you allowing appeal to Church's Thesis for the proof?
Neil Tennant

More information about the FOM mailing list