Post's problem for supertasks has both positive and negative solutions

Joel David Hamkins, Andrew Lewis

Recently we have introduced a new model of infinite computation by extending the operation of ordinary Turing machines into transfinite ordinal time. In this paper we will show tha…