Post's and other problems in higher type supertasks

Research output: Other contribution

Abstract

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 contributionPost's and other problems in higher type supertasks
Original languageEnglish
Volume23
Publication statusPublished - Oct 2004

Bibliographical note

Title 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

Fingerprint Dive into the research topics of 'Post's and other problems in higher type supertasks'. Together they form a unique fingerprint.

Cite this