Post's and other problems of supertasks of higher type
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.
Unable to display preview. Download preview PDF.