Post's and other problems in higher type supertasks

PD Welch

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 contribution	Post's and other problems in higher type supertasks
Original language	English
Volume	23
Publication status	Published - 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

Handle.net

Persistent link

Cite this

@misc{d5218915f629409e922890608005d51f,

title = "Post's and other problems in higher type supertasks",

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.",

author = "PD Welch",

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{\~A}¶we, Wolfgang Malzkorn, Thoralf R{\~A}¤sch Page From: 223 Page To: 237 Other: Invited Conference Paper",

year = "2004",

month = oct,

language = "English",

volume = "23",

type = "Other",

}

TY - GEN

T1 - Post's and other problems in higher type supertasks

AU - Welch, PD

N1 - 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

PY - 2004/10

Y1 - 2004/10

N2 - 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.

AB - 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.

M3 - Other contribution

VL - 23

ER -

Post's and other problems in higher type supertasks

Abstract

Bibliographical note

Handle.net

Fingerprint

Cite this