next up previous
Next: Answers Up: Two Gödelian Puzzles Previous: The First Puzzle

Questions

Question 1: Is it possible that the machine can print all true sentences?

Answer: tex2html_wrap_inline134 Yes; tex2html_wrap_inline134 No Solution on back; try to get it before looking.

If ``No," provide a true sentence tex2html_wrap_inline138 that the machine cannot print:

tex2html_wrap_inline138 :

Question 2: How can it be proved that tex2html_wrap_inline138 is true but can't be printed?

Questions 3 & 4: What about tex2html_wrap_inline144 -- can it be printed? Why?



Selmer Bringsjord
Tue Jan 20 11:43:03 EST 1998