; TeX output 1997.06.25:1029l'&qfDtGGcmr17Solution7ttoG9odelianPuzzleandgG cmmi12:F::Ƚa7tnewone!", cmsy10]XQ cmr12SelmerBringsjord%N"V cmbx10Question1K`y cmr10: lIs"(it': cmti10p}'ossiblethatthemachinecanprintalltruesentences? ?No.NHereUUisatruesentencethatthemachinecannotprint:? b> cmmi10S 0ercmmi7g:q !", cmsy10PcM(PM)NQuestionT2:qHowUUcanitbGepr}'ovedUUthatSg\istruebutcan'tbeprinted?NProQof. cmmi10 0ercmmi7K`y cmr10ٓRcmr7