Infinite time Turing machine: Difference between revisions
no edit summary
RhubarbJayde (talk | contribs) No edit summary |
No edit summary |
||
Line 5:
* \(\zeta\) is the supremum of all ordinals which are the eventual output of an ITTM with empty input.
* \(\Sigma\) is the supremum of all ordinals which are the accidental output of an ITTM with empty input.
ITTMs are quote potent computational models, as they are able to decide whether a given relation on \(\mathbb N\) is a well-order or not.<ref>J. D. Hamkins, A. Lewis, "[https://arxiv.org/abs/math/9808093 Infinite Time Turing Machines]", arXiv 9808093 (2008). Accessed 1 September 2023.</ref><sup>theorem 2.2</sup>
The ITTM theorem says that \(\lambda = \gamma\), and that:
| |||