On Tue, Sep 4, 2012 at 1:10 PM, William R. Buckley
<bill.buck...@gmail.com>wrote:

##
Advertising

While at any moment the tape may be finite, that it can at need grow is the
> fundamental notion of infinite.
>
No, the fundamental notion of the infinite is that you can make a one to
one correspondence with a proper subset of itself.
> The net result of Turingâ€™s specification is that the tape is infinite
>
If the machine comes to a halt then a finite amount of tape is sufficient
to get its work done, if it does not halt then even a infinite amount of
tape would not be sufficient. Turing proved that there is no general way to
tell in advance one case from the other.
John K Clark
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.