|
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: sci.math, sci.logic
From: Aatu Koskensilta <aatu.koskensi...@uta.fi>
Date: Wed, 16 Sep 2009 16:51:41 +0300
Local: Wed, Sep 16 2009 1:51 pm
Subject: Re: Characterization of a Programming Language (Base of Computing)
Charlie-Boo <shymath...@gmail.com> writes: How do you propose to derive the parametrisation theorem from this? In > Define a 2-place relation R as being a Base of Computing if for every > r.e. set P there is an N such that P(x) = R(N,x) for all x. any case, look up "acceptable indexing" and weep. -- "Wovon mann nicht sprechen kann, darüber muss man schweigen" 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.
| |||||||||||||