The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Newsgroups: comp.lang.lisp, comp.lang.functional
From: Paul Wallich <p...@panix.com>
Date: Sun, 21 Oct 2007 14:29:52 -0400
Local: Sun, Oct 21 2007 2:29 pm
Subject: Re: on the relations of traditional CS theory to modern programming practice
Chris F Clark wrote:[...]
> If you are trying to discuss a TM thatThis is not exactly true. It's true if you want the TM to interact with
> interacts with the real universe (pun unintended, but applicable), you
> need to allow the other agent to use real numbers (i.e. any convergent
> series, and not just the computable ones) and to take those
> calculations to determine what symbol to enter on the tape. (Barb
> Knox caught this point precisely by pointing out that the
> diagonalization argument thus holds.)
mathematical idealizations of the "real universe" but may not be with
the universe itself.
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.