Paper/Paper.thy
changeset 186 455411d69c12
parent 185 2fad78b479a3
child 187 326310016da9
--- a/Paper/Paper.thy	Tue Feb 19 04:56:33 2013 +0000
+++ b/Paper/Paper.thy	Tue Feb 19 05:11:33 2013 +0000
@@ -1398,7 +1398,9 @@
   Turing machines, an unexpected outcome of our work is that we
   identified an inconsistency in their use of a definition. This is
   unexpected since \cite{Boolos87} is a classic textbook which has
-  undergone several editions (we used the fifth edition). The central
+  undergone several editions (we used the fifth edition; the material 
+  containing the inconsistency was introduced in the fourth edition
+  \cite{BoolosFourth}). The central
   idea about Turing machines is that when started with standard tapes
   they compute a partial arithmetic function.  The inconsitency arises
   when they define the case when this function should \emph{not} return a