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 that This 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. paul 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.
| |||||||||||||