aka Absolute Infinity

  • I live in Peace
  • I was born on March 5
  • My occupation is Not only to enumerate Turing machines
  • I am Deity of Eternity Inn

Are you serious my fanboy? AarexWikia04 - 22:20, October 20, 2016 (UTC)

Notice me Triakula senpai -- ☁ I want more clouds! ⛅ 00:36, October 21, 2016 (UTC)

Glad to see you too, my dear disciple. Triakula (talk) 19:38, October 21, 2016 (UTC)


Aren't you tired from enumerating TMs? 13:40, October 29, 2016 (UTC)

Question Regarding Your Profile Picture

I couldn't help but observe your profile picture contains a rather sumptuous individual of fair complexion - mind linking me to the fan-art from which you procured the lovely image? Edwin Shade 22 (talk) 00:40, January 23, 2020 (UTC)

This is a fan-art from the game "Legend of Goddess". Triakula (talk) 08:15, January 23, 2020 (UTC)

Possible filter software problems

I have found that in your edits on talk pages, you replace curse words on other messages with milder words. Do you have a filter software installed on your browser? If so, please turn it off when editing this wiki. Thank you. -- ☁ I want more clouds! ⛅ 14:31, February 8, 2020 (UTC)

Yes, I'm using Advanced Profanity Filter. Okay, I'll add GWiki to whitelist if it's very needed. Sorry for the confusion. Triakula (talk) 17:05, February 8, 2020 (UTC)

Mango523WNR (talk) 23:53, February 9, 2020 (UTC)



I think that α[n] at each step is ill-defined, because you are just requiring to define an ordinal (without a specific fundamental sequence) at each step. If you intend that α[n] at each step always denotes the fundamental sequence with respect to Kleen's O, then it is good to clarify so. In that case, every result α should be restricted to recursive ordinals, i.e. you need to forbid countable ordinals such as ω_α^{CK}. Also, if α is a successor ordinal, expressions using fundamntal sequences such as φ(α[3],α[6],α[9]) are quite ambiguous.

p-adic 01:03, February 25, 2020 (UTC)

Thanks. I've added restrictions and clarifications. I hope that it's well-defined for now. — Best regards, Triakula 05:22, February 25, 2020 (UTC)
Then I guess that the result α of the step 2 coincides with ψ_0(Ω^Ω) with respect to Buchholz's OCF, because if α > ψ_0(Ω^Ω), then ψ_0(Ω^α) coincides with ψ_0(Ω^Ω). Is this result what you intended? (Of course, if you intend that the result α of the step 1 is smaller than ψ_0(Ω^Ω), then it actually increases the ordinal.) Or, since you are considering α[0][0][0][0], aren't you going to make α larger and larger?
p-adic 07:59, February 25, 2020 (UTC)
Well, I haven't written in the rules that the result should be necessarily larger, it might be intended, but even the original croutonillion didn't have that rule. I would like to make it larger, but fundamental sequences add more "vegetables" to salad ordinal. The main intention of my attempt is making the large transfinite ordinal with mostly salad definition which is hard to explore. But I want it to be well-defined though, so that it's the real ordinal. — Best regards, Triakula 08:17, February 25, 2020 (UTC)
It makes sense. By the way, I think that it is good to clarify 0[n] = 0 because α[0] might be 0. —Preceding unsigned comment added by P進大好きbot (talkcontribs) 09:19, February 25, 2020 (UTC)
Community content is available under CC-BY-SA unless otherwise noted.