All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 17:29, 29 August 2023 82.8.204.174 talk created page Infinite time Turing machine (Created page with "The infinite time Turing machines are a powerful method of computation introduced by Joel David Hamkins and Andy Lewis.<ref>Infinite Time Turing Machines, Joel David Hamkins and Andy Lewis, 1998</ref> They augment the normal notion of a Turing machine (first introduced by Alan Turing in his seminal paper<ref>Turing, A.M. (1936). "On Computable Numbers, with an Application to the Entscheidungsproblem". ''Proceedings of the London Mathematical Society''.</ref>), to a hypot...") Tag: Visual edit
• 16:56, 2 March 2023 82.8.204.174 talk created page Veblen hierarchy (Created page with "The Veblen hierarchy is a sequence of ordinal-indexed functions \( \varphi_\alpha: \mathrm{Ord} \to \mathrm{Ord} \) which extend Cantor normal form by beginning with the base function \( \alpha \mapsto \omega^\alpha \) and iteratively taking fixed points at each next step. Formally, letting \( \mathrm{AP} := \{\omega^\alpha: \alpha \in \mathrm{Ord}\} \), we can define \( \varphi_\alpha(\beta) := \min\{\zeta \in \mathrm{AP}: \forall \gamma ((\gamma < \alpha \rightarro...") Tag: Visual edit