Filters
15 May 2021

04:01CaptainChurchill (talk  contribs) edited a comment on the article User_blog:Ubersketch/Horrible abomination: [C7X has removed this comment as it is clearly offensive.] (view)

03:59CaptainChurchill (talk  contribs) edited a comment on the article User_blog:Ubersketch/Horrible abomination: This guy can suck my cock when it comes to googology... (view)

03:58CaptainChurchill (talk  contribs) commented on the article User_blog:Ubersketch/Horrible abomination: This guy's googology skills are worse than mines... (view)

03:58CaptainChurchill (talk  contribs) commented on the article User_blog:Ubersketch/Googology SCP: Check out SCP835 (view)

03:43C7X (talk  contribs) commented on the article User_blog:Mumuji/Dimensional Busy Beaver??: I think n=2 is equivalent to the Turmites, such as Langton's ant, which have been proven to be equal... (view)

03:39C7X (talk  contribs) replied to the comment I think it would be helpful to include some of the differences and errors in 2000 Steps. For example... on the article P進大好きbot/List of common misconceptions about Rathjen's psi: OK (view)

03:21P進大好きbot (talk  contribs) replied to the comment I think it would be helpful to include some of the differences and errors in 2000 Steps. For example... on the article P進大好きbot/List of common misconceptions about Rathjen's psi: Thank you, but... Since "2000 steps" includes so many misconceptions, e.g. φ(Γ,Γ) = Γ, I think t... (view)

02:41C7X (talk  contribs) edited a comment on the article User_blog:P進大好きbot/List of common misconceptions about Rathjen's psi: I think it would be helpful to include some of the differences and errors in 2000 Steps. For example... (view)

02:40C7X (talk  contribs) edited a comment on the article User_blog:P進大好きbot/List of common misconceptions about Rathjen's psi: I think it would be helpful to include some of the differences and errors in 2000 Steps. For example... (view)

02:37C7X (talk  contribs) edited a comment on the article User_blog:P進大好きbot/List of common misconceptions about Rathjen's psi: I think it would be helpful to include some of the differences and errors in 2000 Steps. For example... (view)

02:34C7X (talk  contribs) commented on the article User_blog:P進大好きbot/List of common misconceptions about Rathjen's psi: I think it would be helpful to include some of the differences and errors in 2000 Steps. For example... (view)
14 May 2021

14:27VoidSansXD (talk  contribs) replied to the comment Why didn’t you use # for rule 2? It means any array, and as I see, the A() just adds things togeth... on the article VoidSansXD/does astolfo is gay or european??????: Fixed i think (view)

10:56Aab5c (talk  contribs) replied to the comment Also what does it mean by pangoiln is used multiple times in a equation? I only see one, and if you ... on the article Aab5c/pangolin: for example pangolin(w) + pangolin(z) the pangolin(z) comes after pangolin(w) (when reading left to ... (view)

03:34P進大好きbot (talk  contribs) replied to the comment Is it possible to prove a theorem about ordinals η∈Γ_(M+1)∩C(Γ_(M+1),0) using transfinite ind... on the article P進大好きbot/List of common misconceptions about Rathjen's psi: I see. It sounds good. (Although many googologists uses the comparison, I have never read a proof.) (view)

03:21BlankEntity (talk  contribs) replied to the comment I think there is no slowestgrowing function by contradiction, assume there is one called f, then g(... on the article BlankEntity/Blank's Notation Function: It was meant to be a theoretical concept, and I attempt to state that this is very illdefined becau... (view)

03:09C7X (talk  contribs) replied to the comment Is it possible to prove a theorem about ordinals η∈Γ_(M+1)∩C(Γ_(M+1),0) using transfinite ind... on the article P進大好きbot/List of common misconceptions about Rathjen's psi: > Do you mean theorems by Rathjen? A theorem I was thinking of would compare Rathjen's ψ to finitar... (view)

02:08P進大好きbot (talk  contribs) replied to the comment Is it possible to prove a theorem about ordinals η∈Γ_(M+1)∩C(Γ_(M+1),0) using transfinite ind... on the article P進大好きbot/List of common misconceptions about Rathjen's psi: > Is it possible Yes, you can apply transfinite induction for any wellordered set. The set Γ_(M+1)... (view)

01:59C7X (talk  contribs) commented on the article User_blog:P進大好きbot/List of common misconceptions about Rathjen's psi: Is it possible to prove a theorem about ordinals η∈Γ_(M+1)∩C(Γ_(M+1),0) using transfinite ind... (view)

01:52P進大好きbot (talk  contribs) replied to the comment Oops!!! Look like you lost 999999999999999999999999999 brain cells! What should you do?! ... on the article VoidSansXD/totally epic function: (:3) (view)

01:20Thefamousarthur (talk  contribs) commented on the article User_blog:Muhammad Bukhari Noor/An extension of UNOCF up to secondorder arithmetic: Please, please, PLEASE add the double letter part! (view)

00:22Thefamousarthur (talk  contribs) replied to the comment You haven't even defined C(1{w+1}0) yet lol on the article Muhammad Bukhari Noor/An extension of UNOCF up to secondorder arithmetic: But wait a minute. They would know that it would be between C(1{w}0) and C(1{w2 or w^w or e(0) or ev... (view)

00:07Thefamousarthur (talk  contribs) replied to the comment (source: gwiki discord) on the article Muhammad Bukhari Noor/An extension of UNOCF up to secondorder arithmetic: LOLOLOL (view)
13 May 2021

23:00C7X (talk  contribs) commented on the article User_blog:BlankEntity/Blank's Notation Function: I think there is no slowestgrowing function by contradiction, assume there is one called f, then g(... (view)

16:33VoidSansXD (talk  contribs) replied to the comment Why didn’t you use # for rule 2? It means any array, and as I see, the A() just adds things togeth... on the article VoidSansXD/does astolfo is gay or european??????: The ... means repetition, while the # means that rules apply to any array filled in there, it wouldn... (view)

16:30VoidSansXD (talk  contribs) replied to the comment Oops!!! Look like you lost 999999999999999999999999999 brain cells! What should you do?! ... on the article VoidSansXD/totally epic function: No its ok dont worry (view)

15:43Hexirp (talk  contribs) replied to the comment I will attempt a submission unless my idea becomes too difficult. I'm assuming that these are Bignum... on the article Hexirp/Sikigami Googology 2021: Just as pshin daisuki bot explained. (view)

03:26Plain'N'Simple (talk  contribs) replied to the comment I guess, PEGG will reach P10 either September or October of 2021, based on the span between two P's.... on the article Nayuta Ito/What Q do we use for PEGG: The expected transition date is currently October 7 (view)

00:53P進大好きbot (talk  contribs) replied to the comment I will attempt a submission unless my idea becomes too difficult. I'm assuming that these are Bignum... on the article Hexirp/Sikigami Googology 2021: I think that there is no byte limit, and memory is assumed to be infinite. (I submitted a long C++ c... (view)

00:51P進大好きbot (talk  contribs) replied to the comment Oops!!! Look like you lost 999999999999999999999999999 brain cells! What should you do?! ... on the article VoidSansXD/totally epic function: Then I am sorry about it. (view)

00:00Mumuji (talk  contribs) commented on the article User_blog:VoidSansXD/does astolfo is gay or european??????: Why didn’t you use # for rule 2? It means any array, and as I see, the A() just adds things togeth... (view)
12 May 2021

16:52VoidSansXD (talk  contribs) replied to the comment Oops!!! Look like you lost 999999999999999999999999999 brain cells! What should you do?! ... on the article VoidSansXD/totally epic function: lmao its not offensive (view)

16:11C7X (talk  contribs) edited a comment on the article User_blog:Hexirp/Sikigami Googology 2021: I will attempt a submission unless my idea becomes too difficult. I'm assuming that these are Bignum... (view)

16:11C7X (talk  contribs) commented on the article User_blog:Hexirp/Sikigami Googology 2021: I will attempt a submission unless my idea becomes to difficult. I'm assuming that these are Bignum ... (view)
11 May 2021

23:56Mumuji (talk  contribs) commented on the article User_blog:Aab5c/pangolin: Also what does it mean by pangoiln is used multiple times in a equation? I only see one, and if you ... (view)

23:53Mumuji (talk  contribs) commented on the article User_blog:A Hippopotatomus/More random numbers: Oh cool, I always wanted to find the formula tor a nxnxn Rubik’s cube (view)

23:52Mumuji (talk  contribs) commented on the article User_blog:A Hippopotatomus/Breakingish news: This is good and all, but what is the scheduled program? (view)

00:44P進大好きbot (talk  contribs) replied to the comment Should the category be removed from here first? on the article Kaplikua/Combination Function: I think that we do not have a rule to forbid to add a blog post to a nonexisting category. What we ... (view)

00:08Mumuji (talk  contribs) commented on the article User_blog:Kaplikua/Combination Function: Also what do the square brackets mean? They just appear. (view)

00:07Mumuji (talk  contribs) commented on the article User_blog:Kaplikua/Combination Function: Why does that category exist?? (view)
10 May 2021

08:37P進大好きbot (talk  contribs) replied to the comment It is illdefined because you lack the definition of the domain and the precise condition for the ca... on the article A Hippopotatomus/Ultimate mixed chained arrow notation: (I think that it is more common to use nonnegative integers, but I might be wrong.) The reason why ... (view)

08:18Mumuji (talk  contribs) replied to the comment Actually you could add much more, eg milliak, trilliak, quadrilliak and so on, but I am not sure if ... on the article Hypertetrakulus44/My system of numbernames: Also I have made a function of time: https://googology.wikia.org/wiki/User_blog:Mumuji/Duckie_number (view)

08:17Mumuji (talk  contribs) replied to the comment Hello and thanks for your contribution! Unfortunately, some media will need to be changed in accorda... on the article Aab5c/pangolin: Copy and paste: \(((((14\cdotx)+(x^x))^7\cdot x^x\cdot(14^x))\cdot x^7\) (view)

08:00Mumuji (talk  contribs) commented on the article User_blog:Hypertetrakulus44/My system of numbernames: Actually you could add much more, eg milliak, trilliak, quadrilliak and so on, but I am not sure if ... (view)

01:41P進大好きbot (talk  contribs) replied to the comment If Bashicu's recent guess about BMS vs weakly compact cardinals is correct, then #2 may be solved us... on the article P進大好きbot/Googological Open Problems on OCFs: One biggest problem is that Bashicu frequently uses unspecified OCFs in his analysis, none of whom l... (view)

01:20C7X (talk  contribs) edited a comment on the article User_blog:P進大好きbot/Googological Open Problems on OCFs: If Bashicu's recent guess about BMS vs weakly compact cardinals is correct, then #2 may be solved us... (view)

01:19C7X (talk  contribs) commented on the article User_blog:Kaplikua/Combination Function: Should the category be removed from here first? (view)

00:45C7X (talk  contribs) edited a comment on the article User_blog:P進大好きbot/Googological Open Problems on OCFs: If Bashicu's guess about BMS vs weakly compact cardinals is correct, then #2 may be solved using suc... (view)

00:41C7X (talk  contribs) commented on the article User_blog:P進大好きbot/Googological Open Problems on OCFs: If Bashicu's guess about BMS vs weakly compact cardinals is correct, then #2 may be solved using suc... (view)

00:40C7X (talk  contribs) commented on the article User_blog:KthulhuHimself/Library Function: > Going according to this logic, Lib(n) used inside Lib(n) is illdefined, and hence cannot be used,... (view)
9 May 2021

23:50A Hippopotatomus (talk  contribs) replied to the comment It is illdefined because you lack the definition of the domain and the precise condition for the ca... on the article A Hippopotatomus/Ultimate mixed chained arrow notation: I assumed most googologists would assume positive integers, and the "first rule that applies" rule i... (view)

22:58P進大好きbot (talk  contribs) replied to the comment It is illdefined because you lack the definition of the domain and the precise condition for the ca... on the article A Hippopotatomus/Ultimate mixed chained arrow notation: I do not mean that it is ok for you to just have answers in your mind and write them only when asked... (view)

20:20A Hippopotatomus (talk  contribs) replied to the comment Just for kicks, some expressions which have to be resolved for evaluating Lib(100): Freakingly bi... on the article KthulhuHimself/Library Function: Undefined because unspecific and subjective Undefined because of undefined operation "a to the bth t... (view)

18:58C7X (talk  contribs) edited a reply to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: About Rathjen's ordinal notation associated to Ψ, Taranovsky has claimed it's one of the simplest o... (view)

18:53C7X (talk  contribs) edited a reply to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: About Rathjen's ordinal notation associated to Ψ, Taranovsky has claimed it's one of the simplest o... (view)

18:53C7X (talk  contribs) edited a reply to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: About Rathjen's ordinal notation associated to Ψ, Taranovsky has claimed it's one of the simplest o... (view)

18:53C7X (talk  contribs) edited a reply to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: About Rathjen's ordinal notation associated to Ψ, Taranovsky has claimed it's one of the simplest o... (view)

18:51C7X (talk  contribs) edited a reply to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: About Rathjen's ordinal notation associated to Ψ, Taranovsky has claimed it's one of the simplest o... (view)

18:49C7X (talk  contribs) edited a reply to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: About Rathjen's ordinal notation associated to Ψ, Taranovsky has claimed it's one of the simplest o... (view)

18:49C7X (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: About Rathjen's ordinal notation associated to Ψ, Taranovsky has claimed it's one of the simplest o... (view)

17:28C7X (talk  contribs) replied to the comment ...I mean, it was secret from me; It could be common knowledge for all I know, but I have been on t... on the article A Hippopotatomus/Did any of you know...: If you need to zoom in, you can select a zoom trigger and scale, performing the trigger on a formula... (view)

17:23A Hippopotatomus (talk  contribs) replied to the comment ...I mean, it was secret from me; It could be common knowledge for all I know, but I have been on t... on the article A Hippopotatomus/Did any of you know...: When I first found it, I was actually on the Japanese version of this wiki. They seem to have a slig... (view)

17:13A Hippopotatomus (talk  contribs) commented on the article User_blog:A Hippopotatomus/Did any of you know...: ...I mean, it was secret from me; It could be common knowledge for all I know, but I have been on t... (view)

16:44A Hippopotatomus (talk  contribs) replied to the comment It is illdefined because you lack the definition of the domain and the precise condition for the ca... on the article A Hippopotatomus/Ultimate mixed chained arrow notation: All numbers are positive integers and the separator types are —, →, ← and ↔. Choose the firs... (view)

16:42A Hippopotatomus (talk  contribs) replied to the comment What is the difference between ~ and ~~? on the article A Hippopotatomus/Ultimate mixed chained arrow notation: Same as the difference between x and y. They are separate instances of the same type of thing. (view)

13:56Root2222 (talk  contribs) edited a reply to the comment Your calculation of f_w(4) is not the answer that is most commonly accepted by the community. It's n... on the article Root2222/Brace Function: Oh, that was my mistake. I'II fix it. (view)

13:55Root2222 (talk  contribs) edited a reply to the comment Your calculation of f_w(4) is not the answer that is most commonly accepted by the community. It's n... on the article Root2222/Brace Function: Oh, that's my mistake. I'II fix it. (view)

13:53Root2222 (talk  contribs) edited a reply to the comment Your calculation of f_w(4) is not the answer that is most commonly accepted by the community. It's n... on the article Root2222/Brace Function: I see. So you're saying f_n1(n) can be f_w(n), but f_w(n) can't be f_n1(n)? (view)

13:52Root2222 (talk  contribs) replied to the comment Your calculation of f_w(4) is not the answer that is most commonly accepted by the community. It's n... on the article Root2222/Brace Function: I see. So you're saying f_n1(n) can be f_w(n), but f_n1(n) can't be f_w(n)? (view)

01:53Mumuji (talk  contribs) replied to the comment 15 hours and 12 minutes to go!! on the article Mumuji/Duckie number: Friendly reminder that duck is calculated from right to left. (view)
8 May 2021

19:00Aab5c (talk  contribs) edited a reply to the comment pangolin(0) = 0 pangolin(1) = 2392031250 pangolin(2) = 15728001190723584 pangolin(3) = 2070397282838... on the article Aab5c/pangolin: I am aware. pangolin is meant to build on top of itself for example: pangolin(2) = 15728001190723584... (view)

18:50Aab5c (talk  contribs) replied to the comment pangolin(0) = 0 pangolin(1) = 2392031250 pangolin(2) = 15728001190723584 pangolin(3) = 2070397282838... on the article Aab5c/pangolin: I am aware. pangolin is meant to build on top of itself for example: pangolin(2) = 15728001190723584... (view)

17:08GamesFan2000 (talk  contribs) commented on the article User_blog:Root2222/Brace Function: Your calculation of f_w(4) is not the answer that is most commonly accepted by the community. It's n... (view)

08:35Mumuji (talk  contribs) commented on the article User_blog:Alexander Nolta/Exploder Notation (Probably bad, my first notation): Full Fix: \(\{E\}n = n\uparrow^nn\) \(\{E^n\} = n\uparrow^{E^{(n1)}}n\) Where \(\{E^n\}\) is the am... (view)

01:39A Hippopotatomus (talk  contribs) commented on the article User_blog:Aab5c/pangolin: pangolin(0) = 0 pangolin(1) = 2392031250 pangolin(2) = 15728001190723584 pangolin(3) = 2070397282838... (view)
7 May 2021

23:47Aab5c (talk  contribs) replied to the comment Hello and thanks for your contribution! Unfortunately, some media will need to be changed in accorda... on the article Aab5c/pangolin: okay (view)

22:58P進大好きbot (talk  contribs) replied to the comment > I think it's the original definition, and besides since the standard terms in extended weak buchho... on the article Antimony Star/Full analysis of SSS, with respect to weak buchholz: I think that it is intended. O is not a map for the order type (strength), but is just orderpreserv... (view)

21:35Koteitan (talk  contribs) replied to the comment > I think it's the original definition, and besides since the standard terms in extended weak buchho... on the article Antimony Star/Full analysis of SSS, with respect to weak buchholz: For [0,1], O([0,1])=ψ_{O([0])}(0)=ψ_1(0)=Ω≠ω. For [0,1,0,0,1], O([0,1]+[0,0,1])=ψ_α(β), [0,... (view)

10:05ARsygo (talk  contribs) commented on the article User_blog:Nayuta Ito/What Q do we use for PEGG: I guess, PEGG will reach P10 either September or October of 2021, based on the span between two P's.... (view)

08:48Mumuji (talk  contribs) commented on the article User_blog:Mumuji/Duckie number: 15 hours and 12 minutes to go!! (view)

04:23Msiajoe74 (talk  contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: I see; so stable ordinal 𝞂 from zoo 2.25 is larger than 𝝨 from ITTM. Thanks for clarification. (view)

04:23Msiajoe74 (talk  contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: I see. so stable ordinal 𝞂 from zoo 2.25 is larger than 𝝨 from ITTM. Thanks for clarification. (view)

04:09Msiajoe74 (talk  contribs) replied to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: I see. so 𝞂 from zoo 2.25 is larger than 𝝨 from ITTM. Thanks for clarification. (view)

02:31C7X (talk  contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: ITTM ordinals are larger than weakenings of stable ordinals, such as (+1)stability (zoo 2.7), (⁺)... (view)

02:28C7X (talk  contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: ITTM ordinals are larger than weakenings of stable ordinals, such as (+1)stability, (⁺)stability... (view)

02:27C7X (talk  contribs) replied to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: ITTM ordinals are larger than weakenings of stable ordinals, such as (+1)stability, (⁺)stability... (view)

01:25Msiajoe74 (talk  contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: According to David A. Madore, gap ordinal β_0 is at 2.17, while the smallest stable ordinal is at 2... (view)

01:23Msiajoe74 (talk  contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: According to David A. Madore, β_0 is at 2.17, while the smallest stable ordinal is at 2.25. I also ... (view)

01:21Msiajoe74 (talk  contribs) replied to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: According to David A. Madore, β_0 is at 2.17, while the smallest stable ordinal is at 2.25. I refer... (view)

01:14C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... (view)

01:14C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... (view)

01:12C7X (talk  contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: #1<#2, #4<#5, and #10<#11 follow from some of my theorems #2<#3 can likely be easily shown even thou... (view)

01:08C7X (talk  contribs) commented on the article User_blog:Aab5c/pangolin: Hello and thanks for your contribution! Unfortunately, some media will need to be changed in accorda... (view)

01:05C7X (talk  contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: #1<#2, #4<#5, and #10<#11 follow from some of my theorems #2<#3 can likely be easily shown even thou... (view)

01:05C7X (talk  contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: #1<#2, #4<#5, and #10<#11 follow from some of my theorems #2<#3 can likely be easily shown even thou... (view)

01:04C7X (talk  contribs) replied to the comment Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... on the article Msiajoe74/ITTM vs Gap ordinals: #1<#2, #4<#5, and #10<#11 follow from some of my theorems #2<#3 can likely be easily shown even thou... (view)

00:42P進大好きbot (talk  contribs) commented on the article User_blog:A Hippopotatomus/Ultimate mixed chained arrow notation: It is illdefined because you lack the definition of the domain and the precise condition for the ca... (view)

00:15Root2222 (talk  contribs) commented on the article User_blog:A Hippopotatomus/Ultimate mixed chained arrow notation: What is the difference between ~ and ~~? (view)

00:05Mumuji (talk  contribs) replied to the comment Wait. What if m > 0?? on the article Mumuji/Array notation: Oh right, if m is larger than zero and is a whole number, we copy the same rule from the original no... (view)

00:04Mumuji (talk  contribs) replied to the comment Wait. What if m > 0?? on the article Mumuji/Array notation: Which m (view)

00:04C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... (view)

00:03Mumuji (talk  contribs) commented on the article User_blog:Alexander Nolta/Exploder Notation (Probably bad, my first notation): As well as that, I don’t see a n ending the arrows, that is kinda bad. (view)

00:03Mumuji (talk  contribs) commented on the article User_blog:Alexander Nolta/Exploder Notation (Probably bad, my first notation): Also you are missing a n at the end of {E}, and the correct way, according to your def, should be 6\... (view)
6 May 2021

22:04C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... (view)

19:42C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... (view)

19:42C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: min{α : α is ωplystb.} Least nonprojectible mi... (view)

17:26C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: Least nonprojectible min{α : α is ω2plystb.} m... (view)

16:33C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: Least nonprojectible min{α : α is ω2plystb.} (... (view)

16:31C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: Least nonprojectible min{α : α is ω2plystb.} (... (view)

16:30C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: Least nonprojectible min{α : α is ω2plystb.} (... (view)

16:29C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: Least nonprojectible min{α : α is ω2plystb.} (... (view)

16:25C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: Least nonprojectible min{α : α is ω2plystb.} (... (view)

16:22C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: Least nonprojectible min{α : α is ω2plystb.} (... (view)

16:22C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: Least nonprojectible min{α : α is ω2plystb.} (... (view)

16:14C7X (talk  contribs) commented on the article User_blog:Msiajoe74/ITTM vs Gap ordinals: Here are some countable ordinals orderd by size: Least nonprojectible min{α : α is ω2plystb.} L... (view)

06:47Root2222 (talk  contribs) commented on the article User_blog:Alexander Nolta/Exploder Notation (Probably bad, my first notation): I think you should fix like this: (n is nonnegative integer, \(\uparrow^n\) denotes n arrows.) 1.\... (view)

06:04GamesFan2000 (talk  contribs) edited a comment on the article User_blog:Alexander Nolta/Exploder Notation (Probably bad, my first notation): The notation is illdefined because you didn't formally declare any rules for the notation. There ar... (view)

06:02GamesFan2000 (talk  contribs) commented on the article User_blog:Alexander Nolta/Exploder Notation (Probably bad, my first notation): The notation is illdefined because you didn't formally declare any rules for the notation. There ar... (view)

05:35P進大好きbot (talk  contribs) commented on the article User_blog:Alexander Nolta/Exploder Notation (Probably bad, my first notation): I am sorry, but I (and perhaps others) cannot guess what you intend. Please write down the precise d... (view)

02:59Hypertetrakulus44 (talk  contribs) commented on the article User_blog:Mumuji/Array notation: Wait. What if m > 0?? (view)

02:56Hypertetrakulus44 (talk  contribs) replied to the comment Cool! In my array notation, myriad = p{10000,100000000,1,1} on the article Hypertetrakulus44/My system of numbernames: Uhh why you call it penguin notation It may be adorable, so lets go (view)

01:45Mumuji (talk  contribs) replied to the comment Cool! In my array notation, myriad = p{10000,100000000,1,1} on the article Hypertetrakulus44/My system of numbernames: Yea, it’s in a blog post https://googology.wikia.org/wiki/User_blog:Mumuji/Array_notation (view)

00:06Hypertetrakulus44 (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: C7X thats really fast (view)
5 May 2021

13:39ARsygo (talk  contribs) commented on the article User_blog:A Hippopotatomus/Random numbers!: So, what's the approximation of "harmonol" in scientific notation / arrow notation? (view)

11:56C7X (talk  contribs) replied to the comment From what I have understood, the easiest way to improve your notation is to add the sequence. Does i... on the article Hypertetrakulus44/My NOtation: It looks like the "gon" before a triangle is a line in this post, but if this is used to make a Stei... (view)

03:48Mumuji (talk  contribs) replied to the comment From what I have understood, the easiest way to improve your notation is to add the sequence. Does i... on the article Hypertetrakulus44/My NOtation: No,what gowns are there, do you have a 2 gon. Like 1,2,3,4... according to your definition, there sh... (view)
4 May 2021

16:12C7X (talk  contribs) commented on the article User_blog:The Red Mangrove/Help: Is it possible to create a BMS calculator thingy in minecraft?: Given how the matrices are rectangular, it might actually be easier to make an easytoinput sequenc... (view)

10:13Hypertetrakulus44 (talk  contribs) commented on the article User_blog:Triakula: Let fw_1^{CK} be equal to Hw_1^{CK}. (view)

05:40Hypertetrakulus44 (talk  contribs) replied to the comment Cool! In my array notation, myriad = p{10000,100000000,1,1} on the article Hypertetrakulus44/My system of numbernames: Uhhu @Mumuji we all know only about the @ notation (view)

05:37Hypertetrakulus44 (talk  contribs) replied to the comment Cool! In my array notation, myriad = p{10000,100000000,1,1} on the article Hypertetrakulus44/My system of numbernames: My ak system goes on the nary systems of a googol, one day soon i will make analogs of gogoolplex (view)
3 May 2021

17:02C7X (talk  contribs) edited a reply to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: My best guess is "n in an n{m+1}ngon corresponds to f_(φ(m,0))(n)" for 0<m∈ω. However, I think ... (view)

17:01C7X (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: My best guess is "n in an n{m+1}ngon corresponds to f_(φ(m,0))(n)" for 0<m∈ω. However, I think ... (view)

16:36XiTetrateiX (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: "Zetazero is pentation, eta0 is hexation, phi(4,0) is heptation, etc." What is this? (view)

15:44P進大好きbot (talk  contribs) replied to the comment Oh, you got really improved! Two points to improve yourself further:  Common failure 2.2: Lack o... on the article Mumuji/Recursive Factorials!: Much better! Two points: 1. The phrase "where m > 0" in the definition of b(m,n) is now redundant b... (view)

15:13Root2222 (talk  contribs) replied to the comment Cool! In my array notation, myriad = p{10000,100000000,1,1} on the article Hypertetrakulus44/My system of numbernames: You mean, Myriak? (view)

14:17Mumuji (talk  contribs) commented on the article User_blog:ReflectingOrdinal/Notations created by me: You know that you need \( and \) to use mathjax right? (view)

14:16Mumuji (talk  contribs) replied to the comment Pretty sure this is welldefined, I assume →₁₀ is the Hurford extension to Chained Arrows? (I ... on the article Mumuji/Decidec: Basically I think according to the description that the sub 10 should split into more arrows, and th... (view)

14:13Mumuji (talk  contribs) replied to the comment So, what is the f<sub>1</sub>(n) defined? (for the function above) on the article Mumuji/Decidec: Ah yes, chained arrow notation. (view)

12:02Mumuji (talk  contribs) replied to the comment Oh, you got really improved! Two points to improve yourself further:  Common failure 2.2: Lack o... on the article Mumuji/Recursive Factorials!: Is is better now? (view)

11:59Mumuji (talk  contribs) replied to the comment There needs to be a space between mathbb and N on the article Mumuji/Array notation: Also it is finished now. Can you help me review it? (view)

11:59Mumuji (talk  contribs) commented on the article User_blog:Mumuji/Array notation: Can someone help me evaluate this notation?.?? (view)

11:50Mumuji (talk  contribs) commented on the article User_blog:Hypertetrakulus44/My system of numbernames: Cool! In my array notation, myriad = p{10000,100000000,1,1} (view)

11:47Mumuji (talk  contribs) replied to the comment Is it clear enough? on the article Mumuji/Array notation: Also if it is well defined, p{10,10,1,1} is equal to decker. (view)

11:46Mumuji (talk  contribs) commented on the article User_blog:Mumuji/Array notation: Is it clear enough? (view)

05:51P進大好きbot (talk  contribs) replied to the comment > Is PTO(T) the supremum of ordinals for which the totality of FGH is provable in T? Does something ... on the article P進大好きbot/List of common mistakes in googology: OK. (I also heard from Alwe first!) (view)

04:00Hypertetrakulus44 (talk  contribs) replied to the comment From what I have understood, the easiest way to improve your notation is to add the sequence. Does i... on the article Hypertetrakulus44/My NOtation: The nth term? It means that the nth term is equal to n inside an ngon and is equal to fw(n) in FGH. (view)

03:14Root2222 (talk  contribs) commented on the article User_blog:Mumuji/Array notation: Great job! (view)

01:14C7X (talk  contribs) replied to the comment > Is PTO(T) the supremum of ordinals for which the totality of FGH is provable in T? Does something ... on the article P進大好きbot/List of common mistakes in googology: > What is the definition of the Π_2ordinal of T in your context? You were correct, I first heard w... (view)
2 May 2021

23:47Mumuji (talk  contribs) replied to the comment There needs to be a space between mathbb and N on the article Mumuji/Array notation: Ok (view)

23:05P進大好きbot (talk  contribs) replied to the comment > Is PTO(T) the supremum of ordinals for which the totality of FGH is provable in T? Does something ... on the article P進大好きbot/List of common mistakes in googology: > Does something like this hold for the Π_2ordinal of a theory T? What is the definition of the Π... (view)

18:52C7X (talk  contribs) commented on the article User_blog:P進大好きbot/List of common mistakes in googology: > Is PTO(T) the supremum of ordinals for which the totality of FGH is provable in T? Does something ... (view)

13:51C7X (talk  contribs) commented on the article User_blog:Mumuji/Array notation: There needs to be a space between mathbb and N (view)

07:30P進大好きbot (talk  contribs) replied to the comment Pretty sure this is welldefined, I assume →₁₀ is the Hurford extension to Chained Arrows? (I ... on the article Mumuji/Decidec: According to your explanation, it does not seem to be Hurford's one. https://googology.wikia.org/wik... (view)

07:27P進大好きbot (talk  contribs) replied to the comment So, what is the f<sub>1</sub>(n) defined? (for the function above) on the article Mumuji/Decidec: What is rightarrow? Chained arrow notation? (In googology, there are many abuses of symbols, and hen... (view)

05:07Mumuji (talk  contribs) replied to the comment Nice! I think applying b on some form of factorial (call it #) will cause about enough recursion on ... on the article Mumuji/Recursive Factorials!: Also how do you just know how to approximate these notations? (view)

05:06Mumuji (talk  contribs) replied to the comment Nice! I think applying b on some form of factorial (call it #) will cause about enough recursion on ... on the article Mumuji/Recursive Factorials!: That’s quite powerful (view)

05:05Mumuji (talk  contribs) replied to the comment So, what is the f<sub>1</sub>(n) defined? (for the function above) on the article Mumuji/Decidec: N rightarrow n rightarrow n.... rightarrow n with 10! rightarrows (view)
1 May 2021

18:02Tetramur (talk  contribs) edited a reply to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: UPD: I intend my TEAF v. 1.2 to be defined until at least ψ_{χ_0(0)}(Φ_1(1)) at {X,X+1(1)/2}&(1)&... (view)

17:31Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: UPD: I intend my TEAF v. 1.2 to be defined until at least ψ_{χ_0(0)}(Φ_1(1)) at {X,X+1(1)/2}(1)&&... (view)

15:46C7X (talk  contribs) replied to the comment But way smaller than googolplex on the article Hypertetrakulus44/Super Huge Number: Good luck (view)

15:08P進大好きbot (talk  contribs) replied to the comment So, what is the f<sub>1</sub>(n) defined? (for the function above) on the article Mumuji/Decidec: What is the definition of n→_{10} n then? (view)

13:31Mumuji (talk  contribs) replied to the comment So, what is the f<sub>1</sub>(n) defined? (for the function above) on the article Mumuji/Decidec: Maybe it's around 10! arrows... Since we have ten for the firt, then it splits into 9 each to 10*9 a... (view)

10:52P進大好きbot (talk  contribs) replied to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: Good! (view)

09:07P進大好きbot (talk  contribs) replied to the comment So, what is the f<sub>1</sub>(n) defined? (for the function above) on the article Mumuji/Decidec: This sort of f is called fast itertion hierarchy for n→_{10} n according to the article on FGH. Th... (view)

08:50ARsygo (talk  contribs) replied to the comment So, what is the f<sub>1</sub>(n) defined? (for the function above) on the article Mumuji/Decidec: Got it. So, in this case, what's the rough approximation of Decidec? (view)

06:43Mumuji (talk  contribs) replied to the comment From what I have understood, the easiest way to improve your notation is to add the sequence. Does i... on the article Hypertetrakulus44/My NOtation: You should add a formula to calculate the nth term. (view)

06:20Hypertetrakulus44 (talk  contribs) replied to the comment From what I have understood, the easiest way to improve your notation is to add the sequence. Does i... on the article Hypertetrakulus44/My NOtation: Yes the sequence 1,2,3,4,5,6,7,... Right? Now spam the sequence as f1(n), f2(n), f3(n) using FGH. (view)

06:17Hypertetrakulus44 (talk  contribs) replied to the comment Hey I got one bigger: 10^100000000000000 on the article Hypertetrakulus44/Super Huge Number: Yep Thats way bigger (view)

06:17Hypertetrakulus44 (talk  contribs) replied to the comment Actually, I think there is something like {{digits1600000}} to have it type it out. Also The best w... on the article Hypertetrakulus44/Super Huge Number: Actually i was encountering technical difficulties on reading all of these comments btw (view)

06:16Hypertetrakulus44 (talk  contribs) replied to the comment But way smaller than googolplex on the article Hypertetrakulus44/Super Huge Number: One day soon i will write down gogoolplex >:) (view)

04:32Mumuji (talk  contribs) replied to the comment Pretty sure this is welldefined, I assume →₁₀ is the Hurford extension to Chained Arrows? (I ... on the article Mumuji/Decidec: Yes, it is. (view)

04:32Mumuji (talk  contribs) replied to the comment So, what is the f<sub>1</sub>(n) defined? (for the function above) on the article Mumuji/Decidec: F_1 = f^n_0(n) or recursed f_0, e.g. f_1(3) = f_0(f_0(f_0(3))) (view)

03:20Mumuji (talk  contribs) replied to the comment Oh, you got really improved! Two points to improve yourself further:  Common failure 2.2: Lack o... on the article Mumuji/Recursive Factorials!: Thanks (view)

03:20Mumuji (talk  contribs) replied to the comment Nice! I think applying b on some form of factorial (call it #) will cause about enough recursion on ... on the article Mumuji/Recursive Factorials!: Cool! (view)

01:45ARsygo (talk  contribs) commented on the article User_blog:Mumuji/Decidec: So, what is the f<sub>1</sub>(n) defined? (for the function above) (view)

01:39A Hippopotatomus (talk  contribs) replied to the comment New function is g(n), and sg(n) too. on the article Billybobmario/I like making big numbers: Oldest reply to oldest comment to oldest blog post! (view)

00:30C7X (talk  contribs) replied to the comment There is also {{collapsiblesomething}} for a collapsible part. I think {{scrollablesomething}} mig... on the article P進大好きbot/How to Write LaTeX in This Wiki: I made both Template:Collapsible and Template:Scrollable, and off the top of my head I can't think o... (view)
30 April 2021

23:39Root2222 (talk  contribs) edited a reply to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: Oh.. It's actually working! Thank you for your advice. I'll apply it to the definition. (view)

23:38Root2222 (talk  contribs) replied to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: Oh..It's actually working! Thank you for your advice. I'll apply it to the definition (view)

23:18P進大好きbot (talk  contribs) replied to the comment There is also {{collapsiblesomething}} for a collapsible part. I think {{scrollablesomething}} mig... on the article P進大好きbot/How to Write LaTeX in This Wiki: I did not know those templates. It might be good to have a list of useful templates, too! (view)

23:14P進大好きbot (talk  contribs) edited a comment on the article User_blog:Mumuji/Recursive Factorials!: Oh, you got really improved! Two points to improve yourself further:  Common failure 2.2: Lack o... (view)

23:12P進大好きbot (talk  contribs) commented on the article User_blog:Mumuji/Recursive Factorials!: Oh, you got really improved! Two points to improve yourself further:  Common failure 2.2: Lack o... (view)

22:59P進大好きbot (talk  contribs) commented on the article User_blog:Mumuji/MathJax reference table: Cool study! (view)

22:38C7X (talk  contribs) edited a comment on the article User_blog:Mumuji/Decidec: Pretty sure this is welldefined, I assume →₁₀ is the Hurford extension to Chained Arrows? (I ... (view)

22:38C7X (talk  contribs) edited a comment on the article User_blog:Mumuji/Decidec: Pretty sure this is welldefined, I assume →₁₀ is the Hurford extension to Chained Arrows? (I ... (view)

22:37C7X (talk  contribs) edited a comment on the article User_blog:Mumuji/Decidec: Pretty sure this is welldefined, I assume →₁₀ is the Hurford extension to Chained Arrows? (view)

22:37C7X (talk  contribs) commented on the article User_blog:Mumuji/Decidec: Pretty sure this is welldefined, I assume >10 is the Hurford extension to Chained Arrows? (view)

22:23C7X (talk  contribs) commented on the article User_blog:P進大好きbot/How to Write LaTeX in This Wiki: There is also {{collapsiblesomething}} for a collapsible part. I think {{scrollablesomething}} mig... (view)

22:22C7X (talk  contribs) edited a comment on the article User_blog:Mumuji/MathJax reference table: Some more things: For nth root, write \sqrt[n]{Radicand here} If you want x^y^z with superscripts, x... (view)

22:20C7X (talk  contribs) commented on the article User_blog:Mumuji/Recursive Factorials!: Nice! I think applying b on some form of factorial (call it #) will cause about enough recursion on ... (view)

22:13C7X (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: I wouldn't say that illdefined concepts are used in formal study, but they definitely have a use. F... (view)

21:57C7X (talk  contribs) edited a comment on the article User_blog:Mumuji/MathJax reference table: Some more things: For nth root, write \sqrt[n]{Radicand here} If you want x^y^z with superscripts, x... (view)

21:57C7X (talk  contribs) commented on the article User_blog:Mumuji/MathJax reference table: Some more things: For nth root, write \sqrt[n]{Radicand here} If you want x^y^z with superscripts, x... (view)

14:37P進大好きbot (talk  contribs) replied to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: Not typo. For example, I recommend you to expand 3N^{2}4 as many times as you can. Then you understa... (view)

14:12Plain'N'Simple (talk  contribs) commented on the article User_blog:ArtismScrub/Googological miscellany: Braham's Number: [3,3,3,4,64] in Graham Array Notation. (view)

13:52Plain'N'Simple (talk  contribs) replied to the comment Option #4 I suggest we use the interpolation method described by PsiCubed. One obvious problem is th... on the article Nayuta Ito/What Q do we use for PEGG: It definitely won't work that way. I currently have three candidate methods for expanding w^w*2 (or ... (view)

09:56Mumuji (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: >Of course, the next term of the sequence 1,3,5,7,9,11 is Rayo(10^{100}) because it is the seventh n... (view)

09:55Mumuji (talk  contribs) commented on the article User_blog:Hypertetrakulus44/My NOtation: From what I have understood, the easiest way to improve your notation is to add the sequence. Does i... (view)

09:51Mumuji (talk  contribs) commented on the article User_blog:Hypertetrakulus44/Super Huge Number: Actually, I think there is something like {{digits1600000}} to have it type it out. Also The best w... (view)

08:04Hypertetrakulus44 (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: Its ok if it's illdefined BEAF is illdefined Because its powerful (view)

06:42Root2222 (talk  contribs) edited a reply to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: >I guess that you read the explanation in the link and you thought that you fully understood it. But... (view)

06:34Root2222 (talk  contribs) edited a reply to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: >I guess that you read the explanation in the link and you thought that you fully understood it. But... (view)

06:33Root2222 (talk  contribs) replied to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: >I guess that you read the explanation in the link and you thought that you fully understood it. But... (view)

06:08P進大好きbot (talk  contribs) edited a reply to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: It looks better, but there are still errors: It stil contains ellipses, and the rule 12 uses incomp... (view)

06:07P進大好きbot (talk  contribs) edited a reply to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: It looks better, but there are still errors: It stil contains ellipse, and the rule 12 uses incompl... (view)

06:01P進大好きbot (talk  contribs) replied to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: Uh, it stil contains ellipse, and the rule 12 uses incomplete partial specialisation... Please chec... (view)

05:43Root2222 (talk  contribs) replied to the comment Also I think using N(n,m) is easier than nNm, but that’s just my opinion. on the article Root2222/N function: Thanks for your advice. (view)

05:36Root2222 (talk  contribs) replied to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: I'll modify it in the following way. 1. For the positive integer n, and the integer m which is not n... (view)

04:07Mumuji (talk  contribs) commented on the article User_blog:Elidad Chen/Elidad Chen's Array Notation: Cool (view)
29 April 2021

16:30C7X (talk  contribs) edited a reply to the comment Fact: There has never been "ε_{;+1}" in UNOCF, not even merely an idea. on the article C7X/OCF using a to rankintorank cardinal: Interestingly, as VSauce said, the police in a certain Polish city would be called the "Police polic... (view)

15:25P進大好きbot (talk  contribs) replied to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: One easiest solution is not to use ellipses. You can use recursion instead. Of course, using recursi... (view)

14:30Mumuji (talk  contribs) commented on the article User_blog:Root2222/N function: Also I think using N(n,m) is easier than nNm, but that’s just my opinion. (view)

14:29Mumuji (talk  contribs) edited a reply to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: I think you can add at least the minimum amount of things in the ellipses. (view)

14:29Mumuji (talk  contribs) replied to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: I think you can add at least the minimum amount of things in the ellipses. The (view)

07:35P進大好きbot (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: I note that you do not have to feel sorry about the illdefinedness. We do not have responsibility t... (view)

06:03Hypertetrakulus44 (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: Sorry for the illdefinedness Well get back to that Verrryyyyy soon Thanks for commenting (view)

06:00Hypertetrakulus44 (talk  contribs) commented on the article User_blog:Mumuji: Wow I love the adorable googologist mumuji Read my blog post (view)

04:55C7X (talk  contribs) edited a reply to the comment Fact: There has never been "ε_{;+1}" in UNOCF, not even merely an idea. on the article C7X/OCF using a to rankintorank cardinal: Interestingly, as VSauce said, the police in a certain Polish city would be called the "Police polic... (view)

04:51C7X (talk  contribs) replied to the comment Fact: There has never been "ε_{;+1}" in UNOCF, not even merely an idea. on the article C7X/OCF using a to rankintorank cardinal: Interestingly, as VSauce said, the police in a certain Polish city would be called the "Police polic... (view)

03:19P進大好きbot (talk  contribs) replied to the comment Fact: There has never been "ε_{;+1}" in UNOCF, not even merely an idea. on the article C7X/OCF using a to rankintorank cardinal: The police are weaker than their diagonalsation. (view)

02:55C7X (talk  contribs) edited a reply to the comment Fact: There has never been "ε_{;+1}" in UNOCF, not even merely an idea. on the article C7X/OCF using a to rankintorank cardinal: The symbol ; is actually a substitution for [DATA EXPUNGED], the original symbol used to denote the ... (view)

02:55C7X (talk  contribs) replied to the comment Fact: There has never been "ε_{;+1}" in UNOCF, not even merely an idea. on the article C7X/OCF using a to rankintorank cardinal: I have said too much. The police are now at my door. (view)

02:55C7X (talk  contribs) replied to the comment Fact: There has never been "ε_{;+1}" in UNOCF, not even merely an idea. on the article C7X/OCF using a to rankintorank cardinal: The symbol ; is actually a substitution for [DATA EXPUNGED], the original symbol used to denote the ... (view)

02:37Nayuta Ito (talk  contribs) commented on the article User_blog:C7X/OCF using a to rankintorank cardinal: Fact: There has never been "ε_{;+1}" in UNOCF, not even merely an idea. (view)

01:57P進大好きbot (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: Of course, the next term of the sequence 1,3,5,7,9,11 is Rayo(10^{100}) because it is the seventh nu... (view)

01:54P進大好きbot (talk  contribs) commented on the article User_blog:ReflectingOrdinal/can I edit blog page?: Yes, you can edit your own blog post. (view)
28 April 2021

19:29C7X (talk  contribs) replied to the comment "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... on the article Hypertetrakulus44/My NOtation: Yes, it's illdefined. About "My Hierarchy", does n#^^#n mean En#^^#n? (view)

17:46Ytosk (talk  contribs) replied to the comment If "0 is stationary" is vacuously true using this definition, does that cause problems here? If so, ... on the article Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: Fixed, thank you. (view)

17:06XiTetrateiX (talk  contribs) commented on the article User_blog:Hypertetrakulus44/My NOtation: "Keep going like this" is not a very good way of describing how a notation works. The polygon notati... (view)

15:06C7X (talk  contribs) edited a reply to the comment If "0 is stationary" is vacuously true using this definition, does that cause problems here? If so, ... on the article Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: My understanding was that in the case of "0 is stationary on A", there are no f:0→0 (since 0=Ø), ... (view)

15:06C7X (talk  contribs) edited a reply to the comment If "0 is stationary" is vacuously true using this definition, does that cause problems here? If so, ... on the article Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: My understanding was that in the case of "0 is stationary on A", there are no f:0→0 (since 0=Ø), ... (view)

15:05C7X (talk  contribs) edited a reply to the comment If "0 is stationary" is vacuously true using this definition, does that cause problems here? If so, ... on the article Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: My understanding was that in the case of "0 is stationary on A", there are no f:0→0 (since 0=Ø), ... (view)

15:05C7X (talk  contribs) replied to the comment If "0 is stationary" is vacuously true using this definition, does that cause problems here? If so, ... on the article Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: My understanding was that there are no f:0→0 (since 0=Ø), so the universal quantifier is vacuousl... (view)

14:52Ytosk (talk  contribs) replied to the comment If "0 is stationary" is vacuously true using this definition, does that cause problems here? If so, ... on the article Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: What do you mean by "0 is stationary"? If you mean "0 is stationary on A", that is false for every A... (view)

14:34C7X (talk  contribs) edited a comment on the article User_blog:Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: If "0 is stationary" is vacuously true using this definition, does that cause problems here? If so, ... (view)

14:34C7X (talk  contribs) edited a comment on the article User_blog:Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: If "0 is stationary" is vacuously true using this definition, does that cause problems here? (view)

14:34C7X (talk  contribs) commented on the article User_blog:Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: If "0 is stationary" is vacuously true, does that cause problems here? (view)

12:47

12:44P進大好きbot (talk  contribs) commented on the article User_blog:Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: ... (view)

09:45P進大好きbot (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: Right. As an alternative formulation, we can add constant term symbols for multiverses instead of mu... (view)

08:33GamesFan2000 (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: So the purpose of multivariable U is to provide a path for the definability of the multiverse theory... (view)

08:23Mumuji (talk  contribs) replied to the comment Actually, I've just realized that Θ(3) is larger than tritri on the article Mumuji/Power towers: Ok (view)

07:33P進大好きbot (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: I think that I understand what you want to do, but the reason why I recomended to use the multivaria... (view)

07:21Hypertetrakulus44 (talk  contribs) replied to the comment Everybody should probably realize that this is april fools right? on the article C7X/OCF using a to rankintorank cardinal: Hi padic. can i help you with the digit expansion of googolbong? (view)

06:38GamesFan2000 (talk  contribs) edited a reply to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: To quote what you said earlier about FOUT: "...the first order universe theory is much stronger than... (view)

06:35GamesFan2000 (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: To quote what you said earlier about FOUT: "...the first order universe theory is much stronger than... (view)

04:23P進大好きbot (talk  contribs) replied to the comment > Can different omegas go in the same expression? Of course. Why do you think that it mightnnot true... on the article Tetramur/Questions about Buchholz's OCF: I also have heard that somebody created an OCF based on the rankintorank cardinal. It is a top sec... (view)

04:18P進大好きbot (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: It might be true, but if I were you, I would like to consider more effective a way by considerring a... (view)

03:05C7X (talk  contribs) edited a reply to the comment 1) I think I know what you mean, and yes they can (for example, ψ(Ω_2^Ω) is defined, and its term... on the article Tetramur/Questions about Buchholz's OCF: > {X,X(1)X} & n in my system is already BHO This method could lose Hyp_cos's "SGHFGH property" of &... (view)

03:05C7X (talk  contribs) replied to the comment 1) I think I know what you mean, and yes they can (for example, ψ(Ω_2^Ω) is defined, and its term... on the article Tetramur/Questions about Buchholz's OCF: > {X,X(1)X} & n in my system is already BHO This method could lose Hyp_cos's "catching property" of ... (view)

03:03C7X (talk  contribs) replied to the comment > Can different omegas go in the same expression? Of course. Why do you think that it mightnnot true... on the article Tetramur/Questions about Buchholz's OCF: > Bird's psi using M (1/30/2021) I remember finding the source of the misconception about why such "... (view)

03:01GamesFan2000 (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: So, using higherorder universe theories with proper formulations would just be a naïve extension t... (view)

01:24P進大好きbot (talk  contribs) replied to the comment > nNn=nN{0} Is this rule nN{0}=nNn? on the article Root2222/N function: A term rewriting is something like "string f( string )" or "void f( string& )" in C++, while program... (view)

01:15C7X (talk  contribs) replied to the comment > nNn=nN{0} Is this rule nN{0}=nNn? on the article Root2222/N function: > term rewriting > programmic substitution I don't know the difference between these two concepts (view)

01:13P進大好きbot (talk  contribs) replied to the comment > nNn=nN{0} Is this rule nN{0}=nNn? on the article Root2222/N function: The confusion frequently occurs when one confounds the mathematical equation =, the term rewriting =... (view)
27 April 2021

18:13C7X (talk  contribs) replied to the comment > nNn=nN{0} Is this rule nN{0}=nNn? on the article Root2222/N function: Unless you're using a different convention, assignment is usually (the argument on the left) set equ... (view)

15:52P進大好きbot (talk  contribs) edited a reply to the comment 1. None of the three has been provento be welldefined, and hence nobody knows the answer. (For exam... on the article Root2222/Question of googology: Right, because I am not the one who translated my numbers (originally coined in Japanese) into Engli... (view)

15:52P進大好きbot (talk  contribs) edited a reply to the comment 1. None of the three has been provento be welldefined, and hence nobody knows the answer. (For exam... on the article Root2222/Question of googology: Right, because I am not the one who translated my numbers (originally coined in Japanese) into Engli... (view)

15:51P進大好きbot (talk  contribs) replied to the comment 1. None of the three has been provento be welldefined, and hence nobody knows the answer. (For exam... on the article Root2222/Question of googology: Right, because I am not the one who translate my numbers (originally coined in Japanese) into Englis... (view)

15:31Root2222 (talk  contribs) replied to the comment > nNn=nN{0} Is this rule nN{0}=nNn? on the article Root2222/N function: >Is this rule nN{0}=nNn? What is the difference? (view)

15:29Root2222 (talk  contribs) replied to the comment I think lines 13 are only equivalent to exponentials instead of w on the Fast Growing hierarchy. on the article Root2222/N function: You mean nNn? I don't think so. (view)

15:27Root2222 (talk  contribs) replied to the comment > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... on the article Root2222/N function: Then, what should I do to welldefine this function? (view)

15:24Root2222 (talk  contribs) replied to the comment 1. None of the three has been provento be welldefined, and hence nobody knows the answer. (For exam... on the article Root2222/Question of googology: @P進大好きbot >I do not know the name, but it might be one of my numbers. Are you saying that yo... (view)

06:31P進大好きbot (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: For simplicity, let us consider the first order universe theory with 7 universes U(0),...,U(6). Then... (view)

04:46C7X (talk  contribs) edited a reply to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: > By a similar reason to why higher order set theories can be included in a first order set theory I... (view)

04:46C7X (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: > By a similar reason to why higher order set theories can be included in a first order set theory I... (view)

01:20P進大好きbot (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: @C7X > If Rpakr said on Twitter that (0,0,0)(1,1,1)(2,2,1) in an alternate definition may correspond... (view)

01:02P進大好きbot (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: You are right, the first order universe theory is much stronger than higher order set theories. The ... (view)

00:31GamesFan2000 (talk  contribs) edited a reply to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: > How much stronger is the structure of models within models used in LNGN, compared to a simpler con... (view)

00:27GamesFan2000 (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: > How much stronger is the structure of models within models used in LNGN, compared to a simpler con... (view)
26 April 2021

22:10GamesFan2000 (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: > So, the domain of discourse of ST(n) is P(U(0),n), and the domain of discourse of CT(n) is P(U(0),... (view)

16:50Sharkic (talk  contribs) commented on the article User_blog:Hypertetrakulus44/Super Huge Number: Hey I got one bigger: 10^100000000000000 (view)

16:17C7X (talk  contribs) edited a reply to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: > Bashicu himself recently conjectured something like "weakly compact is perhaps stronger than BMS" ... (view)

16:15C7X (talk  contribs) edited a reply to the comment 1. None of the three has been provento be welldefined, and hence nobody knows the answer. (For exam... on the article Root2222/Question of googology: The OCF referred to in the article as "The function collapsing weakly Mahlo cardinals" was originall... (view)

16:15C7X (talk  contribs) replied to the comment 1. None of the three has been provento be welldefined, and hence nobody knows the answer. (For exam... on the article Root2222/Question of googology: The OCF referred to in the article as "The function collapsing weakly Mahlo cardinals" was originall... (view)

16:13C7X (talk  contribs) edited a reply to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: > second system of TON (zeroth, first, etc.) isn't known to be welldefined up to its limit I would ... (view)

16:13C7X (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: > Bashicu himself recently conjectured something like "weakly compact is perhaps stronger than BMS" ... (view)

16:00C7X (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: > second system of TON (zeroth, first, etc.) isn't known to be welldefined up to its limit TON is w... (view)

15:25P進大好きbot (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: Even such gods can be surpassed by Friedman's computable googology and I0 function by Fish. (view)

15:19P進大好きbot (talk  contribs) replied to the comment For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: > U(0)'s domain of discourse is ST(1), and the power set of U(0)'s domain of discourse is ST(2) and ... (view)

14:58GamesFan2000 (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: Dear god of ordinals (view)

14:28GamesFan2000 (talk  contribs) edited a comment on the article User_blog:P進大好きbot/First Order Theory beyond Higher Order Set Theory: For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... (view)

14:26GamesFan2000 (talk  contribs) commented on the article User_blog:P進大好きbot/First Order Theory beyond Higher Order Set Theory: For this comment, I'll use ST(n) to denote nthorder set theory and CT(n) to denote nthorder class ... (view)

14:08P進大好きbot (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: Rathjen's weakly Mahlo OCF was underestimated until last year. It is now believed to be much stronge... (view)

13:52GamesFan2000 (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: Did not know that weakly compacts were THAT strong (view)

13:47P進大好きbot (talk  contribs) replied to the comment As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... on the article Root2222/Question of googology: > The notations are so strong that they completely destroy any ordinal notation associated to an OCF... (view)

10:55GamesFan2000 (talk  contribs) commented on the article User_blog:Root2222/Question of googology: As Pbot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be welldefine... (view)

08:48P進大好きbot (talk  contribs) edited a reply to the comment Actually, I've just realized that Θ(3) is larger than tritri on the article Mumuji/Power towers: No, it is just illdefined or does not work as intended. The value of tow(3) is unreasonable because... (view)

08:30P進大好きbot (talk  contribs) edited a reply to the comment Actually, I've just realized that Θ(3) is larger than tritri on the article Mumuji/Power towers: No, it is just illdefined or does not work as intended. The value of tow(3) is unreasonable because... (view)

08:29P進大好きbot (talk  contribs) replied to the comment Actually, I've just realized that Θ(3) is larger than tritri on the article Mumuji/Power towers: No, it is just illdefined or does not work as intended. The value of 3 is unreasonable because seve... (view)

08:11P進大好きbot (talk  contribs) commented on the article User_blog:Root2222/Question of googology: 1. None of the three has been provento be welldefined, and hence nobody knows the answer. (For exam... (view)

07:07Msiajoe74 (talk  contribs) replied to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: @C7X Thank for enlightenment. (view)

04:15C7X (talk  contribs) replied to the comment I guess that you blocked an irrelevant user, because he or she has no edit in this wiki. The user... on the article Username5243/Clarification: Whether Groin Fondle is Edwin or not, the user had completely insane and irrational behavior on Goog... (view)

03:01P進大好きbot (talk  contribs) edited a reply to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: ＠C7X Indeed, Large Number Garden Number uses a first order "universe" theory including an infinite... (view)

03:01P進大好きbot (talk  contribs) replied to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: ＠C7X Indeed, Large Number Garden Number uses a first order "universe" theory including an infinite... (view)

02:35

02:20C7X (talk  contribs) replied to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: > Second order? Perhaps. But I don't think an infinite order set theory would be usable. About highe... (view)

01:44P進大好きbot (talk  contribs) replied to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: It can be usable, AS LONG AS you fix a definition. "Assuming it is well;defined" is meainingless, b... (view)

01:26Msiajoe74 (talk  contribs) edited a reply to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: @Mumuji Why not? (view)

01:26Msiajoe74 (talk  contribs) replied to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: @Mumuji Why not? (view)

00:39Mumuji (talk  contribs) commented on the article User_blog:Mumuji/Power towers: Actually, I've just realized that Θ(3) is larger than tritri (view)

00:33Mumuji (talk  contribs) replied to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: The point, is that it is not well defined. I don't think there is an infinite order set theory. Sec... (view)
25 April 2021

23:58Mumuji (talk  contribs) replied to the comment It is illdefined because: The right hand side of a@@b is ambiguous. It can be solved in many ways d... on the article Mumuji/Chick number: Ok (view)

23:14P進大好きbot (talk  contribs) replied to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: @Sharkic You are right. We have tried to persuade the OP not to use what yo have no idea, but the OP... (view)

22:57Msiajoe74 (talk  contribs) replied to the comment I don't see where the "infinite order" set theory is defined, I just see a hierarchy. on the article Msiajoe74/Infinite Order Set Theory: It's a hierarchy based on infinite order set theory, assuming it's well defined. (view)

15:52Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > I hope "great comparator" to also be "great prover". Unfortunately, I can't prove it now and it is... (view)

15:01C7X (talk  contribs) edited a reply to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > ψ_{χ_0(0)}(Φ_{Φ_{Φ_1(0)}(0)}(0)) = ψ(ψ_I_3(0)) If this is correct Rathjen's OCF could be st... (view)

15:01C7X (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > ψ_{χ_0(0)}(Φ_{Φ_{Φ_1(0)}(0)}(0)) = ψ(ψ_I_3(0)) If this is correct Rathjen's OCF must be str... (view)

14:09Sharkic (talk  contribs) commented on the article User_blog:Root2222/N function: I think lines 13 are only equivalent to exponentials instead of w on the Fast Growing hierarchy. (view)

14:05Sharkic (talk  contribs) edited a comment on the article User_blog:Msiajoe74/Infinite Order Set Theory: I don't see where the "infinite order" set theory is defined, I just see a hierarchy. (view)

14:04Sharkic (talk  contribs) commented on the article User_blog:Msiajoe74/Infinite Order Set Theory: I don't see where the "infinite order" set theory is defined, I just see a lot of recursion and a hi... (view)

08:44P進大好きbot (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: I hope "great comparator" to also be "great prover". (view)

08:42P進大好きbot (talk  contribs) replied to the comment It is illdefined because: The right hand side of a@@b is ambiguous. It can be solved in many ways d... on the article Mumuji/Chick number: The illformed expression c1@(c1@(c1@(c1))) cannot be solved even if you insert it in an expression.... (view)

07:15Mumuji (talk  contribs) replied to the comment It is illdefined because: The right hand side of a@@b is ambiguous. It can be solved in many ways d... on the article Mumuji/Chick number: Though I am not sure how the 3layers example is wrong, I have added a general equation to solve all ... (view)

07:07Tetramur (talk  contribs) edited a reply to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > Where have you found the analysis? That's "great comparator" that arose up in me again. I would li... (view)

06:51Tetramur (talk  contribs) edited a reply to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > Where have you found the analysis? That's "great comparator" that arose up in me again. I would li... (view)

06:50Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > Where have you found the analysis? That's "great comparator" that arose up in me again. I would li... (view)

04:55P進大好きbot (talk  contribs) replied to the comment I don't know much about higherorder set theories, but I have heard there are two types of semantics... on the article Msiajoe74/Infinite Order Set Theory: @C7X I think that you know that the OP knows none of the two, because the OP even does not define a ... (view)

03:18Msiajoe74 (talk  contribs) edited a reply to the comment I don't know much about higherorder set theories, but I have heard there are two types of semantics... on the article Msiajoe74/Infinite Order Set Theory: I think it should be full semantics. (view)

03:12Msiajoe74 (talk  contribs) edited a reply to the comment I don't know much about higherorder set theories, but I have heard there are two types of semantics... on the article Msiajoe74/Infinite Order Set Theory: May I know where I can find more info about full and Henkin semantics? (view)

02:50Msiajoe74 (talk  contribs) replied to the comment I don't know much about higherorder set theories, but I have heard there are two types of semantics... on the article Msiajoe74/Infinite Order Set Theory: May I know where I can find more info about full and Henkin semantics? I only found connotative and ... (view)

02:38C7X (talk  contribs) edited a comment on the article User_blog:Msiajoe74/Infinite Order Set Theory: I don't know much about higherorder set theories, but I have heard there are two types of semantics... (view)

02:38C7X (talk  contribs) commented on the article User_blog:Msiajoe74/Infinite Order Set Theory: I don't know much about higherorder set theories, but I have heard there are two types of semantics... (view)

01:48P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: I see. (view)

01:48P進大好きbot (talk  contribs) edited a reply to the comment What OCF is this? on the article Root2222/I have a question: The richness is irrelevant to the strength, isn't it? Even if you have a standard form expression of... (view)

01:46P進大好きbot (talk  contribs) commented on the article User_blog:Root2222/N function: > nNm+1=(...((nNm)Nm)...)Nm As I explained, ellipses are just used to explain written definitions, a... (view)

01:44C7X (talk  contribs) replied to the comment > nNn=nN{0} Is this rule nN{0}=nNn? on the article Root2222/N function: Also is there a rule applying to nN5{0}, if this is a valid separator, which I don't see conditions ... (view)

01:42C7X (talk  contribs) commented on the article User_blog:Root2222/N function: > nNn=nN{0} Is this rule nN{0}=nNn? (view)

00:57C7X (talk  contribs) edited a reply to the comment What OCF is this? on the article Root2222/I have a question: You're right (from my perspective I should have known, TON does exactly this with behavior of λa.0a... (view)

00:57C7X (talk  contribs) edited a reply to the comment What OCF is this? on the article Root2222/I have a question: You're right (from my perspective I should have known, TON does exactly this with behavior of 0_C ) (view)

00:57C7X (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: You're right (from my perspective I should have known, TON does exactly this) (view)
24 April 2021

23:34C7X (talk  contribs) commented on the article User_blog:Ubersketch/How do indescribables work in OCFs?: Has Rathjen made an OCF using indescribable cardinals? I've heard of one using reducible cardinals i... (view)

23:30P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: The richness is irrelevant to the structure, isn't it? Even if you have a standard form expression o... (view)

23:24P進大好きbot (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > HAN is transcending ψ_{χ_0(0)}(Φ_1(0) HAN is not known to be welldefined as far as I know. Als... (view)

17:03C7X (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: About stating I can make a system of OCFs P stronger than an OCF in literature, for example Buchholz... (view)

16:17Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > I remind you of the fact that there are not so many googologists I guess without serious proof tha... (view)

15:07P進大好きbot (talk  contribs) replied to the comment It is illdefined because: The right hand side of a@@b is ambiguous. It can be solved in many ways d... on the article Mumuji/Chick number: Adding examples helps to understand the written rulee, but does not give a definition. What you need... (view)

14:25Mumuji (talk  contribs) replied to the comment It is illdefined because: The right hand side of a@@b is ambiguous. It can be solved in many ways d... on the article Mumuji/Chick number: Reedited with examples (view)

09:37P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: It is my pleasure. If you have additional questions, please do not hesitate to ask us! (view)

09:22Root2222 (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: Okay. Thank you for answering my questions. I really appreciate it. (view)

08:26P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: > I think the situation n=2 is I(a_0,a_1,a_2). But couldn't it be I(2,3,4) or I(100,100,100) as well... (view)

08:18P進大好きbot (talk  contribs) commented on the article User_blog:Mumuji/Chick number: It is illdefined because: The right hand side of a@@b is ambiguous. It can be solved in many ways d... (view)

07:48Root2222 (talk  contribs) edited a reply to the comment What OCF is this? on the article Root2222/I have a question: >Please fix a definition of I(a_0,…,a_n) for n < ω and ordinals a_0,…,a_n. Otherwise, I need to... (view)

07:42Msiajoe74 (talk  contribs) commented on the article User_blog:BlankEntity/Blank Ordinal: How strong is it? (view)

07:37Root2222 (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: >Please fix a definition of I(a_0,…,a_n) for n < ω and ordinals a_0,…,a_n. Otherwise, I need to... (view)

03:27P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: > So I don't think I need proofs.(If your "proof" meant I should show my function's growth rate, I'I... (view)

01:37Root2222 (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: >It sounds great, but do you have written definitions and proofs? As I wrote, many old members regar... (view)

01:11A Hippopotatomus (talk  contribs) commented on the article User_blog:Cookiefonster/The nine sides of googology: 10. List googologists  they create gigantic lists of numbers. Sometimes overlaps with analytical go... (view)
23 April 2021

23:25P進大好きbot (talk  contribs) replied to the comment > Finally I have found a way to understand Rathjen's original "small psi" OCF (I clearly distinguish... on the article Tetramur/My progress: The correctness does not make sense, because those are ambiguous. You need to quantify all varibles ... (view)

23:20P進大好きbot (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: If you complete the definition of TEAF in a desired way, then it will be as famous as BEAF, I hope. ... (view)

23:15P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: > Because I made a lots of functions that the growth rate is far beyond than LVO. It sounds great, b... (view)

18:30CaptainChurchill (talk  contribs) edited a comment on the article User_blog:Trakaplex/Helpsophiaisflirtingmeillion: The amount of cringe in this googolism is probably even worse than my friend's "salad" ordinal notat... (view)

18:29CaptainChurchill (talk  contribs) edited a comment on the article User_blog:Trakaplex/Helpsophiaisflirtingmeillion: The amount of cringe in this googolism is probably even worse than my friend's "salad" ordinal notat... (view)

18:29CaptainChurchill (talk  contribs) commented on the article User_blog:Trakaplex/Helpsophiaisflirtingmeillion: The amount of cringe in this googolism is probably even worse than my friend's "salad" ordinal notat... (view)

18:27CaptainChurchill (talk  contribs) commented on the article User_blog:Trakaplex/Roasting Other Googologists' Prefixes: These googolisms they made have cringe af names, but their notations are not salad at all like yours... (view)

17:25Tetramur (talk  contribs) replied to the comment > Finally I have found a way to understand Rathjen's original "small psi" OCF (I clearly distinguish... on the article Tetramur/My progress: By the way, is the explanation in this blog post right? I am not sure. (view)

17:23Tetramur (talk  contribs) edited a reply to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > comparison with Rathjen's psi even though you did not understand it At that time, I liked idea of ... (view)

17:20Root2222 (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: I'm a little disappointed to hear that I'm not ready for learning an OCF. Because I made a lots of f... (view)

17:16Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > comparison with Rathjen's psi even though you did not understand it At that time, I liked idea of ... (view)

15:49P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: I am sorry to say that if you know nothing, then explain all is as tiresome as writing a standard te... (view)

13:43Root2222 (talk  contribs) edited a reply to the comment What OCF is this? on the article Root2222/I have a question: Just explain all of them. Because I couldn't understand almost all OCFs.(except Madore's psi) So I t... (view)

13:42Root2222 (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: Just explain all of them. Because I couldn't understand almost all OCFs.(except Madore's psi) So I t... (view)

11:14

10:59Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > Then you finally understand that you are spreading "conjectues" were*. I'm not spreading all this ... (view)

09:23P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: Sure. Then could you tell me what you do not understand? (If I need to explain all of them, then I s... (view)

06:05Root2222 (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: Thank you so much. but I can't understand that mathematical definition of Rathjen's psi. If you don'... (view)

05:45P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: Although few googologists use that strong OCF, I think that Rathjen's ψ is the most commonly used. ... (view)

05:15Root2222 (talk  contribs) edited a reply to the comment What OCF is this? on the article Root2222/I have a question: What is the most commonly used Mahlo OCF? (view)

05:06Root2222 (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: What is the most commonly used OCF? (view)

04:40P進大好きbot (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: Although I do not have an answer, I advice you to clarify what ψ you are referring to before other ... (view)

02:19Root2222 (talk  contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: I saw this OCF in https://googology.wikia.org/wiki/User:Hyp_cos/OCF_vs_Array_Notation#Using_weakly_M... (view)

02:01C7X (talk  contribs) commented on the article User_blog:Root2222/I have a question: What OCF is this? (view)

01:02Root2222 (talk  contribs) commented on the article User_blog:Hypertetrakulus44/Super Huge Number: But way smaller than googolplex (view)

00:59Msiajoe74 (talk  contribs) commented on the article User_blog:Hypertetrakulus44/Super Huge Number: It's 10^1,600,000 or E6.204#2. (view)
22 April 2021

22:56P進大好きbot (talk  contribs) replied to the comment I note that almost all trials to use weakly Mahlo cardinals in OCFs in this community failed. The... on the article Moooosey/What do you want to do to make a Mahlo OCF: Both are elegant for me. I personally prefer Buchholz's approach a little by several technical reaso... (view)

22:54P進大好きbot (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: Then you finally understand that you are spreading "conjectues" on comparison with Rathjen's psi eve... (view)

22:49P進大好きbot (talk  contribs) replied to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: You know that PTO(Z_2) is a far difficult open question in mathematics, and even professional mathem... (view)

22:17C7X (talk  contribs) edited a comment on the article User_blog:Moooosey/What do you want to do to make a Mahlo OCF: If you're still interested in this, Rathjen wrote a bit about concepts about Mahlo OCFs in a couple ... (view)

17:42C7X (talk  contribs) edited a comment on the article User_blog:Moooosey/What do you want to do to make a Mahlo OCF: If you're still interested in this, Rathjen wrote a bit about concepts Mahlo OCFs in a couple places... (view)

17:42C7X (talk  contribs) commented on the article User_blog:Moooosey/What do you want to do to make a Mahlo OCF: If you're still interested in this, Rathjen wrote a bit about concepts Mahlo OCFs in a couple places... (view)

17:27C7X (talk  contribs) edited a reply to the comment What's the best method to formalize a similar concept to SLCON (ordinal notation with many gaps left... on the article Scorcher007/Large countable ordinal notation up to Z2 and ZFC: About ϒ (assuming that this notation gets formalized), I think that Scorcher could have gotten the ... (view)

17:27C7X (talk  contribs) replied to the comment What's the best method to formalize a similar concept to SLCON (ordinal notation with many gaps left... on the article Scorcher007/Large countable ordinal notation up to Z2 and ZFC: About ϒ (assuming that this notation gets formalized), I think that Scorcher could have gotten the ... (view)

17:21C7X (talk  contribs) replied to the comment I note that almost all trials to use weakly Mahlo cardinals in OCFs in this community failed. The... on the article Moooosey/What do you want to do to make a Mahlo OCF: > The original success by Rathjen was quite elegant Would you say Rathjen's 1990 OCF is more elegant... (view)

17:15C7X (talk  contribs) commented on the article User_blog:Alemagno12/Some guesses about collapsing cardinals beyond weakly compact cardinals: ... (view)

16:56Tetramur (talk  contribs) edited a reply to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > I guess that you confounded two distinct notions: a function, and a partial function. Exactly. > A... (view)

16:56Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > I guess that you confounded two distinct notions: a function, and a partial function. Exactly. > A... (view)

16:32C7X (talk  contribs) edited a reply to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: In more detail, Taranovsky gave a characterization of structure below PTO(Z_2) called "levels of cor... (view)

16:31C7X (talk  contribs) replied to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: In more detail, Taranovsky gave a characterization of structure below PTO(Z_2) called "levels of cor... (view)

16:29C7X (talk  contribs) replied to the comment > C(Ω₂+a₊^a₊+κ,0)  (ω^κ)th Π_3reflecting ordinal I doubt this on the article Boboris02/Algorithm for Generating LUCOs From TON Expressions + Intuitive Analysis: For clarification, this is probably very close in size. But C is continuous in the first argument, s... (view)

15:30P進大好きbot (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: Then it is defined totally on X by definition. I guess that you confounded two distinct notions: a f... (view)

14:55Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > a set or a class X, if you say "a function f is defined in X" By most natural definition, given a ... (view)

13:48P進大好きbot (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: What does "defined in some domain" mean in your context. For example, given a set or a class X, if y... (view)

13:02Tetramur (talk  contribs) replied to the comment > Finally I have found a way to understand Rathjen's original "small psi" OCF (I clearly distinguish... on the article Tetramur/My progress: > How could it be ambiguous for you? I don't know. Anyway, it wasn't obvious for me. (view)

12:58Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > Where is the ambiguity? Maybe I'm misunderstanding something. Please answer the question: if a fun... (view)

12:12P進大好きbot (talk  contribs) replied to the comment > Finally I have found a way to understand Rathjen's original "small psi" OCF (I clearly distinguish... on the article Tetramur/My progress: Whenever we refer to a function from X to Y, we always mean that it is defined on X. How could it be... (view)

12:08P進大好きbot (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: Where is the ambiguity? Rathjen defined it in terms of transfinite induction for a function formula.... (view)

11:05Tetramur (talk  contribs) edited a reply to the comment > Finally I have found a way to understand Rathjen's original "small psi" OCF (I clearly distinguish... on the article Tetramur/My progress: Before I begin: the system of notifications is broken and doesn't show any new of them. Sorry if you... (view)

11:04Tetramur (talk  contribs) replied to the comment > Finally I have found a way to understand Rathjen's original "small psi" OCF (I clearly distinguish... on the article Tetramur/My progress: Before I begin: the system of notifications is broken and doesn't show any new of them. Sorry if you... (view)

10:54Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > Don't you know that φ is total...? In article about Veblen's phi function there wasn't any mentio... (view)

04:23P進大好きbot (talk  contribs) commented on the article User_blog:Tetramur/My progress: > Finally I have found a way to understand Rathjen's original "small psi" OCF (I clearly distinguish... (view)

04:12P進大好きbot (talk  contribs) replied to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: I meant discord users working on googology. Sorry for the ambiguous classification. And it is not go... (view)

02:35C7X (talk  contribs) commented on the article User_blog:Boboris02/Algorithm for Generating LUCOs From TON Expressions + Intuitive Analysis: > C(Ω₂+a₊^a₊+κ,0)  (ω^κ)th Π_3reflecting ordinal I doubt this (view)

02:05C7X (talk  contribs) edited a reply to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: Previously TON was thought to be very strong by Taranovsky, but now Kingarthur has come to the concl... (view)

02:01C7X (talk  contribs) edited a reply to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: Previously TON was thought to be very strong by Taranovsky, but now Kingarthur has come to the concl... (view)

02:00C7X (talk  contribs) replied to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: Previously TON was thought to be very strong by Taranovsky, but now Kingarthur has come to the concl... (view)

01:12P進大好きbot (talk  contribs) edited a reply to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: Thought by Taranovsky or other professional mathematicians? Or by discord users? If you are talking ... (view)
21 April 2021

22:51P進大好きbot (talk  contribs) replied to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: Though by Taranovsky or professional mathematicians? Or by discord users? If you are talking about d... (view)

16:45C7X (talk  contribs) edited a reply to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: TON is now thought to be weaker than previously thought, however further analysis needs to be conduc... (view)

16:43C7X (talk  contribs) edited a reply to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: TON is now thought to be weaker than previously thought, however further analysis needs to be conduc... (view)

16:34C7X (talk  contribs) replied to the comment Or maybe we should try to understand TON. on the article P進大好きbot/Googological Open Problems on OCFs: TON is now thought to be weaker than previously thought, however further analysis needs to be conduc... (view)

14:43A Hippopotatomus (talk  contribs) replied to the comment So, in this case, what's the another name for E100#100 (aside from grangol)? on the article A Hippopotatomus/Optimized googolplexian sequence: Or googolplexiteanavereon (neon = En#64) We can go further: ndiallago = En#128 nshalalcazar = En#... (view)
20 April 2021

02:54P進大好きbot (talk  contribs) replied to the comment Maybe 二0(二1(0)) plays a role initially sort of similar to the λa."aΩ₂C" function with respec... on the article P進大好きbot/Analysis of 二関数: This is my original method to encode a richer structure than Cantor normal form. (This is a pair of ... (view)
19 April 2021

16:44C7X (talk  contribs) replied to the comment Maybe 二0(二1(0)) plays a role initially sort of similar to the λa."aΩ₂C" function with respec... on the article P進大好きbot/Analysis of 二関数: What is double Cantor normal form? (view)

05:56Hypertetrakulus44 (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/My theta: Nice pile of poop here Hmmm ordinals (view)

02:46P進大好きbot (talk  contribs) replied to the comment Maybe 二0(二1(0)) plays a role initially sort of similar to the λa."aΩ₂C" function with respec... on the article P進大好きbot/Analysis of 二関数: I also guessed some similarlity, because the recursive analogue of double Cantor normal form is simi... (view)

01:15Denis Maksudov (talk  contribs) replied to the comment > If α=α_1+⋯+α_k then cof(α)=cof(α_k)∧α[η]=α_1+⋯+(α_k[η]) I suppose we need α_1≥.... on the article Denis Maksudov/OCF and ordinal notation based on a weakly Mahlo cardinal: That's right. In the post it was said that FS is defined for α∈T. Above it, in the definition of ... (view)
18 April 2021

23:20A Hippopotatomus (talk  contribs) replied to the comment ... on the article Tetramur/High BEAF past legion arrays: I don't think we know enough to know what /(1)/ is supposed to be. All we really know is that (1)/ i... (view)

12:52C7X (talk  contribs) commented on the article User_blog:P進大好きbot/Analysis of 二関数: Maybe 二0(二1(0)) plays a role initially sort of similar to the λa."aΩ₂C" function with respec... (view)

10:15Tetramur (talk  contribs) replied to the comment 4. There is a person who does not distinguish BEAF from their own notations and state "There is an e... on the article Tetramur/Problems with notations: > You have no proof of your wrong statement that nestfree expansions give the whole system of FSs. ... (view)
17 April 2021

23:20P進大好きbot (talk  contribs) replied to the comment 4. There is a person who does not distinguish BEAF from their own notations and state "There is an e... on the article Tetramur/Problems with notations: > Can I call my notation TEAF (Tetramur's Exploding Array Function) to distinguish it from BEAF? Of ... (view)

17:30Tetramur (talk  contribs) edited a reply to the comment 4. There is a person who does not distinguish BEAF from their own notations and state "There is an e... on the article Tetramur/Problems with notations: > I have already explained that you are wrong. ... Unless Bowers admits that your alternative defini... (view)

17:19Tetramur (talk  contribs) replied to the comment 4. There is a person who does not distinguish BEAF from their own notations and state "There is an e... on the article Tetramur/Problems with notations: > I have already explained that you are wrong. ... Unless Bowers admits that your alternative defini... (view)

13:39P進大好きbot (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: > the substring φ_{M+1}(0) is invalid Don't you know that φ is total...? (view)

13:37P進大好きbot (talk  contribs) replied to the comment 4. There is a person who does not distinguish BEAF from their own notations and state "There is an e... on the article Tetramur/Problems with notations: > I always thought that if I invent some algorithm to formalize some part of BEAF above X^^X then I... (view)

10:48Tetramur (talk  contribs) replied to the comment 4. There is a person who does not distinguish BEAF from their own notations and state "There is an e... on the article Tetramur/Problems with notations: > does not distinguish BEAF from their own notations I always thought that if I invent some algorith... (view)

09:59P進大好きbot (talk  contribs) replied to the comment Unfortunately I don't know of any hydralike fundamental sequences for it, nor for any other ordinal... on the article Tetramur/Rathjen's Psi over K: Then what you need is not the definition of the FS, but to understand that you should not regard wha... (view)

09:53P進大好きbot (talk  contribs) commented on the article User_blog:Tetramur/Problems with notations: 4. There is a person who does not distinguish BEAF from their own notations and state "There is an e... (view)

08:01Tetramur (talk  contribs) replied to the comment Unfortunately I don't know of any hydralike fundamental sequences for it, nor for any other ordinal... on the article Tetramur/Rathjen's Psi over K: > could you tell me what the triviality means Before I asked this question, I considered lengthbase... (view)
16 April 2021

23:34P進大好きbot (talk  contribs) replied to the comment Unfortunately I don't know of any hydralike fundamental sequences for it, nor for any other ordinal... on the article Tetramur/Rathjen's Psi over K: Before that, could you tell me what the triviality means? As I pointed out, you can say "It is trivi... (view)

16:31Tetramur (talk  contribs) edited a reply to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: By the way, your expression ψ_{χ_0(0)}(Φ_{ψ_{χ_{φ_{M+1}(0)}(0)}(0)}(1)) is illdefined because... (view)

16:30Tetramur (talk  contribs) edited a reply to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: By the way, your expression ψ_{χ_0(0)}(Φ_{ψ_{χ_{φ_{M+1}(0)}(0)}(0)}(1)) is illdefined because... (view)

16:29Tetramur (talk  contribs) edited a reply to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: By the way, your expression ψ_{χ_0(0)}(Φ_{ψ_{χ_{φ_{M+1}(0)}(0)}(0)}(1)) is illdefined because... (view)

16:19Tetramur (talk  contribs) replied to the comment > It seems to be an extension of Rathjen's OCF. How can it be an extension, even though the expressi... on the article Tetramur/Major ambiguities on BEAF: By the way, your expression ψ_{χ_0(0)}(Φ_{ψ_{χ_{φ_{M+1}(0)}(0)}(0)}(1)) is illdefined because... (view)

15:21

13:35Tetramur (talk  contribs) replied to the comment Unfortunately I don't know of any hydralike fundamental sequences for it, nor for any other ordinal... on the article Tetramur/Rathjen's Psi over K: Can I see lengthbased FSs for it? Since I never saw them, I can't say they are trivial in advance. (view)

03:22

03:07

01:05P進大好きbot (talk  contribs) replied to the comment Unfortunately I don't know of any hydralike fundamental sequences for it, nor for any other ordinal... on the article Tetramur/Rathjen's Psi over K: One problem is what "trivial" means, because the OP can say "it is trivial!" whenevery we tell one. ... (view)
15 April 2021

23:07A Hippopotatomus (talk  contribs) commented on the article User_blog:Tetramur/High BEAF past legion arrays: ... (view)

21:22Awesomeadndy (talk  contribs) replied to the comment gothouzillionogol is defined as 37 kedrillion and guess what... a kedrillion&... on the article Sbiis Saibian/Introduction to Googology: Ultra mega brain (view)

20:12C7X (talk  contribs) commented on the article User_blog:Tetramur/Rathjen's Psi over K: Unfortunately I don't know of any hydralike fundamental sequences for it, nor for any other ordinal... (view)

16:30C7X (talk  contribs) commented on the article User_blog:Rgetar/Taranovsky's C  BB correspondence: According to Googology Discord users, be careful about TON in the range of 00Ω₂0Ω₂CΩ₂CCCC t... (view)

08:21Hyp cos (talk  contribs) commented on the article User_blog:Rgetar/Ordinal Explorer v7.0: What are "l" and "x" in rule 8~10? (view)
14 April 2021

11:01Tetramur (talk  contribs) edited a reply to the comment Really nice names you got there. on the article Tetramur/Some fastgrowing functions: Thank youfor the feedback. Moreover, I think we could presumably define Brent(3) if we could add som... (view)
13 April 2021

16:53Tetramur (talk  contribs) replied to the comment Really nice names you got there. on the article Tetramur/Some fastgrowing functions: Thank youfor the feedback. Moreover, I think we could presumably define Brent(3) if we could add som... (view)
12 April 2021

09:44CrimsonDarkBlade (talk  contribs) commented on the article User_blog:CrimsonDarkBlade/The 1 to 4 game: PS: Sorry, but a felt I had to clean it up a bit. It was big mess, for lack of better words. Hope th... (view)

05:13Hypertetrakulus44 (talk  contribs) replied to the comment DrCeasium, I made Nested CascadingE Notation on the article DrCeasium/Extended CascadingE notation: The defenition is incomplete (view)

05:12Hypertetrakulus44 (talk  contribs) commented on the article User_blog:Sbiis Saibian/Introduction to Googology: Wow Wowwww i love sbiis saibian hes such a savage googologist (view)

05:11Hypertetrakulus44 (talk  contribs) replied to the comment Help me make a number! In the uparrow series, help me! on the article Sbiis Saibian/Introduction to Googology: Hello p bot. Im very sorry in his behavior Also just help him (view)

01:53Plain'N'Simple (talk  contribs) replied to the comment An official definition of Q (and possibly R) is in the works right now. I am aware of the deadline, ... on the article Nayuta Ito/What Q do we use for PEGG: epsilon0 and gamma0 in the FGH, respectively. (view)
10 April 2021

02:54C7X (talk  contribs) edited a comment on the article User_blog:BlankEntity/Infinity  (Infinity 1)  (Infinity  2)...: Even if we fix what "infinity1" means, then like Grandi's series 11+11+11+... (disregarding the ... (view)
9 April 2021

16:24C7X (talk  contribs) commented on the article User_blog:BlankEntity/Infinity  (Infinity 1)  (Infinity  2)...: Even if we fix what "infinity1" means, then like Grandi's series 11+11+11+... (disregarding the ... (view)

16:22Tetramur (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: To be clear and honest: > You "conjectured" comparisons on Rathjen's psi even though you did not kno... (view)

16:18Tetramur (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: To be clear and honest: > You "conjectured" comparisons on Rathjen's psi even though you did not kno... (view)

16:15Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: To be clear and honest: > You "conjectured" comparisons on Rathjen's psi even though you did not kno... (view)

10:29ARsygo (talk  contribs) replied to the comment An official definition of Q (and possibly R) is in the works right now. I am aware of the deadline, ... on the article Nayuta Ito/What Q do we use for PEGG: What is the possible growth rate of Q and R? (just curious) (view)
8 April 2021

03:59Plain'N'Simple (talk  contribs) commented on the article User_blog:Nayuta Ito/What Q do we use for PEGG: An official definition of Q (and possibly R) is in the works right now. I am aware of the deadline, ... (view)
7 April 2021

06:53CaptainChurchill (talk  contribs) commented on the article User_blog:Alemagno12/Extensible Chained Arrow Notation System: https://googology.wikia.org/wiki/WIP_Conwaygasm_Array_Notation?venotify=created= I extended Conway c... (view)
5 April 2021

12:28P進大好きbot (talk  contribs) replied to the comment Everybody should probably realize that this is april fools right? on the article C7X/OCF using a to rankintorank cardinal: Not everybody, as you see one counterexample below. (view)

12:1712AbBa (talk  contribs) commented on the article User_blog:C7X/OCF using a to rankintorank cardinal: Everybody should probably realize that this is april fools right? (view)
4 April 2021

22:57P進大好きbot (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: At least, I have never called the name of the OP in this coment sesstion, have I? (view)

15:52Antimony Star (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: Have you tried calling people names less? I've heard people generally have a better time when they d... (view)
3 April 2021

15:06C7X (talk  contribs) commented on the article User_blog:Bubby3/Why no Greatly Mahlo cardinal in our weakly compact OCF?: A transitive reflection schema such as Π_3reflection will usually be based on reflecting ordinals,... (view)

14:40C7X (talk  contribs) replied to the comment How is this compared to the limit of Taranovsky's C? Which is stronger? on the article C7X/OCF using a to rankintorank cardinal: Not only that, catching goes beyond collapses of the strongly weak cardinals, which you don't often ... (view)

05:05P進大好きbot (talk  contribs) replied to the comment No, Rayo(n) is not computable by ITTM. Moreover, It is not eventually computable in your sense, b... on the article Ubersketch/Regarding eventually computable functions: It makes sense. (view)

05:04P進大好きbot (talk  contribs) replied to the comment The "uppercase Veblen hierarchy" can be defined in a welldefined way, for exmple Rathjen has alread... on the article ArtismScrub/HyperAlpha Notation, Part IV Redone: I think that defining E is a fair start point for the OP, because borrowing known functions does not... (view)

04:55P進大好きbot (talk  contribs) replied to the comment How is this compared to the limit of Taranovsky's C? Which is stronger? on the article C7X/OCF using a to rankintorank cardinal: Catching function goes beyond TON, and UNOCF goes beyond Catching function, and this goes beyond UNO... (view)

04:23Msiajoe74 (talk  contribs) commented on the article User_blog:C7X/OCF using a to rankintorank cardinal: How is this compared to the limit of Taranovsky's C? Which is stronger? (view)

02:10C7X (talk  contribs) edited a comment on the article User_blog:ArtismScrub/HyperAlpha Notation, Part IV Redone: The "uppercase Veblen hierarchy" can be defined in a welldefined way, for exmple Rathjen has alread... (view)

02:05C7X (talk  contribs) edited a reply to the comment No, Rayo(n) is not computable by ITTM. Moreover, It is not eventually computable in your sense, b... on the article Ubersketch/Regarding eventually computable functions: I worded my original comment unclearly, not "there doesn't exist such ordinal notation", but "no exp... (view)

02:04C7X (talk  contribs) replied to the comment No, Rayo(n) is not computable by ITTM. Moreover, It is not eventually computable in your sense, b... on the article Ubersketch/Regarding eventually computable functions: I worded my original comment unclearly, not "there doesn't exist an ordinal notation", but "no expli... (view)

01:51C7X (talk  contribs) commented on the article User_blog:ArtismScrub/HyperAlpha Notation, Part IV Redone: The "uppercase Veblen hierarchy" can be defined in order to be welldefined, for exmple Rathjen has ... (view)

00:25P進大好きbot (talk  contribs) replied to the comment No, Rayo(n) is not computable by ITTM. Moreover, It is not eventually computable in your sense, b... on the article Ubersketch/Regarding eventually computable functions: What is the definition of the terminology "ordinal notation" in your context.? (I meant an arbitrary... (view)
2 April 2021

19:01C7X (talk  contribs) edited a reply to the comment No, Rayo(n) is not computable by ITTM. Moreover, It is not eventually computable in your sense, b... on the article Ubersketch/Regarding eventually computable functions: AFAIK there is no ordinal notation with an order type of the least stable ordinal, and notations suc... (view)

19:01C7X (talk  contribs) replied to the comment No, Rayo(n) is not computable by ITTM. Moreover, It is not eventually computable in your sense, b... on the article Ubersketch/Regarding eventually computable functions: AFAIK there is no ordinal notation with an order type of the least stable ordinal, and notations sch... (view)

14:29P進大好きbot (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: > I don't understand why you give me a task to define elementary embedding without = even when ther... (view)

13:02Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: I don't understand why you give me a task to define elementary embedding without = even when there ... (view)

11:35P進大好きbot (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: "If"? What are you saying? You know that you do not know the precise definition, and hence you do no... (view)

11:19Tetramur (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: If your statement is true, then I don't understand. https://neugierde.github.io/cantorsattic/Elemen... (view)

11:18Tetramur (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: If your statement is true, then I don't understand. https://neugierde.github.io/cantorsattic/Elemen... (view)

11:14Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: If your statement is true, then I don't understand. https://neugierde.github.io/cantorsattic/Elemen... (view)

11:00P進大好きbot (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: > Definitions have no knowledge. You probably meant that I don't know precise definition without dou... (view)

10:47Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: > definitions do not know, Definitions have no knowledge. You probably meant that I don't know prec... (view)

10:02P進大好きbot (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: I think that it costs not so much time, but ok. Anyway, I do not know why you express Conjecture 4 a... (view)

10:01P進大好きbot (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: > You simply should understand that I can barely distinguish between simple statement and conjecture... (view)

09:49Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: You simply should understand that I can barely distinguish between simple statement and conjecture. ... (view)

06:42P進大好きbot (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: I think that it costs not so much time, but ok. Anyway, I do not know why you express Conjecture 4 a... (view)

06:41P進大好きbot (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: I think that it costs not so much time, but ok. Anyway, I do not know why you express Conjecture 4 a... (view)

06:09Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: Don't expect that I will answer soon because I don't have much time now. Sorry if you waited. (view)

03:56P進大好きbot (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: Oh, then I am sorry about it. It means that you can answer the following question: Question: What is... (view)

03:50Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: > The problem appears to be in conjecture 5, q(0)=1+1, but there exists no s such that 2^s=1 Quant... (view)
1 April 2021

15:58C7X (talk  contribs) replied to the comment Are \(\alpha\) and \(\beta\) in the definition of the notion of a reflection instance ordinals? I... on the article Hyp cos/Attempt of OCF up to Stability: I have used ordered tuples to play the role of these reflection instances (view)

14:41XiTetrateiX (talk  contribs) replied to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: And, you use MS Paint. (view)

14:40XiTetrateiX (talk  contribs) replied to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: Every 9yearold has the ____ thingy at the end of their username. (view)

14:40XiTetrateiX (talk  contribs) replied to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: You, romaronzo (view)

14:08RomaronzoTHEThingy (talk  contribs) replied to the comment If you're wondering how, repeatedly add an article to thousands of categries at once. on the article Edwin Shade/How To Become Number One On The Leaderboard: 7yeeresertyhik7897 (view)

13:22RomaronzoTHEThingy (talk  contribs) replied to the comment Go away, XiTetrateiX! Watch the poop flow at you! Seriously, what the f**k? You are acting suspiciou... on the article RomaronzoTHEThingy/hj;j;;nnnnm,..,m.m,,,,,,,,.: *has no idea* (view)
31 March 2021

23:17P進大好きbot (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: > Conjecture 4 In that way, it is not appropriate to state it as a conjecture as it you were able to... (view)

22:55RomaronzoTHEThingy (talk  contribs) replied to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: @C7X for who? (view)

22:11C7X (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: The problem appears to be in conjecture 5, q(0)=1+1, but there exists no s such that 2^s=1 (view)

22:07C7X (talk  contribs) replied to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: Could this be considered an admission of a ToS violation or is it not strong enough? (view)

20:38RomaronzoTHEThingy (talk  contribs) replied to the comment Go away, XiTetrateiX! Watch the poop flow at you! Seriously, what the f**k? You are acting suspiciou... on the article RomaronzoTHEThingy/hj;j;;nnnnm,..,m.m,,,,,,,,.: You think I'm pi.jayk?!?!?! I'll show you pi.jayk!!!!!! (view)

20:36RomaronzoTHEThingy (talk  contribs) edited a reply to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: @XiTetrateiX I'm 9, not 10! I will turn 10 soon! (view)

20:35RomaronzoTHEThingy (talk  contribs) edited a reply to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: I'm 9, not 10! I will turn 10 soon! (view)

20:35RomaronzoTHEThingy (talk  contribs) replied to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: I'm 9, not 10! I will turn to soon! (view)

20:19XiTetrateiX (talk  contribs) replied to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: Liar, you are so childish that you just try to hide away the fact that you are really offended by my... (view)

20:16XiTetrateiX (talk  contribs) replied to the comment You didn't define anything. on the article RomaronzoTHEThingy/REALLY BIG NOTATION: Yes, I fell down that hole too. *flashbacks to LL+DEAF* (view)

19:34XiTetrateiX (talk  contribs) replied to the comment Go away, XiTetrateiX! Watch the poop flow at you! Seriously, what the f**k? You are acting suspiciou... on the article RomaronzoTHEThingy/hj;j;;nnnnm,..,m.m,,,,,,,,.: I also marked your hilariously basic conlang wiki post for deletion. (view)

19:30XiTetrateiX (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/hj;j;;nnnnm,..,m.m,,,,,,,,.: Go away, XiTetrateiX! Watch the poop flow at you! Seriously, what the f**k? You are acting suspiciou... (view)

19:16RomaronzoTHEThingy (talk  contribs) edited a reply to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: @XiTetrateiX Yes. Your insults don't work on me either. (view)

19:16RomaronzoTHEThingy (talk  contribs) replied to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: Yes. (view)

19:15XiTetrateiX (talk  contribs) replied to the comment Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus on the article XiTetrateiX/Luxius' Ordinal Arrays: Ok, are you even trying to insult me? Because it is not working. (view)

16:49C7X (talk  contribs) replied to the comment You didn't define anything. on the article RomaronzoTHEThingy/REALLY BIG NOTATION: This is a logical pitfall that I fell down a while ago, where a list of examples doesn't define some... (view)

16:35RomaronzoTHEThingy (talk  contribs) replied to the comment You didn't define anything. on the article RomaronzoTHEThingy/REALLY BIG NOTATION: @C7X @Antimony Star the approximations pretty much show what I mean. (view)

16:16C7X (talk  contribs) commented on the article User_blog:Scorcher007/Large countable ordinal notation up to Z2 and ZFC: What's the best method to formalize a similar concept to SLCON (ordinal notation with many gaps left... (view)

15:36C7X (talk  contribs) replied to the comment You didn't define anything. on the article RomaronzoTHEThingy/REALLY BIG NOTATION: Definition is here, but there's a lot of "etc" and "continue this pattern" (view)

14:14RomaronzoTHEThingy (talk  contribs) replied to the comment You didn't define anything. on the article RomaronzoTHEThingy/REALLY BIG NOTATION: ????????????????????????????????????????????????????????????????????????????????????????????????????... (view)

14:08Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: Actually, I have no evidence of only Conjecture 4. (view)

14:06Tetramur (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: Conjecture 1 is actually a theorem. Proof: For any n there is binary operation a *n b by definition ... (view)

14:06P進大好きbot (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: I guess that you are not understading my comment. I said "no evidence of several of" but not "an evi... (view)

14:06Tetramur (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: Conjecture 1 is actually a theorem. Proof: For any n there is binary operation a *n b by definition ... (view)

14:05Tetramur (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: Conjecture 1 is actually a theorem. Proof: For any n there is binary operation a *n b by definition ... (view)

14:04Tetramur (talk  contribs) edited a reply to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: For conjecture 2, I tried to prove it but noticed that operation *n can not be reversed uniquely. Th... (view)

14:02Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: For conjecture 2, I tried to prove it but noticed that operation *n can not be reversed uniquely. Th... (view)

13:57Tetramur (talk  contribs) replied to the comment Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... on the article Tetramur/Laver tables: Conjecture 1 is actually a theorem. Proof: For any n there is binary operation a *n b: a *n 1 = a (m... (view)

13:13P進大好きbot (talk  contribs) commented on the article User_blog:Tetramur/Laver tables: Conjecture is not an arbitrary statement. It should be justified by a sufficiently reasonable eviden... (view)

12:36Antimony Star (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/REALLY BIG NOTATION: You didn't define anything. (view)

04:30BlankEntity (talk  contribs) replied to the comment What is a!b defined as here? on the article BlankEntity/Blank's Factorial Notation: Fixed it (view)

00:42RomaronzoTHEThingy (talk  contribs) edited a reply to the comment ... on the article RomaronzoTHEThingy/REALLY BIG NOTATION: @C7X it is Edit: nvm (view)
30 March 2021

21:22RomaronzoTHEThingy (talk  contribs) replied to the comment ... on the article RomaronzoTHEThingy/REALLY BIG NOTATION: @C7X it is ≈ψ_0(ψ_I(I_1(0))), where I is inaccessible cardinals (view)

21:11C7X (talk  contribs) commented on the article User_blog:BlankEntity/Blank's Factorial Notation: What is a!b defined as here? (view)

21:09

21:09

21:09

20:30RomaronzoTHEThingy (talk  contribs) replied to the comment ... on the article RomaronzoTHEThingy/REALLY BIG NOTATION: @C7X I was also using PowerFlameX's psi Function (view)

20:09C7X (talk  contribs) edited a comment on the article User_blog:RomaronzoTHEThingy/REALLY BIG NOTATION: ... (view)

20:09C7X (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/REALLY BIG NOTATION: ... (view)

19:58RomaronzoTHEThingy (talk  contribs) edited a comment on the article User_blog:XiTetrateiX/Luxius' Ordinal Arrays: Could be abbreviated as LOA, which stands for Luxius' Obnoxious Anus (view)

17:25RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:XiTetrateiX/Luxius' Ordinal Arrays: Could be abbreviated as LOA, which stands for Luxius' Obvious Anus (view)

14:58RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:Alemagno12/spontaneous question: Googoldooplex (view)

13:19P進大好きbot (talk  contribs) replied to the comment I don't understand why the analysis of TON is level 5, because main system TON hasn't been proven to... on the article P進大好きbot/Evaluation of Analysis: For example, if you analyses BMS up to (0,0,0)(1,1,1)(1,1,1) with proofs, it can be of level 5. It i... (view)
29 March 2021

16:13C7X (talk  contribs) commented on the article User_blog:P進大好きbot/Evaluation of Analysis: I don't understand why the analysis of TON is level 5, because main system TON hasn't been proven to... (view)

14:15RomaronzoTHEThingy (talk  contribs) replied to the comment I win! on the article A Hippopotatomus/Official definition of Sam's number: Yes @C7X (view)

01:58C7X (talk  contribs) replied to the comment One easiest way to improve yourself is not to talk about what you know essentially nothing about. Wh... on the article RomaronzoTHEThingy/Some OCF Some OCF Some OCF Some OCF ok I'll stop saying "Some OCF"...: I doubt π here means the ratio of circumference to diameter, in set theory it sometimes means a reg... (view)
28 March 2021

23:45C7X (talk  contribs) edited a reply to the comment > No... Ordinals are unable to be a model of KP... I apologize for the incorrect presentation.... on the article Scorcher007/S  Large Countable Ordinal Notation. Chapter I, Up to KPm.: Note that due to formulae such as φ(σ) <> σ=ω_1^CK or σ is nonprojectible, then your definitio... (view)

23:37C7X (talk  contribs) replied to the comment > No... Ordinals are unable to be a model of KP... I apologize for the incorrect presentation.... on the article Scorcher007/S  Large Countable Ordinal Notation. Chapter I, Up to KPm.: Note that due to formulae such as φ(σ) <> σ=ω_1^CK or σ is nonprojectible, then your definitio... (view)

23:07C7X (talk  contribs) commented on the article User_blog:P進大好きbot/Ordinal Notation with the PTO of ZFC: > Therefore the limit of the ordinal notation whose underlying set is N and whose strict partial ord... (view)

22:51XiTetrateiX (talk  contribs) replied to the comment One easiest way to improve yourself is not to talk about what you know essentially nothing about. Wh... on the article RomaronzoTHEThingy/Some OCF Some OCF Some OCF Some OCF ok I'll stop saying "Some OCF"...: Also, how do you nest by a fractional number? (view)

20:08C7X (talk  contribs) commented on the article User_blog:A Hippopotatomus/Official definition of Sam's number: I win! (view)

19:45RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:ArtismScrub/"CascadingArrow Notation" analysis + extension: FYI, φ(1,0,α) = Γ_α (_ = subscript) (view)

18:29C7X (talk  contribs) commented on the article User_blog:P進大好きbot/How to Create a Recursive Notation: From the authr's perspective is it good practice to try to shrink (under subset relation) the domain... (view)

15:24C7X (talk  contribs) commented on the article User_blog:Denis Maksudov/OCF and ordinal notation based on a weakly Mahlo cardinal: > If α=α_1+⋯+α_k then cof(α)=cof(α_k)∧α[η]=α_1+⋯+(α_k[η]) I suppose we need α_1≥.... (view)
27 March 2021

21:34RomaronzoTHEThingy (talk  contribs) replied to the comment "That oughta hold 'im alwight" on the article Abraha lincoln/Big chungus number: Nice one! @C7X (view)

18:04Pteriforever (talk  contribs) replied to the comment Here is a relatively new page by Bowers about his spaces, and an explanation of the climbing method.... on the article Pteriforever/Looking back, and also rambling a lot: Interesting stuff  thank you! ^.^ (view)

17:45C7X (talk  contribs) edited a reply to the comment Here is a relatively new page by Bowers about his spaces, and an explanation of the climbing method.... on the article Pteriforever/Looking back, and also rambling a lot: Also one piece of advice I have (unless you're creating this notation for easy analysis) is to embra... (view)

17:42C7X (talk  contribs) replied to the comment Here is a relatively new page by Bowers about his spaces, and an explanation of the climbing method.... on the article Pteriforever/Looking back, and also rambling a lot: Also one piece of advice I have (unless you're creating this notation for easy analysis) is to embra... (view)

17:40C7X (talk  contribs) commented on the article User_blog:Pteriforever/Looking back, and also rambling a lot: Here is a relatively new page by Bowers about his spaces, and an explanation of the climbing method.... (view)

05:18P進大好きbot (talk  contribs) replied to the comment From Discord: Limit of 1M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: As far as I know, Patcail is repeating such dishonest reasonless conjectures using illdefined notat... (view)

02:21C7X (talk  contribs) edited a reply to the comment From Discord: Limit of 1M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: Patcail is the one who made these conjectures, IDK what reasoning they had when writing them, other ... (view)

02:20C7X (talk  contribs) edited a reply to the comment From Discord: Limit of 1M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: Patcail is the one who made these conjectures, IDK what reasoning they had when writing them. Patcai... (view)

02:17C7X (talk  contribs) edited a reply to the comment From Discord: Limit of 1M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: Patcail is the one who made these conjectures, IDK what reasoning they had when writing them. Patcai... (view)

02:17C7X (talk  contribs) replied to the comment From Discord: Limit of 1M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: Patcail is the one who made these conjectures, IDK what reasoning they had when writing them. Patcai... (view)

00:42P進大好きbot (talk  contribs) replied to the comment From Discord: Limit of 1M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: Are there members in discord who believe that they know the strangth of BM4 in that level? Or are th... (view)
26 March 2021

21:25C7X (talk  contribs) edited a reply to the comment From Discord: Limit of 1M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: An infinite loop was found in 1S, and maybe in 1M as well IIRC (view)

21:25C7X (talk  contribs) replied to the comment From Discord: Limit of 1M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: An infinite loop was found in 1S, and maybe in 10M as well IIRC (view)

13:08QNagaj (talk  contribs) replied to the comment \(\Sigma(17)>g_{64}\) is proven as of 2017.12.20. on the article Wythagoras/The nineteenth Busy Beaver number is greater than Graham's Number!: I believe I now finally have BB(16)>g_{64}. I managed to build machines inspired by these here: Acke... (view)

01:14P進大好きbot (talk  contribs) replied to the comment Two things about formal strings: 1) In the definition of Taranovsky's ordinal notation, it says that... on the article P進大好きbot/How to Create a Recursive Notation: You are right. I wrote in a converse way. I edited the sentence now. (view)

01:13P進大好きbot (talk  contribs) edited a reply to the comment Two things about formal strings: 1) In the definition of Taranovsky's ordinal notation, it says that... on the article P進大好きbot/How to Create a Recursive Notation: 1) Taranovsky tends to call an object by a semanticstheoretic name (e.g. ordinal, function) rather ... (view)

01:10C7X (talk  contribs) replied to the comment Two things about formal strings: 1) In the definition of Taranovsky's ordinal notation, it says that... on the article P進大好きbot/How to Create a Recursive Notation: OK (although to my understanding Taranovsky often calls objects by semantictheoretic instead of syn... (view)
25 March 2021

23:47P進大好きbot (talk  contribs) replied to the comment Two things about formal strings: 1) In the definition of Taranovsky's ordinal notation, it says that... on the article P進大好きbot/How to Create a Recursive Notation: 1) Taranovsky tends to call an object by a syntaxtheoretic name (e.g. ordinal terms, function symbo... (view)

22:06Shadow15kRyans (talk  contribs) commented on the article User_blog:Simply Beautiful Art/A hierarchy of Greatly Mahlo OCFs: FINALLY I gained some Intuition on how the Xi Function compares to the Basic Mahlo Cardinal, and thi... (view)

20:06XiTetrateiX (talk  contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: LMAO mine too. (view)

20:03XiTetrateiX (talk  contribs) replied to the comment Hmm... I guess you didn't... See it as I intended. But ok then. What is LL? Is it the Large Veblen O... on the article RomaronzoTHEThingy/Extended Random Notation: LL is LuckyLuxius (view)

16:43XiTetrateiX (talk  contribs) replied to the comment You're banned because you're being bad, not because you're under 13 at the time of the banning (it's... on the article XiTetrateiX/Discord banning and the truth.: I am trying to be good, I just get frustrated and I have signs of autism. (view)

16:40XiTetrateiX (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/Join joi n jo in j o i n jjjoin THIs WWIki JOIN: Seriouslym can you stop? (view)

16:38XiTetrateiX (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/J.OiN.: No thanks (view)

15:50C7X (talk  contribs) commented on the article User_blog:P進大好きbot/How to Create a Recursive Notation: Two things about formal strings: 1) In the definition of Taranovsky's ordinal notation, it says that... (view)

13:29RomaronzoTHEThingy (talk  contribs) replied to the comment I have already told you that you need to clarify the domain when you define a function. Also, it is ... on the article RomaronzoTHEThingy/My (actual) omicron OCF: Idk that but ok (view)

02:34C7X (talk  contribs) replied to the comment There might be more things below zoo 2.22 ordinal. In the range of β=(1st 2ndordergap with leng... on the article Scorcher007/Large countable ordinal notation up to Z2 and ZFC: > Next, when α is П_2reflecting on {β<α(L_α\L_β) n Pω = Ø} Are you sure that such α can e... (view)

02:24C7X (talk  contribs) replied to the comment > 1st (+1)2stable; L_{σσ} ≺_2 L_{St+1} What does this mean? To my understanding St isn't an or... on the article Scorcher007/Large countable ordinal notation up to Z2 and ZFC: > σ=П_2reflecting on (β<σLβ≺1Lσ); σ in which ...ply stable are stationary Are you sure a... (view)

02:21C7X (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/J.OiN.: Advertisement is no longer allowed on Wikia by the new policy update (view)

02:19C7X (talk  contribs) replied to the comment I have already told you that you need to clarify the domain when you define a function. Also, it is ... on the article RomaronzoTHEThingy/My (actual) omicron OCF: Advertisement is no longer allowed on Wikia by the new policy update (view)

00:27RomaronzoTHEThingy (talk  contribs) replied to the comment I have already told you that you need to clarify the domain when you define a function. Also, it is ... on the article RomaronzoTHEThingy/My (actual) omicron OCF: Also join: (view)

00:21C7X (talk  contribs) replied to the comment Do you know the way from the length1gap ordinal to the length2gap ordinal? Especially in... on the article Scorcher007/Large countable ordinal notation up to Z2 and ZFC: > (L_β/L_{β+1})∩ω_1=∅ This is not a gap. Gap ordinals are "(L_{β+1}\L_β) n Pω = Ø" instea... (view)

00:18C7X (talk  contribs) replied to the comment Do you know the way from the length1gap ordinal to the length2gap ordinal? Especially in... on the article Scorcher007/Large countable ordinal notation up to Z2 and ZFC: How do we represent higher nonprojectibility (e.g. β that is Π_2reflecting on {α<β:L_α ≺_Σ_... (view)

00:16RomaronzoTHEThingy (talk  contribs) replied to the comment I have already told you that you need to clarify the domain when you define a function. Also, it is ... on the article RomaronzoTHEThingy/My (actual) omicron OCF: @P進大好きbot ummm... (view)
24 March 2021

23:24C7X (talk  contribs) commented on the article User_blog:Scorcher007/Large countable ordinal notation up to Z2 and ZFC: > 1st (+1)2stable; L_{σσ} ≺_2 L_{St+1} What does this mean? To my understanding St isn't an or... (view)

23:21P進大好きbot (talk  contribs) replied to the comment I have already told you that you need to clarify the domain when you define a function. Also, it is ... on the article RomaronzoTHEThingy/My (actual) omicron OCF: @C7X It is one of a standard convention, but an author needs to clarify it because the most standard... (view)

23:19P進大好きbot (talk  contribs) replied to the comment I have already told you that you need to clarify the domain when you define a function. Also, it is ... on the article RomaronzoTHEThingy/My (actual) omicron OCF: As a conclusion, it is not an actual OCF. If somebody "analysed" it, it would be just a fake. (view)

23:19P進大好きbot (talk  contribs) edited a comment on the article User_blog:RomaronzoTHEThingy/My (actual) omicron OCF: I have already told you that you need to clarify the domain when you define a function. Also, it is ... (view)

23:16RomaronzoTHEThingy (talk  contribs) replied to the comment I have already told you that you need to clarify the domain when you define a function. Also, it is ... on the article RomaronzoTHEThingy/My (actual) omicron OCF: I'll do that. (view)

23:12C7X (talk  contribs) replied to the comment I have already told you that you need to clarify the domain when you define a function. Also, it is ... on the article RomaronzoTHEThingy/My (actual) omicron OCF: If Romaronzo had otherwise clarified (and specified that ζ and η are ordinals), could (ζ,η) be t... (view)

23:02P進大好きbot (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/My (actual) omicron OCF: I have already told you that you need to clarify the domain when you define a function. Also, it is ... (view)

18:33C7X (talk  contribs) commented on the article User_blog:P進大好きbot/Rathjentype Ordinal Notation: > When we have ordinals "outside expressions", then it is time to introduce an OCF. To my understand... (view)

15:25RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:P進大好きbot/Relation between an OCF and an Ordinal Notation: Wow (view)

10:56Antimony Star (talk  contribs) replied to the comment t=0 system is quite different from PrSS, and t=1 system different from SSS. If the add(S[i:],[S[cur]... on the article Antimony Star/Preview of nSuperSudden sequence: I've updated the code quite a few times and I'm not sure if there's still bugs. I think you're looki... (view)

02:01P進大好きbot (talk  contribs) commented on the article User_blog:PowerFlameX/Attempt at making a welldefined inaccessible OCF: Good. There are several points: (1) If you want to define a setthoretic function, you need to clari... (view)
23 March 2021

23:50RomaronzoTHEThingy (talk  contribs) replied to the comment psi(I^I^3) = Phi(1,0,0,0,0) not Phi(1,0,0,0) on the article PowerFlameX/Attempt at making a welldefined inaccessible OCF: Thx (view)

23:01A Hippopotatomus (talk  contribs) replied to the comment Are googolplexianite and googolplexiteian the same number? on the article A Hippopotatomus/Optimized googolplexian sequence: Yes, but googolplexianite is the standard form. The standard form is when the suffixes are in increa... (view)

21:41RomaronzoTHEThingy (talk  contribs) replied to the comment I don't understand, what is C(α,ω+1,0,0)? on the article RomaronzoTHEThingy/My theta: C(α,α,C(α,ω,0,0)+1) (view)

20:58C7X (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/My theta: I don't understand, what is C(α,ω+1,0,0)? (view)

19:42RomaronzoTHEThingy (talk  contribs) edited a comment on the article User_blog:A Hippopotatomus/Optimized googolplexian sequence: I think I found something that goes up to Googolplexianiteronhedronanavereondiallagoshalalacazaronbr... (view)

19:42RomaronzoTHEThingy (talk  contribs) edited a comment on the article User_blog:A Hippopotatomus/Optimized googolplexian sequence: I think I found something that goes up to Googolplexianiteronhedronanavereondialagoshalalacazaronbri... (view)

16:24PowerFlameX (talk  contribs) replied to the comment psi(I^I^3) = Phi(1,0,0,0,0) not Phi(1,0,0,0) on the article PowerFlameX/Attempt at making a welldefined inaccessible OCF: Fixed, ty (view)

16:12RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:A Hippopotatomus/Optimized googolplexian sequence: I think I found something that goes up to Googolplexianiteronhedronanavereondialagoshalalacazaronbri... (view)

16:11RomaronzoTHEThingy (talk  contribs) replied to the comment Are googolplexianite and googolplexiteian the same number? on the article A Hippopotatomus/Optimized googolplexian sequence: Idk (view)

16:08RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:PowerFlameX/Attempt at making a welldefined inaccessible OCF: psi(I^I^3) = Phi(1,0,0,0,0) not Phi(1,0,0,0) (view)

15:11RomaronzoTHEThingy (talk  contribs) replied to the comment One easiest way to improve yourself is not to talk about what you know essentially nothing about. Wh... on the article RomaronzoTHEThingy/Some OCF Some OCF Some OCF Some OCF ok I'll stop saying "Some OCF"...: Good point (view)

14:17RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:ArtismScrub/Googological miscellany: Googolrex ≈ 109.99995657 × 10^100004 (view)

14:15RomaronzoTHEThingy (talk  contribs) replied to the comment I think that {25,21} is more suitable because her nickname is Niconi. on the article ArtismScrub/Googological miscellany: ≈2.273736754432 × 10^29 (view)

14:14RomaronzoTHEThingy (talk  contribs) replied to the comment I think that {25,21} is more suitable because her nickname is Niconi. on the article ArtismScrub/Googological miscellany: So basically 25^21 (view)

14:07P進大好きbot (talk  contribs) commented on the article User_blog:ArtismScrub/Googological miscellany: I think that {25,21} is more suitable because her nickname is Niconi. (view)

02:06C7X (talk  contribs) edited a reply to the comment So, in this case, what's the another name for E100#100 (aside from grangol)? on the article A Hippopotatomus/Optimized googolplexian sequence: Repeating these prefixes it could be googolplexanavereanavereanavereite (view)

02:06C7X (talk  contribs) commented on the article User_blog:A Hippopotatomus/Optimized googolplexian sequence: Are googolplexianite and googolplexiteian the same number? (view)

02:06C7X (talk  contribs) replied to the comment So, in this case, what's the another name for E100#100 (aside from grangol)? on the article A Hippopotatomus/Optimized googolplexian sequence: Repeating these prefixes it could be Googolplexanavereanavereanavereite (view)

00:26ARsygo (talk  contribs) commented on the article User_blog:A Hippopotatomus/Optimized googolplexian sequence: So, in this case, what's the another name for E100#100 (aside from grangol)? (view)
22 March 2021

23:44P進大好きbot (talk  contribs) edited a reply to the comment One easiest way to improve yourself is not to talk about what you know essentially nothing about. Wh... on the article RomaronzoTHEThingy/Some OCF Some OCF Some OCF Some OCF ok I'll stop saying "Some OCF"...: Right, you can undestand what you learned. It is pretty good that you dislike to spread wrong inform... (view)

23:43P進大好きbot (talk  contribs) replied to the comment One easiest way to improve yourself is not to talk about what you know essentially nothing about. Wh... on the article RomaronzoTHEThingy/Some OCF Some OCF Some OCF Some OCF ok I'll stop saying "Some OCF"...: Right, you can undestand what you learned. It is pretty good that you dislike to spread wring inform... (view)

23:06RomaronzoTHEThingy (talk  contribs) edited a reply to the comment One easiest way to improve yourself is not to talk about what you know essentially nothing about. Wh... on the article RomaronzoTHEThingy/Some OCF Some OCF Some OCF Some OCF ok I'll stop saying "Some OCF"...: @C7X just gave me a chart on set theory and now I can understand them. Also, I do NOT want to sprea... (view)

23:02RomaronzoTHEThingy (talk  contribs) edited a reply to the comment One easiest way to improve yourself is not to talk about what you know essentially nothing about. Wh... on the article RomaronzoTHEThingy/Some OCF Some OCF Some OCF Some OCF ok I'll stop saying "Some OCF"...: C7X just gave me a chart on set theory and now I can understand them. Also, I do NOT want to spread ... (view)

23:02RomaronzoTHEThingy (talk  contribs) replied to the comment One easiest way to improve yourself is not to talk about what you know essentially nothing about. Wh... on the article RomaronzoTHEThingy/Some OCF Some OCF Some OCF Some OCF ok I'll stop saying "Some OCF"...: C7X just gave me a chart on set theory and now I can understand them. Also, I do NOT want to spread ... (view)

22:59RomaronzoTHEThingy (talk  contribs) replied to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: Lkjhjvhvhv (view)

22:59RomaronzoTHEThingy (talk  contribs) replied to the comment What does mean ";" inside "I(0; 0)" ? on the article RomaronzoTHEThingy/My Psi: Ok Also it's he, not she (view)

22:56P進大好きbot (talk  contribs) replied to the comment What does mean ";" inside "I(0; 0)" ? on the article RomaronzoTHEThingy/My Psi: @Rgetar As you understand from the answer, the OP frequently talks about what he or she does not kno... (view)

22:49P進大好きbot (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/Some OCF Some OCF Some OCF Some OCF ok I'll stop saying "Some OCF"...: One easiest way to improve yourself is not to talk about what you know essentially nothing about. Wh... (view)

21:50RomaronzoTHEThingy (talk  contribs) replied to the comment What does mean ";" inside "I(0; 0)" ? on the article RomaronzoTHEThingy/My Psi: I(0;0) = I(1,0,0...0,0,0) (view)

20:43RomaronzoTHEThingy (talk  contribs) replied to the comment Isn't this copy+paste? on the article RomaronzoTHEThingy/Messing with WCC: Yay (view)

18:15C7X (talk  contribs) replied to the comment Isn't this copy+paste? on the article RomaronzoTHEThingy/Messing with WCC: Id say it's around the middle of the hierarchy of large cardinals. Larger than worldliness, inaccess... (view)

16:43RomaronzoTHEThingy (talk  contribs) replied to the comment Isn't this copy+paste? on the article RomaronzoTHEThingy/Messing with WCC: @C7X is this a really big cardinal or no? (view)

16:43RomaronzoTHEThingy (talk  contribs) replied to the comment Isn't this copy+paste? on the article RomaronzoTHEThingy/Messing with WCC: Yes (view)

15:58C7X (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/Messing with WCC: Isn't this copy+paste? (view)

08:41Rgetar (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/My Psi: What does mean ";" inside "I(0; 0)" ? (view)

08:39Rgetar (talk  contribs) edited a comment on the article User_blog:RomaronzoTHEThingy/HGJUhvgvjVK. JHjklhykgHJH, hoiihin, ijijj^UUU. CC Iijjkkk j.: ∋ is "Contains As Member" ∈ is "Element Of" ∪ is "Union" Also I googled "list of set theory sy... (view)

08:39Rgetar (talk  contribs) edited a comment on the article User_blog:RomaronzoTHEThingy/HGJUhvgvjVK. JHjklhykgHJH, hoiihin, ijijj^UUU. CC Iijjkkk j.: :∋ is "Contains As Member" :∈ is "Element Of" :∪ is "Union" Also I googled "list of set theory... (view)

08:38Rgetar (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/HGJUhvgvjVK. JHjklhykgHJH, hoiihin, ijijj^UUU. CC Iijjkkk j.: ∋ is "Contains As Member" ∈ is "Element Of" ∪ is "Union" Also I googled "list of set theory sy... (view)

04:18P進大好きbot (talk  contribs) replied to the comment I have ideas for some more sections Does Ω mean "nesting"? Is the satisfaction relation (S,∈) = ... on the article P進大好きbot/List of common mistakes in googology: Done! (view)

04:10C7X (talk  contribs) replied to the comment I have ideas for some more sections Does Ω mean "nesting"? Is the satisfaction relation (S,∈) = ... on the article P進大好きbot/List of common mistakes in googology: OK (view)

03:55P進大好きbot (talk  contribs) replied to the comment I have ideas for some more sections Does Ω mean "nesting"? Is the satisfaction relation (S,∈) = ... on the article P進大好きbot/List of common mistakes in googology: I see. For example, "I understand it although I do not know the precise definition!" might be good. (view)

03:17C7X (talk  contribs) replied to the comment I have ideas for some more sections Does Ω mean "nesting"? Is the satisfaction relation (S,∈) = ... on the article P進大好きbot/List of common mistakes in googology: Another idea, I'm not sure how to phrase it, but something like "I understand X because I have read ... (view)

02:19Hyp cos (talk  contribs) commented on the article User_blog:Antimony Star/Preview of nSuperSudden sequence: t=0 system is quite different from PrSS, and t=1 system different from SSS. If the add(S[i:],[S[cur]... (view)
21 March 2021

21:40C7X (talk  contribs) replied to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: Sure. But what PBot means is that there's a thing called a "noninjective function" that needs to be... (view)

16:45C7X (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/J.OiN.: The links are copy+pasted from the last post (view)

13:37RomaronzoTHEThingy (talk  contribs) replied to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: ψ(ε_(Ω_α+1)) = ψ(Ω_α^Ω_α^Ω_α...). Are we clear? (view)
20 March 2021

23:55P進大好きbot (talk  contribs) replied to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: @C7X I think that the OP does not understand that listing finite examples does not define a function... (view)

14:38RomaronzoTHEThingy (talk  contribs) replied to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: ψ(ε_(Ω+1)) = ψ(Ω^Ω^Ω...). Are we clear? (view)

14:36C7X (talk  contribs) replied to the comment Sorry for such a late reply to an old blog post but I didn't really look into this back when... on the article Emlightened/Early Birthday Present For Deedlit: I think you're right  at the top κ^+ is said to mean the next cardinal after κ (this must be regu... (view)

14:19C7X (talk  contribs) replied to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: > ε_(Ω+1) = Buchholzψ_2(0) Even though ψ_0(ε_(Ω+1)) = ψ_0(ψ_2(0)), that doesn't mean that ε... (view)

13:33RomaronzoTHEThingy (talk  contribs) replied to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: Then continue... (view)

13:33RomaronzoTHEThingy (talk  contribs) edited a reply to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: @C7X ε_(Ω+1) = Buchholzψ_2(0) (view)

13:32RomaronzoTHEThingy (talk  contribs) replied to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: @C7X ε_(Ω+1) = Buccholzψ_2(0) (view)

12:34P進大好きbot (talk  contribs) replied to the comment What is ψ(ε_(Ω+1)) using this function? on the article RomaronzoTHEThingy/My Psi: RomaronzoTHEThingy: "ψ(ε_(Ω+1)) using this function is ψ(ε_(Ω+1)) using this function!" (view)

12:33P進大好きbot (talk  contribs) replied to the comment Maybe you just guessed the definition rather than checked it. A definition is available here. Admiss... on the article Sharkic/Omega 2 CK: Hmm...? I think that the article has a source of the definition. The notion seems to be used in comp... (view)

01:46C7X (talk  contribs) replied to the comment Maybe you just guessed the definition rather than checked it. A definition is available here. Admiss... on the article Sharkic/Omega 2 CK: The definition in the article doesn't have a citation, is it used often in mathematics? Goucher's bl... (view)

01:39C7X (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/My Psi: What is ψ(ε_(Ω+1)) using this function? (view)

00:18P進大好きbot (talk  contribs) commented on the article User_blog:Sharkic/Omega 2 CK: Maybe you just guessed the definition rather than checked it. A definition is available here. Admiss... (view)

00:12P進大好きbot (talk  contribs) replied to the comment I am sorry to ask it, but can we access any one of nonWIP works by you? You frequently write "WIP" ... on the article RomaronzoTHEThingy/Extended Random Notation: Then RomaronzoTHEThingy, isn't it a good time to learn how to define a number? You do not like to co... (view)
19 March 2021

21:08RomaronzoTHEThingy (talk  contribs) replied to the comment I am sorry to ask it, but can we access any one of nonWIP works by you? You frequently write "WIP" ... on the article RomaronzoTHEThingy/Extended Random Notation: ☺ was like BEAF & except addition actually gets you pretty far (view)

21:06RomaronzoTHEThingy (talk  contribs) replied to the comment Hmm... I guess you didn't... See it as I intended. But ok then. What is LL? Is it the Large Veblen O... on the article RomaronzoTHEThingy/Extended Random Notation: WIP and sorry @Sharkic (view)

18:43C7X (talk  contribs) edited a comment on the article User_blog:Sharkic/Random Notation: > Step 3: ∀(a,b) in L, add its value to T. I have a recommendation for this step, please be carefu... (view)

18:43C7X (talk  contribs) commented on the article User_blog:Sharkic/Random Notation: > Step 3: ∀(a,b) in L, add its value to T. I have a recommendation for this step, please be carefu... (view)

18:22C7X (talk  contribs) edited a reply to the comment Hmm... I guess you didn't... See it as I intended. But ok then. What is LL? Is it the Large Veblen O... on the article RomaronzoTHEThingy/Extended Random Notation: No way to tell due to little data written. Also "the extension" isn't unique, and all we know are th... (view)

18:22C7X (talk  contribs) replied to the comment Hmm... I guess you didn't... See it as I intended. But ok then. What is LL? Is it the Large Veblen O... on the article RomaronzoTHEThingy/Extended Random Notation: No way to tell due to little data written. Also "the extension" isn't unique, and all we know are th... (view)

18:12C7X (talk  contribs) commented on the article User_blog:Sharkic/Omega 2 CK: The most common definition I've heard is that for ξ>1, the function λξ.ω_ξ^CK enumerates admiss... (view)

18:01Sharkic (talk  contribs) edited a comment on the article User_blog:RomaronzoTHEThingy/Extended Random Notation: Hmm... I guess you didn't... See it as I intended. But ok then. What is LL? Is it the Large Veblen O... (view)

17:55Sharkic (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/Extended Random Notation: Hmm... I guess you didn't... See it as I intended. But ok then. (view)

17:38Sharkic (talk  contribs) commented on the article User_blog:XiTetrateiX/Luxius' Theta Notation, based off of the other Theta Array Notation.: Is this based of the ill defined Theta Array Notation that "reached very large numbers". (view)

17:08C7X (talk  contribs) edited a reply to the comment I am sorry to ask it, but can we access any one of nonWIP works by you? You frequently write "WIP" ... on the article RomaronzoTHEThingy/Extended Random Notation: I'm sorry to say, but not many of their posts are nonWIP and also even semirigorous. Here are some... (view)

17:05C7X (talk  contribs) replied to the comment I am sorry to ask it, but can we access any one of nonWIP works by you? You frequently write "WIP" ... on the article RomaronzoTHEThingy/Extended Random Notation: I'm sorry to say, but not many of their posts are nonWIP and also even semirigorous. Here are some... (view)

04:00P進大好きbot (talk  contribs) edited a reply to the comment I am sorry to ask it, but can we access any one of nonWIP works by you? You frequently write "WIP" ... on the article RomaronzoTHEThingy/Extended Random Notation: Sorry, but I meant a nonWIP and completed work. Obviously ☺ is illdefined due to the partial spe... (view)

03:59P進大好きbot (talk  contribs) replied to the comment I am sorry to ask it, but can we access any one of nonWIP works by you? You frequently write "WIP" ... on the article RomaronzoTHEThingy/Extended Random Notation: Sorry, but I meant a nonWIP and completed work. Obviously ☺ is illdefined due to the partial spe... (view)

03:19BlankEntity (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/A Really Weird Number.: What's with all the categories? (view)

02:13C7X (talk  contribs) replied to the comment I am sorry to ask it, but can we access any one of nonWIP works by you? You frequently write "WIP" ... on the article RomaronzoTHEThingy/Extended Random Notation: To answer your question, the longest nonWIP post I could find was "☺ Notation Thingy" https://goo... (view)

02:05C7X (talk  contribs) replied to the comment I am sorry to ask it, but can we access any one of nonWIP works by you? You frequently write "WIP" ... on the article RomaronzoTHEThingy/Extended Random Notation: In this case, WIP stands for "Wettening Incisor Practitioner", due to the cleansing of the teeth by ... (view)

00:35P進大好きbot (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/Extended Random Notation: I am sorry to ask it, but can we access any one of nonWIP works by you? You frequently write "WIP" ... (view)
17 March 2021

21:18BlankEntity (talk  contribs) commented on the article User_blog:RomaronzoTHEThingy/I H A V E S O M E T H I N G W E I R D T O S A Y: Interesting. (view)

15:23Sharkic (talk  contribs) edited a reply to the comment (Looks like someone did something to my account here) on the article Plutfuse/Transcendent Hierarches and Exploding Arrays (fixed): (Ignore this) (view)

15:22Sharkic (talk  contribs) edited a comment on the article User_blog:Plutfuse/Transcendent Hierarches and Exploding Arrays (fixed): (Looks like someone did something to my account here) (view)

00:15Sharkic (talk  contribs) replied to the comment Can I help make this? on the article Sharkic/Random Notation: Ok (view)

00:14Sharkic (talk  contribs) replied to the comment Aka Giggol on the article Sharkic/Smelly Shell Number: Yes (view)
16 March 2021

23:25C7X (talk  contribs) commented on the article User_blog:Deedlit11/Ordinal Notations VII: Indescribables: As of September 2020, Deedlit no longer has this OCF (view)

23:22C7X (talk  contribs) edited a reply to the comment a few years later* "Ordinal notations XX  up to a rankintorank cardinal" on the article Deedlit11/Ordinal Notations VII: Indescribables: A related fact (although not exactly equal) is that all recursive ordinals are discernible. So I thi... (view)

23:21C7X (talk  contribs) replied to the comment a few years later* "Ordinal notations XX  up to a rankintorank cardinal" on the article Deedlit11/Ordinal Notations VII: Indescribables: A related fact (although not exactly equal) is that all recursive ordinals are discernible. So I thi... (view)

22:28RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:Sharkic/Smelly Shell Number: Aka Giggol (view)

22:21RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:Sharkic/Random Notation: Can I help make this? (view)

21:21Sharkic (talk  contribs) replied to the comment I hate you on the article Plutfuse/Transcendent Hierarches and Exploding Arrays (fixed): I miss u HOughghghgghhgghghghghhghghgh....hoooooooooooooooooooooouughhh.huuuuuuuuuuuughhhhhhhhh. I r... (view)

21:20Sharkic (talk  contribs) commented on the article User_blog:Plutfuse/Transcendent Hierarches and Exploding Arrays (fixed): I hate you (view)

19:35Sharkic (talk  contribs) replied to the comment When people write about two members of a set, such as 4 and 6 both being natural numbers, the most c... on the article Sharkic/Random Notation: Ok, thanks. (view)

19:13C7X (talk  contribs) commented on the article User_blog:Sharkic/Random Notation: When people write about two members of a set, such as 4 and 6 both being natural numbers, the most c... (view)

17:50Sharkic (talk  contribs) commented on the article User_blog:XiTetrateiX/Bouncing Arrow Notation (⇅): Is this kind of like an extension of the Factorial to Knuth Up arrows? (view)

01:35C7X (talk  contribs) edited a reply to the comment Can you explain in more detail why C(Ω2+C(Ω2×2,0),0) is a standard term and C(Ω2+C(Ω2×2+C(Ω2×3,0)... on the article Hyp cos/TON, stable ordinals, and my array notation: I don't understand how C(Ω_2*2,0) is enclosed within a subterm of Ω_2+C(Ω_2*2,0) that's 1BFB fro... (view)

01:34C7X (talk  contribs) edited a reply to the comment Can you explain in more detail why C(Ω2+C(Ω2×2,0),0) is a standard term and C(Ω2+C(Ω2×2+C(Ω2×3,0)... on the article Hyp cos/TON, stable ordinals, and my array notation: I don't understand how C(Ω_2*2,0) is enclosed within a subterm of Ω_2+C(Ω_2*2,0) that's 1BFB fro... (view)

00:19Rgetar (talk  contribs) replied to the comment Second type ordering seems to be in "arraystyle", where every nested layer means two levels of ωe... on the article Rgetar/Two types of ordering: I think the list is correct. I guessed that two levels jump of ωexponentiation tower is only in th... (view)
15 March 2021

04:48P進大好きbot (talk  contribs) replied to the comment I was the editor of the TON page, however I didn't know what source to cite, so I added a link to th... on the article Antimony Star/News: MP in TON is not well founded: OK. Thank you. (view)

03:57C7X (talk  contribs) replied to the comment I was the editor of the TON page, however I didn't know what source to cite, so I added a link to th... on the article Antimony Star/News: MP in TON is not well founded: Antimony is correct, MP is "main system with passthrough" according to Hyp_cos's table here https://... (view)
14 March 2021

22:57C7X (talk  contribs) edited a reply to the comment Can you explain in more detail why C(Ω2+C(Ω2×2,0),0) is a standard term and C(Ω2+C(Ω2×2+C(Ω2×3,0)... on the article Hyp cos/TON, stable ordinals, and my array notation: I don't understand how C(Ω_2*2,0) is enclosed within a subterm of Ω_2+C(Ω_2*2,0) that's 1BFB fro... (view)

22:54C7X (talk  contribs) edited a reply to the comment Can you explain in more detail why C(Ω2+C(Ω2×2,0),0) is a standard term and C(Ω2+C(Ω2×2+C(Ω2×3,0)... on the article Hyp cos/TON, stable ordinals, and my array notation: I don't understand how C(Ω_2*2,0) is enclosed within a subterm of Ω+C(Ω_2*2,0) that's 1BFB from ... (view)

22:42RomaronzoTHEThingy (talk  contribs) edited a comment on the article User_blog:Antimony Star/Preview of nSuperSudden sequence: Okok (view)

22:42RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:Antimony Star/Preview of nSuperSudden sequence: Ok (view)

19:59C7X (talk  contribs) edited a reply to the comment Can you explain in more detail why C(Ω2+C(Ω2×2,0),0) is a standard term and C(Ω2+C(Ω2×2+C(Ω2×3,0)... on the article Hyp cos/TON, stable ordinals, and my array notation: ... (view)

19:57C7X (talk  contribs) edited a reply to the comment Can you explain in more detail why C(Ω2+C(Ω2×2,0),0) is a standard term and C(Ω2+C(Ω2×2+C(Ω2×3,0)... on the article Hyp cos/TON, stable ordinals, and my array notation: I don't understand how C(Ω_2*2,0) is enclosed within a 1BFB subterm (view)

16:36C7X (talk  contribs) replied to the comment Can you explain in more detail why C(Ω2+C(Ω2×2,0),0) is a standard term and C(Ω2+C(Ω2×2+C(Ω2×3,0)... on the article Hyp cos/TON, stable ordinals, and my array notation: > Ω₂×3 is not 0built, Ω₂×2+C(Ω₂×3,0) is not 1built, Ω₂+C(Ω₂×2+C(Ω₂×3,0),0) ... (view)

13:48Hyp cos (talk  contribs) commented on the article User_blog:Rgetar/Two types of ordering: Second type ordering seems to be in "arraystyle", where every nested layer means two levels of ωe... (view)

10:16Antimony Star (talk  contribs) commented on the article User_blog:XiTetrateiX/Discord banning and the truth.: You're banned because you're being bad, not because you're under 13 at the time of the banning (it's... (view)

10:15Antimony Star (talk  contribs) commented on the article User_blog:XiTetrateiX/Discord banning and the truth.: You're banned because you're being bad, not because you're under 13 at the time of the banning (it's... (view)
13 March 2021

18:28C7X (talk  contribs) replied to the comment Assuming g(a,b,c) is increasing in c, this doesn't terminate (for example, g(3,3,3)=g(3,3,g(3,3,g(3,... on the article BlankEntity/Blank's Graham Generator Function (BGGF): OK. Here are my comparisons: g(a) ~ f_(ω+1)(a) g(a,a) ~ f_(ω+2)(a) g(a,a,a) ~ f_(ω+3)(a) g(a,a,a,... (view)

05:52BlankEntity (talk  contribs) edited a reply to the comment Assuming g(a,b,c) is increasing in c, this doesn't terminate (for example, g(3,3,3)=g(3,3,g(3,3,g(3,... on the article BlankEntity/Blank's Graham Generator Function (BGGF): Alright, how about now? (view)

05:52BlankEntity (talk  contribs) edited a reply to the comment Assuming g(a,b,c) is increasing in c, this doesn't terminate (for example, g(3,3,3)=g(3,3,g(3,3,g(3,... on the article BlankEntity/Blank's Graham Generator Function (BGGF): (view)

05:13P進大好きbot (talk  contribs) replied to the comment I don't seem to understand many things about this. First the definition of inaccessible. From my und... on the article P進大好きbot/Transfinitary Extended Buchholz's function: Right, a function is precisely a map by definition. They are completely the same notions, although a... (view)

04:24BlankEntity (talk  contribs) replied to the comment Assuming g(a,b,c) is increasing in c, this doesn't terminate (for example, g(3,3,3)=g(3,3,g(3,3,g(3,... on the article BlankEntity/Blank's Graham Generator Function (BGGF): Alright, how about now? (view)
12 March 2021

23:17RomaronzoTHEThingy (talk  contribs) replied to the comment Assuming g(a,b,c) is increasing in c, this doesn't terminate (for example, g(3,3,3)=g(3,3,g(3,3,g(3,... on the article BlankEntity/Blank's Graham Generator Function (BGGF): Mmhmm (view)

18:56C7X (talk  contribs) commented on the article User_blog:Rgetar/Taranovsky's C  BB correspondence: L=[R], R=[S], etc. seems to act like "dropping", which occurs in many notations (AFAIK even PSS, in ... (view)

18:47C7X (talk  contribs) commented on the article User_blog:Rgetar/Ordinal Explorer Online: Is there a term that behaves like d=C(Ω_2*2,0) in Taranovsky's C, i.e. being very large with versat... (view)

18:31C7X (talk  contribs) replied to the comment I don't seem to understand many things about this. First the definition of inaccessible. From my und... on the article P進大好きbot/Transfinitary Extended Buchholz's function: If I understand correctly a set Γ is a map iff it is (the graph of) a function (i.e. the terminolog... (view)

08:25P進大好きbot (talk  contribs) replied to the comment I don't seem to understand many things about this. First the definition of inaccessible. From my und... on the article P進大好きbot/Transfinitary Extended Buchholz's function: > inaccessible Oops, you are right, I dropped "a limit of" in the second condition. Thank you. I fix... (view)

07:09Antimony Star (talk  contribs) commented on the article User_blog:P進大好きbot/Transfinitary Extended Buchholz's function: I don't seem to understand many things about this. First the definition of inaccessible. From my und... (view)

05:54C7X (talk  contribs) commented on the article User_blog:BlankEntity/Blank's Graham Generator Function (BGGF): Assuming g(a,b,c) is increasing in c, this doesn't terminate (for example, g(3,3,3)=g(3,3,g(3,3,g(3,... (view)

05:09P進大好きbot (talk  contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: My prediction that you will report a comment has come true. (view)

01:30RomaronzoTHEThingy (talk  contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: Oops i reported my own comment what happens now @XiTetrateiX aaaahhhh (view)

01:28RomaronzoTHEThingy (talk  contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: I only found "copy link" and "report" https://googology.wikia.org/wiki/User_blog:RomaronzoTHEThingy/... (view)
11 March 2021

21:32XiTetrateiX (talk  contribs) edited a reply to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: Look to the right of the comment, click the 3 dots, and then you can edit it. (That's the dummy vers... (view)

21:32XiTetrateiX (talk  contribs) edited a reply to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: (view)

21:31XiTetrateiX (talk  contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: (That's the dummy version) (view)

21:31XiTetrateiX (talk  contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: Look to the right of the comment, click the 3 dots, and then you can edit it. (view)

15:47XiTetrateiX (talk  contribs) replied to the comment I'm sorry, but you saying that you were under the age of 13 until five days ago means that you actua... on the article XiTetrateiX/Discord banning and the truth.: That is why I put it on a blog post, and sure. (view)

09:48P進大好きbot (talk  contribs) commented on the article User_blog:Rgetar/Set of ordered pairs of elements of wellordered set: > That is T is totally ordered set. No, it is a circular logic. What you did is to partially define ... (view)

01:53Mh314159 (talk  contribs) replied to the comment Nice notation, and the analysis is close, but incorrect. 1‹1›0x ≈ fxx(x) = fx+1(x) ≈ f... on the article Mh314159/How far does this go up the FGH? Thanks: I've been away for a long time after this forum became a little strange, but things seem a little be... (view)

01:45P進大好きbot (talk  contribs) replied to the comment I'm sorry, but you saying that you were under the age of 13 until five days ago means that you actua... on the article XiTetrateiX/Discord banning and the truth.: In addition, the OP posted the sentences above in the talk page of the main space. This is the secon... (view)

01:01GamesFan2000 (talk  contribs) commented on the article User_blog:XiTetrateiX/Discord banning and the truth.: I'm sorry, but you saying that you were under the age of 13 until five days ago means that you actua... (view)
10 March 2021

22:40RomaronzoTHEThingy (talk  contribs) replied to the comment Hi on the article Alemagno12/it's me: Ih (view)

17:48XiTetrateiX (talk  contribs) commented on the article User_blog:Abraha lincoln/Big chungus number: Byg Tcungis (view)

17:26XiTetrateiX (talk  contribs) replied to the comment I asked Rein about this, I don't think there's a response yet but I need to see on the article XiTetrateiX/Discord banning and the truth.: Okay (view)

17:07C7X (talk  contribs) commented on the article User_blog:XiTetrateiX/Discord banning and the truth.: I asked Rein about this, I don't think there's a response yet but I need to see (view)

16:09XiTetrateiX (talk  contribs) replied to the comment Hi on the article Alemagno12/it's me: Hi (view)

06:52CatIsFluffy (talk  contribs) commented on the article User_blog:Emlightened/Ordinals in Type Theory: Possibly relevant: https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a (view)

04:33C7X (talk  contribs) edited a comment on the article User_blog:Abraha lincoln/Big chungus number: "That oughta hold 'im alwight" (view)

04:32C7X (talk  contribs) commented on the article User_blog:Abraha lincoln/Big chungus number: There was a Big Chungus googolism on GFE, that was ASCII art of the subject converted to a BEAF arra... (view)

04:23C7X (talk  contribs) replied to the comment If I understand correctly B[[64]]_4(3) is Graham's number? on the article BlankEntity/HyperB Notation: OK (view)

01:44Xeed69 (talk  contribs) replied to the comment Probably could create a bigger number than you on the article Abraha lincoln/Big chungus number: Actually nvrmind i could definitely create a bigger number than that (view)

01:43Xeed69 (talk  contribs) commented on the article User_blog:Abraha lincoln/Big chungus number: Probably could create a bigger number than you (view)

00:32RomaronzoTHEThingy (talk  contribs) replied to the comment Chingus hug on the article Abraha lincoln/Big chungus number: Ignuc (view)

00:27Ccdo (talk  contribs) replied to the comment Chingus hug on the article Abraha lincoln/Big chungus number: Cungi (view)
9 March 2021

23:47RomaronzoTHEThingy (talk  contribs) replied to the comment Omg abe on the article Abraha lincoln/Big chungus number: Ikr (view)

23:47RomaronzoTHEThingy (talk  contribs) replied to the comment BIGGEST CHUNGUS image on the article Abraha lincoln/Big chungus number: Fat chungi (view)

23:47RomaronzoTHEThingy (talk  contribs) replied to the comment Chingus hug on the article Abraha lincoln/Big chungus number: FREE HUGS FROM CHUNGUS‼‼‼ (view)

23:33Sharkic (talk  contribs) commented on the article User_blog:Abraha lincoln/Big chungus number: Chingus hug (view)

22:51RomaronzoTHEThingy (talk  contribs) commented on the article User_blog:Abraha lincoln/Big chungus number: Bug chingus (view)

19:43BlankEntity (talk  contribs) edited a reply to the comment If I understand correctly B[[64]]_4(3) is Graham's number? on the article BlankEntity/HyperB Notation: Because I can't edit the previous comment, I'm forced to make another reply to fix my mistake here. ... (view)

19:42BlankEntity (talk  contribs) replied to the comment If I understand correctly B[[64]]_4(3) is Graham's number? on the article BlankEntity/HyperB Notation: Because I can't edit the previous comment, I'm forced to make another reply to fix my mistake here. ... (view)

19:36BlankEntity (talk  contribs) edited a comment on the article User_blog:Unknown95387/Heeeeelp: You can delete the blog post by making it redirect to another one of your blog posts, I've done it m... (view)

19:36BlankEntity (talk  contribs) commented on the article User_blog:Unknown95387/Heeeeelp: You can delete the blog post by making it redirect to another blog post, I've done it multiple times... (view)

15:15Fgaroshkas (talk  contribs) commented on the article User_blog:Abraha lincoln/Big chungus number: BIGGEST CHUNGUS image (view)

13:56Abraha lincoln (talk  contribs) commented on the article User_blog:Abraha lincoln/Big chungus number: big big chungus big chungus big chungus (view)

13:55Ccdo (talk  contribs) commented on the article User_blog:Abraha lincoln/Big chungus number: Omg abe (view)

01:01RomaronzoTHEThingy (talk  contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: Stop trolling (view)

00:29P進大好きbot (talk  contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: RomaronzoTHEThingthy: "2nd option in the dropdown with three dots on a comment...? Oh, I found three... (view)

00:00C7X (talk  contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: 2nd option in the dropdown with three dots on a comment (view)
8 March 2021

22:23