We consider the theory of supertasks as implemeneted on infinite time Turing machines. We consider in particular computations in the type of sets of reals, We give some commentary on this and a number of open problems are raised.
|Translated title of the contribution||Post's and other problems in higher type supertasks|
|Publication status||Published - Oct 2004|
Bibliographical noteTitle of Book: Classical and New Paradigms of Computation and their Complexity hierarchies, Papers of the Conference Foundations of the Formal Sciences III
Editors of Book: Benedict LÃ¶we, Wolfgang Malzkorn, Thoralf RÃ¤sch
Page From: 223
Page To: 237
Other: Invited Conference Paper