Honest universality

Nachum Dershowitz*, Evgenia Falkovich

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


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
Issue number1971
StatePublished - 28 Jul 2012


  • Computability
  • Effectiveness
  • Encoding
  • Representation
  • Universal function


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

Cite this