Honest universality

Nachum Dershowitz*, Evgenia Falkovich

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

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. This journal is

Original languageEnglish
Pages (from-to)3340-3348
Number of pages9
JournalPhilosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Volume370
Issue number1971
DOIs
StatePublished - 28 Jul 2012

Keywords

  • Computability
  • Effectiveness
  • Encoding
  • Representation
  • Universal function

Fingerprint

Dive into the research topics of 'Honest universality'. Together they form a unique fingerprint.

Cite this