> > > > > But the question is what does this mean about any actual computer, > > or any actual physical object -- which we can only communicate about > clearly > > insofar as it can be boiled down to a finite dataset. > > What it means to me is that "Any actual computer will not halt (with a > correct output) for this program". An actual computer will keep > crunching away until some event happens that breaks the metaphor > between it and the abstract machine-- memory overload, power failure, > et cetera.
Yes ... this can be concluded **if** you can convince yourself that the formal model corresponds to the physical machine. And to do *this*, you need to use a finite set of finite data points ;-) ben ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=117534816-b15a34 Powered by Listbox: http://www.listbox.com
