Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Honest universality

Nachum Dershowitz and Evgenia Falkovich
Philosophical Transactions: Mathematical, Physical and Engineering Sciences
Vol. 370, No. 1971, The foundations of computation, physics and mentality: the Turing legacy (28 July 2012), pp. 3340-3348
Published by: Royal Society
Stable URL: http://www.jstor.org/stable/23250191
Page Count: 9
  • Read Online (Free)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Honest universality
Preview not available

Abstract

We extend the notion of universality of a function, due to Turing, to arbitrary (countable) effective domains, taking care to disallow any cheating on the part of the representations used. Then, we can be certain that effective universal functions cannot simulate non-effective functions.

Page Thumbnails

  • Thumbnail: Page 
3340
    3340
  • Thumbnail: Page 
3341
    3341
  • Thumbnail: Page 
3342
    3342
  • Thumbnail: Page 
3343
    3343
  • Thumbnail: Page 
3344
    3344
  • Thumbnail: Page 
3345
    3345
  • Thumbnail: Page 
3346
    3346
  • Thumbnail: Page 
3347
    3347
  • Thumbnail: Page 
3348
    3348