Post's and other problems of supertasks of higher type

  • Philip D. Welch
Conference paper
Part of the Trends in Logic book series (TREN, volume 23)

We consider the theory of supertasks as implemented 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.

Keywords

Boris Verse 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • Philip D. Welch
    • 1
  1. 1.Institut für formale LogikUniversität WienAustria

Personalised recommendations