User contributions for 82.8.204.174

11 September 2023

• 17:5117:51, 11 September 2023 diff hist −36‎ Extender model ‎No edit summary

29 August 2023

• 17:2917:29, 29 August 2023 diff hist +18‎ Infinite time Turing machine ‎No edit summary Tag: Visual edit
• 17:2917:29, 29 August 2023 diff hist +1,918‎ N 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

11 July 2023

• 11:4611:46, 11 July 2023 diff hist +1,319‎ List of ordinals ‎No edit summary Tag: Visual edit

2 March 2023

• 17:0017:00, 2 March 2023 diff hist +434‎ List of functions ‎No edit summary current Tag: Visual edit
• 16:5716:57, 2 March 2023 diff hist 0‎ Veblen hierarchy ‎No edit summary Tag: Visual edit
• 16:5616:56, 2 March 2023 diff hist +1,183‎ N 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
• 16:4716:47, 2 March 2023 diff hist 0‎ List of functions ‎No edit summary Tag: Visual edit