[FOM] Uniformly Reflexive Structures (URS)
david.leduc6 at googlemail.com
Sun Apr 21 09:42:41 EDT 2013
Thank you very much for the reference. I have no doubt it is a great work
since you recommended it. However it is not what I expected.
In the introduction of the first paper by Wagner on URS it is written: "we
want to develop our axiomatic structure on a sufficiently abstract level so
that [...] it does not depend [...] on special specific functions." But
then two of the three axioms are stating the existence of special specific
functions alpha and psi! Well, it looks to me like yet another
Turing-complete programming language although this time it is disguised as
an axiomatic system.
On Tue, Apr 16, 2013 at 8:39 PM, Harvey Friedman <hmflogic at gmail.com> wrote:
> From http://www.cs.nyu.edu/pipermail/fom/2013-April/017210.html
> >I have a question about computability. I am sure it is well known but
> >I cannot find the answer in my textbooks.
> >For any system that is Turing complete, one can define a universal
> >machine in this system.
> >But I want to do thing the other way round. Assume a system that has a
> >universal machine as one of its primitive instructions. What are the
> >other primitives needed to make this system Turing-complete?
> You may want to look at the URS. These are the uniformly reflexive
> structures of Wagner and Strong,and also Strong's BRFT. This stuff is
> not sufficiently studied in recent years.
> Harvey Friedman
> FOM mailing list
> FOM at cs.nyu.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM