Honest universality.
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.
School of Computer Science, Tel Aviv University, Ramat Aviv, Israel. nachumd@post.tau.ac.il
Nachum
N
Dershowitz
Evgenia
E
Falkovich