Social Activity

15 May 2021

• 04:01
  CaptainChurchill (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:59
  CaptainChurchill (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:58
  CaptainChurchill (talk | contribs) commented on the article User_blog:Ubersketch/Horrible abomination: This guy's googology skills are worse than mines... (view)
• 03:58
  CaptainChurchill (talk | contribs) commented on the article User_blog:Ubersketch/Googology SCP: Check out SCP-835 (view)
• 03:43
  C7X (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:39
  C7X (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:21
  P進大好き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:41
  C7X (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:40
  C7X (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:37
  C7X (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:34
  C7X (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:27
  VoidSansXD (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:56
  Aab5c (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:34
  P進大好き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:21
  BlankEntity (talk | contribs) replied to the comment I think there is no slowest-growing 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 ill-defined becau... (view)
• 03:09
  C7X (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:08
  P進大好き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 well-ordered set. The set Γ_(M+1)... (view)
• 01:59
  C7X (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:52
  P進大好き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:20
  Thefamousarthur (talk | contribs) commented on the article User_blog:Muhammad Bukhari Noor/An extension of UNOCF up to second-order arithmetic: Please, please, PLEASE add the double letter part! (view)
• 00:22
  Thefamousarthur (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 second-order 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:07
  Thefamousarthur (talk | contribs) replied to the comment (source: gwiki discord) on the article Muhammad Bukhari Noor/An extension of UNOCF up to second-order arithmetic: LOLOLOL (view)

13 May 2021

• 23:00
  C7X (talk | contribs) commented on the article User_blog:BlankEntity/Blank's Notation Function: I think there is no slowest-growing function by contradiction, assume there is one called f, then g(... (view)
• 16:33
  VoidSansXD (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:30
  VoidSansXD (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:43
  Hexirp (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 p-shin daisuki bot explained. (view)
• 03:26
  Plain'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:53
  P進大好き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:51
  P進大好き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:00
  Mumuji (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:52
  VoidSansXD (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:11
  C7X (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:11
  C7X (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:56
  Mumuji (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:53
  Mumuji (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:52
  Mumuji (talk | contribs) commented on the article User_blog:A Hippopotatomus/Breaking-ish news: This is good and all, but what is the scheduled program? (view)
• 00:44
  P進大好き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 non-existing category. What we ... (view)
• 00:08
  Mumuji (talk | contribs) commented on the article User_blog:Kaplikua/Combination Function: Also what do the square brackets mean? They just appear. (view)
• 00:07
  Mumuji (talk | contribs) commented on the article User_blog:Kaplikua/Combination Function: Why does that category exist?? (view)

10 May 2021

• 08:37
  P進大好きbot (talk | contribs) replied to the comment It is ill-defined 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 non-negative integers, but I might be wrong.) The reason why ... (view)
• 08:18
  Mumuji (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:17
  Mumuji (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:00
  Mumuji (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:41
  P進大好き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:20
  C7X (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:19
  C7X (talk | contribs) commented on the article User_blog:Kaplikua/Combination Function: Should the category be removed from here first? (view)
• 00:45
  C7X (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:41
  C7X (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:40
  C7X (talk | contribs) commented on the article User_blog:KthulhuHimself/Library Function: > Going according to this logic, Lib(n) used inside Lib(n) is ill-defined, and hence cannot be used,... (view)

9 May 2021

• 23:50
  A Hippopotatomus (talk | contribs) replied to the comment It is ill-defined 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:58
  P進大好きbot (talk | contribs) replied to the comment It is ill-defined 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:20
  A 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:58
  C7X (talk | contribs) edited a reply to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:53
  C7X (talk | contribs) edited a reply to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:53
  C7X (talk | contribs) edited a reply to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:53
  C7X (talk | contribs) edited a reply to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:51
  C7X (talk | contribs) edited a reply to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:49
  C7X (talk | contribs) edited a reply to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:49
  C7X (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:28
  C7X (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:23
  A 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:13
  A 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:44
  A Hippopotatomus (talk | contribs) replied to the comment It is ill-defined 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:42
  A 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:56
  Root2222 (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:55
  Root2222 (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:53
  Root2222 (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_n-1(n) can be f_w(n), but f_w(n) can't be f_n-1(n)? (view)
• 13:52
  Root2222 (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_n-1(n) can be f_w(n), but f_n-1(n) can't be f_w(n)? (view)
• 01:53
  Mumuji (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:00
  Aab5c (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:50
  Aab5c (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:08
  GamesFan2000 (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:35
  Mumuji (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^{(n-1)}}n\) Where \(\{E^n\}\) is the am... (view)
• 01:39
  A 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:47
  Aab5c (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:58
  P進大好き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 order-preserv... (view)
• 21:35
  Koteitan (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:05
  ARsygo (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:48
  Mumuji (talk | contribs) commented on the article User_blog:Mumuji/Duckie number: 15 hours and 12 minutes to go!! (view)
• 04:23
  Msiajoe74 (talk | contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:23
  Msiajoe74 (talk | contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:09
  Msiajoe74 (talk | contribs) replied to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:31
  C7X (talk | contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:28
  C7X (talk | contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:27
  C7X (talk | contribs) replied to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:25
  Msiajoe74 (talk | contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:23
  Msiajoe74 (talk | contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:21
  Msiajoe74 (talk | contribs) replied to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:14
  C7X (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 ω-ply-stb.} Least nonprojectible mi... (view)
• 01:14
  C7X (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 ω-ply-stb.} Least nonprojectible mi... (view)
• 01:12
  C7X (talk | contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:08
  C7X (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:05
  C7X (talk | contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:05
  C7X (talk | contribs) edited a reply to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:04
  C7X (talk | contribs) replied to the comment Here are some countable ordinals orderd by size: min{α : α is ω-ply-stb.} 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:42
  P進大好きbot (talk | contribs) commented on the article User_blog:A Hippopotatomus/Ultimate mixed chained arrow notation: It is ill-defined because you lack the definition of the domain and the precise condition for the ca... (view)
• 00:15
  Root2222 (talk | contribs) commented on the article User_blog:A Hippopotatomus/Ultimate mixed chained arrow notation: What is the difference between ~ and ~~? (view)
• 00:05
  Mumuji (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:04
  Mumuji (talk | contribs) replied to the comment Wait. What if m > 0?? on the article Mumuji/Array notation: Which m (view)
• 00:04
  C7X (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 ω-ply-stb.} Least nonprojectible mi... (view)
• 00:03
  Mumuji (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:03
  Mumuji (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:04
  C7X (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 ω-ply-stb.} Least nonprojectible mi... (view)
• 19:42
  C7X (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 ω-ply-stb.} Least nonprojectible mi... (view)
• 19:42
  C7X (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 ω-ply-stb.} Least nonprojectible mi... (view)
• 17:26
  C7X (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 ω2-ply-stb.} m... (view)
• 16:33
  C7X (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 ω2-ply-stb.} (... (view)
• 16:31
  C7X (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 ω2-ply-stb.} (... (view)
• 16:30
  C7X (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 ω2-ply-stb.} (... (view)
• 16:29
  C7X (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 ω2-ply-stb.} (... (view)
• 16:25
  C7X (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 ω2-ply-stb.} (... (view)
• 16:22
  C7X (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 ω2-ply-stb.} (... (view)
• 16:22
  C7X (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 ω2-ply-stb.} (... (view)
• 16:14
  C7X (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 ω2-ply-stb.} L... (view)
• 06:47
  Root2222 (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 non-negative integer, \(\uparrow^n\) denotes n arrows.) 1.\... (view)
• 06:04
  GamesFan2000 (talk | contribs) edited a comment on the article User_blog:Alexander Nolta/Exploder Notation (Probably bad, my first notation): The notation is ill-defined because you didn't formally declare any rules for the notation. There ar... (view)
• 06:02
  GamesFan2000 (talk | contribs) commented on the article User_blog:Alexander Nolta/Exploder Notation (Probably bad, my first notation): The notation is ill-defined because you didn't formally declare any rules for the notation. There ar... (view)
• 05:35
  P進大好き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:59
  Hypertetrakulus44 (talk | contribs) commented on the article User_blog:Mumuji/Array notation: Wait. What if m > 0?? (view)
• 02:56
  Hypertetrakulus44 (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:45
  Mumuji (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:06
  Hypertetrakulus44 (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:39
  ARsygo (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:56
  C7X (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:48
  Mumuji (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:12
  C7X (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 easy-to-input sequenc... (view)
• 10:13
  Hypertetrakulus44 (talk | contribs) commented on the article User_blog:Triakula: Let fw_1^{CK} be equal to Hw_1^{CK}. (view)
• 05:40
  Hypertetrakulus44 (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:37
  Hypertetrakulus44 (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 n-ary systems of a googol, one day soon i will make analogs of gogoolplex (view)

3 May 2021

• 17:02
  C7X (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}n-gon corresponds to f_(φ(m,0))(n)" for 0<m∈ω. However, I think ... (view)
• 17:01
  C7X (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}n-gon corresponds to f_(φ(m,0))(n)" for 0<m∈ω. However, I think ... (view)
• 16:36
  XiTetrateiX (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: "Zeta-zero is pentation, eta-0 is hexation, phi(4,0) is heptation, etc." What is this? (view)
• 15:44
  P進大好き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:13
  Root2222 (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:17
  Mumuji (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:16
  Mumuji (talk | contribs) replied to the comment Pretty sure this is well-defined, 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:13
  Mumuji (talk | contribs) replied to the comment So, what is the f₁(n) defined? (for the function above) on the article Mumuji/Decidec: Ah yes, chained arrow notation. (view)
• 12:02
  Mumuji (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:59
  Mumuji (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:59
  Mumuji (talk | contribs) commented on the article User_blog:Mumuji/Array notation: Can someone help me evaluate this notation?.?? (view)
• 11:50
  Mumuji (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:47
  Mumuji (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:46
  Mumuji (talk | contribs) commented on the article User_blog:Mumuji/Array notation: Is it clear enough? (view)
• 05:51
  P進大好き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:00
  Hypertetrakulus44 (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 n-gon and is equal to fw(n) in FGH. (view)
• 03:14
  Root2222 (talk | contribs) commented on the article User_blog:Mumuji/Array notation: Great job! (view)
• 01:14
  C7X (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 Π_2-ordinal of T in your context? You were correct, I first heard w... (view)

2 May 2021

• 23:47
  Mumuji (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:05
  P進大好き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 Π_2-ordinal of a theory T? What is the definition of the Π... (view)
• 18:52
  C7X (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:51
  C7X (talk | contribs) commented on the article User_blog:Mumuji/Array notation: There needs to be a space between mathbb and N (view)
• 07:30
  P進大好きbot (talk | contribs) replied to the comment Pretty sure this is well-defined, 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:27
  P進大好きbot (talk | contribs) replied to the comment So, what is the f₁(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:07
  Mumuji (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:06
  Mumuji (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:05
  Mumuji (talk | contribs) replied to the comment So, what is the f₁(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:02
  Tetramur (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:31
  Tetramur (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:46
  C7X (talk | contribs) replied to the comment But way smaller than googolplex on the article Hypertetrakulus44/Super Huge Number: Good luck (view)
• 15:08
  P進大好きbot (talk | contribs) replied to the comment So, what is the f₁(n) defined? (for the function above) on the article Mumuji/Decidec: What is the definition of n→_{10} n then? (view)
• 13:31
  Mumuji (talk | contribs) replied to the comment So, what is the f₁(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:52
  P進大好き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:07
  P進大好きbot (talk | contribs) replied to the comment So, what is the f₁(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:50
  ARsygo (talk | contribs) replied to the comment So, what is the f₁(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:43
  Mumuji (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:20
  Hypertetrakulus44 (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:17
  Hypertetrakulus44 (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:17
  Hypertetrakulus44 (talk | contribs) replied to the comment Actually, I think there is something like {{digits|1600000}} 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:16
  Hypertetrakulus44 (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:32
  Mumuji (talk | contribs) replied to the comment Pretty sure this is well-defined, I assume →₁₀ is the Hurford extension to Chained Arrows? (I ... on the article Mumuji/Decidec: Yes, it is. (view)
• 04:32
  Mumuji (talk | contribs) replied to the comment So, what is the f₁(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:20
  Mumuji (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:20
  Mumuji (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:45
  ARsygo (talk | contribs) commented on the article User_blog:Mumuji/Decidec: So, what is the f₁(n) defined? (for the function above) (view)
• 01:39
  A Hippopotatomus (talk | contribs) replied to the comment New function is g(n), and sg(n) too. on the article Billybob-mario/I like making big numbers: Oldest reply to oldest comment to oldest blog post! (view)
• 00:30
  C7X (talk | contribs) replied to the comment There is also {{collapsible|something}} for a collapsible part. I think {{scrollable|something}} 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:39
  Root2222 (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:38
  Root2222 (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:18
  P進大好きbot (talk | contribs) replied to the comment There is also {{collapsible|something}} for a collapsible part. I think {{scrollable|something}} 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:14
  P進大好き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:12
  P進大好き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:59
  P進大好きbot (talk | contribs) commented on the article User_blog:Mumuji/MathJax reference table: Cool study! (view)
• 22:38
  C7X (talk | contribs) edited a comment on the article User_blog:Mumuji/Decidec: Pretty sure this is well-defined, I assume →₁₀ is the Hurford extension to Chained Arrows? (I ... (view)
• 22:38
  C7X (talk | contribs) edited a comment on the article User_blog:Mumuji/Decidec: Pretty sure this is well-defined, I assume →₁₀ is the Hurford extension to Chained Arrows? (I ... (view)
• 22:37
  C7X (talk | contribs) edited a comment on the article User_blog:Mumuji/Decidec: Pretty sure this is well-defined, I assume →₁₀ is the Hurford extension to Chained Arrows? (view)
• 22:37
  C7X (talk | contribs) commented on the article User_blog:Mumuji/Decidec: Pretty sure this is well-defined, I assume ->10 is the Hurford extension to Chained Arrows? (view)
• 22:23
  C7X (talk | contribs) commented on the article User_blog:P進大好きbot/How to Write LaTeX in This Wiki: There is also {{collapsible|something}} for a collapsible part. I think {{scrollable|something}} mig... (view)
• 22:22
  C7X (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:20
  C7X (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:13
  C7X (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 ill-defined concepts are used in formal study, but they definitely have a use. F... (view)
• 21:57
  C7X (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:57
  C7X (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:37
  P進大好き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:12
  Plain'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:52
  Plain'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:56
  Mumuji (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:55
  Mumuji (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:51
  Mumuji (talk | contribs) commented on the article User_blog:Hypertetrakulus44/Super Huge Number: Actually, I think there is something like {{digits|1600000}} to have it type it out. Also The best w... (view)
• 08:04
  Hypertetrakulus44 (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 ill-defined BEAF is ill-defined Because its powerful (view)
• 06:42
  Root2222 (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:34
  Root2222 (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:33
  Root2222 (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:08
  P進大好き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 1-2 uses incomp... (view)
• 06:07
  P進大好き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 1-2 uses incompl... (view)
• 06:01
  P進大好き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 1-2 uses incomplete partial specialisation... Please chec... (view)
• 05:43
  Root2222 (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:36
  Root2222 (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:07
  Mumuji (talk | contribs) commented on the article User_blog:Elidad Chen/Elidad Chen's Array Notation: Cool (view)

29 April 2021

• 16:30
  C7X (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 rank-into-rank cardinal: Interestingly, as VSauce said, the police in a certain Polish city would be called the "Police polic... (view)
• 15:25
  P進大好き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:30
  Mumuji (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:29
  Mumuji (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:29
  Mumuji (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:35
  P進大好き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 ill-definedness. We do not have responsibility t... (view)
• 06:03
  Hypertetrakulus44 (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 ill-definedness Well get back to that Verrryyyyy soon Thanks for commenting (view)
• 06:00
  Hypertetrakulus44 (talk | contribs) commented on the article User_blog:Mumuji: Wow I love the adorable googologist mumuji Read my blog post (view)
• 04:55
  C7X (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 rank-into-rank cardinal: Interestingly, as VSauce said, the police in a certain Polish city would be called the "Police polic... (view)
• 04:51
  C7X (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 rank-into-rank cardinal: Interestingly, as VSauce said, the police in a certain Polish city would be called the "Police polic... (view)
• 03:19
  P進大好き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 rank-into-rank cardinal: The police are weaker than their diagonalsation. (view)
• 02:55
  C7X (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 rank-into-rank cardinal: The symbol ; is actually a substitution for [DATA EXPUNGED], the original symbol used to denote the ... (view)
• 02:55
  C7X (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 rank-into-rank cardinal: I have said too much. The police are now at my door. (view)
• 02:55
  C7X (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 rank-into-rank cardinal: The symbol ; is actually a substitution for [DATA EXPUNGED], the original symbol used to denote the ... (view)
• 02:37
  Nayuta Ito (talk | contribs) commented on the article User_blog:C7X/OCF using a to rank-into-rank cardinal: Fact: There has never been "ε_{;+1}" in UNOCF, not even merely an idea. (view)
• 01:57
  P進大好き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:54
  P進大好き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:29
  C7X (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 ill-defined. About "My Hierarchy", does n#^^#n mean En#^^#n? (view)
• 17:46
  Ytosk (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:06
  XiTetrateiX (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:06
  C7X (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:06
  C7X (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:05
  C7X (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:05
  C7X (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:52
  Ytosk (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:34
  C7X (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:34
  C7X (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:34
  C7X (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
  Ytosk (talk | contribs) replied to the comment ... on the article Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: Fixed, thank you. (view)
• 12:44
  P進大好きbot (talk | contribs) commented on the article User_blog:Ytosk/Greatly Mahlo limits of Greatly Mahlos make no sense: ... (view)
• 09:45
  P進大好きbot (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:33
  GamesFan2000 (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:23
  Mumuji (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:33
  P進大好きbot (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:21
  Hypertetrakulus44 (talk | contribs) replied to the comment Everybody should probably realize that this is april fools right? on the article C7X/OCF using a to rank-into-rank cardinal: Hi p-adic. can i help you with the digit expansion of googolbong? (view)
• 06:38
  GamesFan2000 (talk | contribs) edited a reply to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:35
  GamesFan2000 (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:23
  P進大好き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 rank-into-rank cardinal. It is a top sec... (view)
• 04:18
  P進大好きbot (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:05
  C7X (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 "SGH-FGH property" of &... (view)
• 03:05
  C7X (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:03
  C7X (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:01
  GamesFan2000 (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order class ... on the article P進大好きbot/First Order Theory beyond Higher Order Set Theory: So, using higher-order universe theories with proper formulations would just be a naïve extension t... (view)
• 01:24
  P進大好き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:15
  C7X (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:13
  P進大好き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:13
  C7X (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:52
  P進大好きbot (talk | contribs) edited a reply to the comment 1. None of the three has been provento be well-defined, 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:52
  P進大好きbot (talk | contribs) edited a reply to the comment 1. None of the three has been provento be well-defined, 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:51
  P進大好きbot (talk | contribs) replied to the comment 1. None of the three has been provento be well-defined, 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:31
  Root2222 (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:29
  Root2222 (talk | contribs) replied to the comment I think lines 1-3 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:27
  Root2222 (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 well-define this function? (view)
• 15:24
  Root2222 (talk | contribs) replied to the comment 1. None of the three has been provento be well-defined, 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:31
  P進大好きbot (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:46
  C7X (talk | contribs) edited a reply to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:46
  C7X (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:20
  P進大好きbot (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:02
  P進大好きbot (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:31
  GamesFan2000 (talk | contribs) edited a reply to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:27
  GamesFan2000 (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:10
  GamesFan2000 (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:50
  Sharkic (talk | contribs) commented on the article User_blog:Hypertetrakulus44/Super Huge Number: Hey I got one bigger: 10^100000000000000 (view)
• 16:17
  C7X (talk | contribs) edited a reply to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... on the article Root2222/Question of googology: > Bashicu himself recently conjectured something like "weakly compact is perhaps stronger than BMS" ... (view)
• 16:15
  C7X (talk | contribs) edited a reply to the comment 1. None of the three has been provento be well-defined, 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:15
  C7X (talk | contribs) replied to the comment 1. None of the three has been provento be well-defined, 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:13
  C7X (talk | contribs) edited a reply to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... on the article Root2222/Question of googology: > second system of TON (zeroth, first, etc.) isn't known to be well-defined up to its limit I would ... (view)
• 16:13
  C7X (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... on the article Root2222/Question of googology: > Bashicu himself recently conjectured something like "weakly compact is perhaps stronger than BMS" ... (view)
• 16:00
  C7X (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... on the article Root2222/Question of googology: > second system of TON (zeroth, first, etc.) isn't known to be well-defined up to its limit TON is w... (view)
• 15:25
  P進大好きbot (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:19
  P進大好きbot (talk | contribs) replied to the comment For this comment, I'll use ST(n) to denote nth-order set theory and CT(n) to denote nth-order 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:58
  GamesFan2000 (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... on the article Root2222/Question of googology: Dear god of ordinals (view)
• 14:28
  GamesFan2000 (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 nth-order set theory and CT(n) to denote nth-order class ... (view)
• 14:26
  GamesFan2000 (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 nth-order set theory and CT(n) to denote nth-order class ... (view)
• 14:08
  P進大好きbot (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:52
  GamesFan2000 (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... on the article Root2222/Question of googology: Did not know that weakly compacts were THAT strong (view)
• 13:47
  P進大好きbot (talk | contribs) replied to the comment As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... 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:55
  GamesFan2000 (talk | contribs) commented on the article User_blog:Root2222/Question of googology: As P-bot so eloquently explained below, Tarintar, Y sequence, and BMS aren't known to be well-define... (view)
• 08:48
  P進大好き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 ill-defined or does not work as intended. The value of tow(3) is unreasonable because... (view)
• 08:30
  P進大好き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 ill-defined or does not work as intended. The value of tow(3) is unreasonable because... (view)
• 08:29
  P進大好き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 ill-defined or does not work as intended. The value of 3 is unreasonable because seve... (view)
• 08:11
  P進大好きbot (talk | contribs) commented on the article User_blog:Root2222/Question of googology: 1. None of the three has been provento be well-defined, and hence nobody knows the answer. (For exam... (view)
• 07:07
  Msiajoe74 (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:15
  C7X (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:01
  P進大好き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:01
  P進大好き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
  Hypertetrakulus44 (talk | contribs) commented on the article User_blog:Username5243: Hi (view)
• 02:20
  C7X (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:44
  P進大好き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:26
  Msiajoe74 (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:26
  Msiajoe74 (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:39
  Mumuji (talk | contribs) commented on the article User_blog:Mumuji/Power towers: Actually, I've just realized that Θ(3) is larger than tritri (view)
• 00:33
  Mumuji (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:58
  Mumuji (talk | contribs) replied to the comment It is ill-defined 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:14
  P進大好き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:57
  Msiajoe74 (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:52
  Tetramur (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:01
  C7X (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:01
  C7X (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:09
  Sharkic (talk | contribs) commented on the article User_blog:Root2222/N function: I think lines 1-3 are only equivalent to exponentials instead of w on the Fast Growing hierarchy. (view)
• 14:05
  Sharkic (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:04
  Sharkic (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:44
  P進大好き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:42
  P進大好きbot (talk | contribs) replied to the comment It is ill-defined 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 ill-formed expression c1@(c1@(c1@(c1))) cannot be solved even if you insert it in an expression.... (view)
• 07:15
  Mumuji (talk | contribs) replied to the comment It is ill-defined 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:07
  Tetramur (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:51
  Tetramur (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:50
  Tetramur (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:55
  P進大好きbot (talk | contribs) replied to the comment I don't know much about higher-order 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:18
  Msiajoe74 (talk | contribs) edited a reply to the comment I don't know much about higher-order 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:12
  Msiajoe74 (talk | contribs) edited a reply to the comment I don't know much about higher-order 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:50
  Msiajoe74 (talk | contribs) replied to the comment I don't know much about higher-order 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:38
  C7X (talk | contribs) edited a comment on the article User_blog:Msiajoe74/Infinite Order Set Theory: I don't know much about higher-order set theories, but I have heard there are two types of semantics... (view)
• 02:38
  C7X (talk | contribs) commented on the article User_blog:Msiajoe74/Infinite Order Set Theory: I don't know much about higher-order set theories, but I have heard there are two types of semantics... (view)
• 01:48
  P進大好きbot (talk | contribs) replied to the comment What OCF is this? on the article Root2222/I have a question: I see. (view)
• 01:48
  P進大好き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:46
  P進大好き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:44
  C7X (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:42
  C7X (talk | contribs) commented on the article User_blog:Root2222/N function: > nNn=nN{0} Is this rule nN{0}=nNn? (view)
• 00:57
  C7X (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:57
  C7X (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:57
  C7X (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:34
  C7X (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:30
  P進大好き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:24
  P進大好き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 well-defined as far as I know. Als... (view)
• 17:03
  C7X (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:17
  Tetramur (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:07
  P進大好きbot (talk | contribs) replied to the comment It is ill-defined 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:25
  Mumuji (talk | contribs) replied to the comment It is ill-defined because: The right hand side of a@@b is ambiguous. It can be solved in many ways d... on the article Mumuji/Chick number: Re-edited with examples (view)
• 09:37
  P進大好き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:22
  Root2222 (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:26
  P進大好き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:18
  P進大好きbot (talk | contribs) commented on the article User_blog:Mumuji/Chick number: It is ill-defined because: The right hand side of a@@b is ambiguous. It can be solved in many ways d... (view)
• 07:48
  Root2222 (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:42
  Msiajoe74 (talk | contribs) commented on the article User_blog:BlankEntity/Blank Ordinal: How strong is it? (view)
• 07:37
  Root2222 (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:27
  P進大好き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:37
  Root2222 (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:11
  A 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:25
  P進大好き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:20
  P進大好き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:15
  P進大好き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:30
  CaptainChurchill (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:29
  CaptainChurchill (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:29
  CaptainChurchill (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:27
  CaptainChurchill (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:25
  Tetramur (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:23
  Tetramur (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:20
  Root2222 (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:16
  Tetramur (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:49
  P進大好き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:43
  Root2222 (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:42
  Root2222 (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
  Tetramur (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. I agree with you. Again, there ... (view)
• 10:59
  Tetramur (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:23
  P進大好き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:05
  Root2222 (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:45
  P進大好き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:15
  Root2222 (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:06
  Root2222 (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:40
  P進大好き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:19
  Root2222 (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:01
  C7X (talk | contribs) commented on the article User_blog:Root2222/I have a question: What OCF is this? (view)
• 01:02
  Root2222 (talk | contribs) commented on the article User_blog:Hypertetrakulus44/Super Huge Number: But way smaller than googolplex (view)
• 00:59
  Msiajoe74 (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:56
  P進大好き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:54
  P進大好き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:49
  P進大好き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:17
  C7X (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:42
  C7X (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:42
  C7X (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:27
  C7X (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:27
  C7X (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:21
  C7X (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:15
  C7X (talk | contribs) commented on the article User_blog:Alemagno12/Some guesses about collapsing cardinals beyond weakly compact cardinals: ... (view)
• 16:56
  Tetramur (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:56
  Tetramur (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:32
  C7X (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:31
  C7X (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:29
  C7X (talk | contribs) replied to the comment > C(Ω₂+a₊^a₊+κ,0) - (ω^κ)th Π_3-reflecting 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:30
  P進大好き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:55
  Tetramur (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:48
  P進大好き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:02
  Tetramur (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:58
  Tetramur (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:12
  P進大好き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:08
  P進大好き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:05
  Tetramur (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:04
  Tetramur (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:54
  Tetramur (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:23
  P進大好き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:12
  P進大好き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:35
  C7X (talk | contribs) commented on the article User_blog:Boboris02/Algorithm for Generating LUCOs From TON Expressions + Intuitive Analysis: > C(Ω₂+a₊^a₊+κ,0) - (ω^κ)th Π_3-reflecting ordinal I doubt this (view)
• 02:05
  C7X (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:01
  C7X (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:00
  C7X (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:12
  P進大好き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:51
  P進大好き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:45
  C7X (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:43
  C7X (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:34
  C7X (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:43
  A 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 (n-eon = En#64) We can go further: n-diallago = En#128 n-shalalcazar = En#... (view)

20 April 2021

• 02:54
  P進大好き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:44
  C7X (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:56
  Hypertetrakulus44 (talk | contribs) commented on the article User_blog:RomaronzoTHEThingy/My theta: Nice pile of poop here Hmmm ordinals (view)
• 02:46
  P進大好き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:15
  Denis 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:20
  A 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:52
  C7X (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:15
  Tetramur (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 nest-free expansions give the whole system of FSs. ... (view)

17 April 2021

• 23:20
  P進大好き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:30
  Tetramur (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:19
  Tetramur (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:39
  P進大好き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:37
  P進大好き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:48
  Tetramur (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:59
  P進大好きbot (talk | contribs) replied to the comment Unfortunately I don't know of any hydra-like 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:53
  P進大好き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:01
  Tetramur (talk | contribs) replied to the comment Unfortunately I don't know of any hydra-like 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 length-base... (view)

16 April 2021

• 23:34
  P進大好きbot (talk | contribs) replied to the comment Unfortunately I don't know of any hydra-like 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:31
  Tetramur (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 ill-defined because... (view)
• 16:30
  Tetramur (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 ill-defined because... (view)
• 16:29
  Tetramur (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 ill-defined because... (view)
• 16:19
  Tetramur (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 ill-defined because... (view)
• 15:21
  Tetramur (talk | contribs) replied to the comment ... on the article Tetramur/High BEAF past legion arrays: > how or if uniqueness plays into this though There can be two different definitions. A notion is we... (view)
• 13:35
  Tetramur (talk | contribs) replied to the comment Unfortunately I don't know of any hydra-like fundamental sequences for it, nor for any other ordinal... on the article Tetramur/Rathjen's Psi over K: Can I see length-based FSs for it? Since I never saw them, I can't say they are trivial in advance. (view)
• 03:22
  C7X (talk | contribs) replied to the comment ... on the article Tetramur/High BEAF past legion arrays: > For ill-defined notion A, it is called well-definable if there exists some definition B which does... (view)
• 03:07
  Tetramur (talk | contribs) replied to the comment ... on the article Tetramur/High BEAF past legion arrays: > you tried to analyze a notation way past well-definedness I think I try to define a notation past ... (view)
• 01:05
  P進大好きbot (talk | contribs) replied to the comment Unfortunately I don't know of any hydra-like 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:07
  A Hippopotatomus (talk | contribs) commented on the article User_blog:Tetramur/High BEAF past legion arrays: ... (view)
• 21:22
  Awesomeadndy (talk | contribs) replied to the comment gothouzillionogol&#160;is defined as&#160;37&#160;kedrillion and guess what... a&#160;kedrillion&... on the article Sbiis Saibian/Introduction to Googology: Ultra mega brain (view)
• 20:12
  C7X (talk | contribs) commented on the article User_blog:Tetramur/Rathjen's Psi over K: Unfortunately I don't know of any hydra-like fundamental sequences for it, nor for any other ordinal... (view)
• 16:30
  C7X (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:21
  Hyp 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:01
  Tetramur (talk | contribs) edited a reply to the comment Really nice names you got there. on the article Tetramur/Some fast-growing functions: Thank youfor the feedback. Moreover, I think we could presumably define Brent(3) if we could add som... (view)

13 April 2021

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

12 April 2021

• 09:44
  CrimsonDarkBlade (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:13
  Hypertetrakulus44 (talk | contribs) replied to the comment DrCeasium, I made Nested Cascading-E Notation on the article DrCeasium/Extended Cascading-E notation: The defenition is incomplete (view)
• 05:12
  Hypertetrakulus44 (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:11
  Hypertetrakulus44 (talk | contribs) replied to the comment Help me make a number! In the up-arrow 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:53
  Plain'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: epsilon-0 and gamma-0 in the FGH, respectively. (view)

10 April 2021

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

9 April 2021

• 16:24
  C7X (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 1-1+1-1+1-1+... (disregarding the ... (view)
• 16:22
  Tetramur (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:18
  Tetramur (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:15
  Tetramur (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:29
  ARsygo (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:59
  Plain'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:53
  CaptainChurchill (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:28
  P進大好き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 rank-into-rank cardinal: Not everybody, as you see one counterexample below. (view)
• 12:17
  12AbBa (talk | contribs) commented on the article User_blog:C7X/OCF using a to rank-into-rank cardinal: Everybody should probably realize that this is april fools right? (view)

4 April 2021

• 22:57
  P進大好き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:52
  Antimony 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:06
  C7X (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 Π_3-reflection will usually be based on reflecting ordinals,... (view)
• 14:40
  C7X (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 rank-into-rank cardinal: Not only that, catching goes beyond collapses of the strongly weak cardinals, which you don't often ... (view)
• 05:05
  P進大好き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:04
  P進大好きbot (talk | contribs) replied to the comment The "uppercase Veblen hierarchy" can be defined in a well-defined way, for exmple Rathjen has alread... on the article ArtismScrub/Hyper-Alpha 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:55
  P進大好き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 rank-into-rank cardinal: Catching function goes beyond TON, and UNOCF goes beyond Catching function, and this goes beyond UNO... (view)
• 04:23
  Msiajoe74 (talk | contribs) commented on the article User_blog:C7X/OCF using a to rank-into-rank cardinal: How is this compared to the limit of Taranovsky's C? Which is stronger? (view)
• 02:10
  C7X (talk | contribs) edited a comment on the article User_blog:ArtismScrub/Hyper-Alpha Notation, Part IV Redone: The "uppercase Veblen hierarchy" can be defined in a well-defined way, for exmple Rathjen has alread... (view)
• 02:05
  C7X (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:04
  C7X (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:51
  C7X (talk | contribs) commented on the article User_blog:ArtismScrub/Hyper-Alpha Notation, Part IV Redone: The "uppercase Veblen hierarchy" can be defined in order to be well-defined, for exmple Rathjen has ... (view)
• 00:25
  P進大好き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:01
  C7X (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:01
  C7X (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:29
  P進大好き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:02
  Tetramur (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:35
  P進大好き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:19
  Tetramur (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/cantors-attic/Elemen... (view)
• 11:18
  Tetramur (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/cantors-attic/Elemen... (view)
• 11:14
  Tetramur (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/cantors-attic/Elemen... (view)
• 11:00
  P進大好き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:47
  Tetramur (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:02
  P進大好き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:01
  P進大好き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:49
  Tetramur (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:42
  P進大好き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:41
  P進大好き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:09
  Tetramur (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:56
  P進大好き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:50
  Tetramur (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:58
  C7X (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:41
  XiTetrateiX (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:40
  XiTetrateiX (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 9-year-old has the ____ thingy at the end of their username. (view)
• 14:40
  XiTetrateiX (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:08
  RomaronzoTHEThingy (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:22
  RomaronzoTHEThingy (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:17
  P進大好き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:55
  RomaronzoTHEThingy (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:11
  C7X (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:07
  C7X (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:38
  RomaronzoTHEThingy (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:36
  RomaronzoTHEThingy (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:35
  RomaronzoTHEThingy (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:35
  RomaronzoTHEThingy (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:19
  XiTetrateiX (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:16
  XiTetrateiX (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:34
  XiTetrateiX (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:30
  XiTetrateiX (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:16
  RomaronzoTHEThingy (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:16
  RomaronzoTHEThingy (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:15
  XiTetrateiX (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:49
  C7X (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:35
  RomaronzoTHEThingy (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:16
  C7X (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:36
  C7X (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:14
  RomaronzoTHEThingy (talk | contribs) replied to the comment You didn't define anything. on the article RomaronzoTHEThingy/REALLY BIG NOTATION: ????????????????????????????????????????????????????????????????????????????????????????????????????... (view)
• 14:08
  Tetramur (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:06
  Tetramur (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:06
  P進大好き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:06
  Tetramur (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:05
  Tetramur (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:04
  Tetramur (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:02
  Tetramur (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:57
  Tetramur (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:13
  P進大好き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:36
  Antimony Star (talk | contribs) commented on the article User_blog:RomaronzoTHEThingy/REALLY BIG NOTATION: You didn't define anything. (view)
• 04:30
  BlankEntity (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:42
  RomaronzoTHEThingy (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:22
  RomaronzoTHEThingy (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:11
  C7X (talk | contribs) commented on the article User_blog:BlankEntity/Blank's Factorial Notation: What is a!b defined as here? (view)
• 21:09
  C7X (talk | contribs) edited a reply to the comment ... on the article RomaronzoTHEThingy/REALLY BIG NOTATION: If the first ψ is Buchholz's ψ, the value is Buchholzψ_0(Φ(1,0)) regardless of what ψ is used i... (view)
• 21:09
  C7X (talk | contribs) edited a reply to the comment ... on the article RomaronzoTHEThingy/REALLY BIG NOTATION: If the first ψ is Buchholz's ψ, the value is Buchholzψ_0(Φ(1,0)) regardless of what ψ is used i... (view)
• 21:09
  C7X (talk | contribs) replied to the comment ... on the article RomaronzoTHEThingy/REALLY BIG NOTATION: If the external ψ is Buchholz's ψ, the value is Buchholzψ_0(Φ(1,0)) regardless of what ψ is use... (view)
• 20:30
  RomaronzoTHEThingy (talk | contribs) replied to the comment ... on the article RomaronzoTHEThingy/REALLY BIG NOTATION: @C7X I was also using PowerFlameX's psi Function (view)
• 20:09
  C7X (talk | contribs) edited a comment on the article User_blog:RomaronzoTHEThingy/REALLY BIG NOTATION: ... (view)
• 20:09
  C7X (talk | contribs) commented on the article User_blog:RomaronzoTHEThingy/REALLY BIG NOTATION: ... (view)
• 19:58
  RomaronzoTHEThingy (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:25
  RomaronzoTHEThingy (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:58
  RomaronzoTHEThingy (talk | contribs) commented on the article User_blog:Alemagno12/spontaneous question: Googol-doo-plex (view)
• 13:19
  P進大好き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:13
  C7X (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:15
  RomaronzoTHEThingy (talk | contribs) replied to the comment I win! on the article A Hippopotatomus/Official definition of Sam's number: Yes @C7X (view)
• 01:58
  C7X (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:45
  C7X (talk | contribs) edited a reply to the comment &gt; 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:37
  C7X (talk | contribs) replied to the comment &gt; 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:07
  C7X (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:51
  XiTetrateiX (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:08
  C7X (talk | contribs) commented on the article User_blog:A Hippopotatomus/Official definition of Sam's number: I win! (view)
• 19:45
  RomaronzoTHEThingy (talk | contribs) commented on the article User_blog:ArtismScrub/"Cascading-Arrow Notation" analysis + extension: FYI, φ(1,0,α) = Γ_α (_ = subscript) (view)
• 18:29
  C7X (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:24
  C7X (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:34
  RomaronzoTHEThingy (talk | contribs) replied to the comment "That oughta hold 'im alwight" on the article Abraha lincoln/Big chungus number: Nice one! @C7X (view)
• 18:04
  Pteriforever (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:45
  C7X (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:42
  C7X (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:40
  C7X (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:18
  P進大好きbot (talk | contribs) replied to the comment From Discord: Limit of 1-M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1-S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: As far as I know, Patcail is repeating such dishonest reasonless conjectures using ill-defined notat... (view)
• 02:21
  C7X (talk | contribs) edited a reply to the comment From Discord: Limit of 1-M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1-S 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:20
  C7X (talk | contribs) edited a reply to the comment From Discord: Limit of 1-M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1-S 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:17
  C7X (talk | contribs) edited a reply to the comment From Discord: Limit of 1-M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1-S 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:17
  C7X (talk | contribs) replied to the comment From Discord: Limit of 1-M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1-S 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:42
  P進大好きbot (talk | contribs) replied to the comment From Discord: Limit of 1-M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1-S 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:25
  C7X (talk | contribs) edited a reply to the comment From Discord: Limit of 1-M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1-S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: An infinite loop was found in 1-S, and maybe in 1-M as well IIRC (view)
• 21:25
  C7X (talk | contribs) replied to the comment From Discord: Limit of 1-M is conjectured (0,0,0)(1,1,1)(2,2,2) in BM4 Limit of 1-S is conjectured (... on the article Patcail/Middle Growing Ordinal Notation: An infinite loop was found in 1-S, and maybe in 10M as well IIRC (view)
• 13:08
  QNagaj (talk | contribs) replied to the comment \(\Sigma(17)&gt;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:14
  P進大好き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:13
  P進大好き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 semantics-theoretic name (e.g. ordinal, function) rather ... (view)
• 01:10
  C7X (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 semantic-theoretic instead of syn... (view)

25 March 2021

• 23:47
  P進大好き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 syntax-theoretic name (e.g. ordinal terms, function symbo... (view)
• 22:06
  Shadow15kRyans (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:06
  XiTetrateiX (talk | contribs) replied to the comment @C7X seems pretty active on the article RomaronzoTHEThingy/Look at blogs: LMAO mine too. (view)
• 20:03
  XiTetrateiX (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:43
  XiTetrateiX (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:40
  XiTetrateiX (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:38
  XiTetrateiX (talk | contribs) commented on the article User_blog:RomaronzoTHEThingy/J.OiN.: No thanks (view)
• 15:50
  C7X (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:29
  RomaronzoTHEThingy (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:34
  C7X (talk | contribs) replied to the comment There might be more things below zoo 2.22 ordinal. In the range of β=(1st 2nd-order-gap with leng... on the article Scorcher007/Large countable ordinal notation up to Z2 and ZFC: > Next, when α is П_2-reflecting on {β<α|(L_α\L_β) n Pω = Ø} Are you sure that such α can e... (view)
• 02:24
  C7X (talk | contribs) replied to the comment > 1st (+1)-2-stable; 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: > σ=П_2-reflecting on (β<σ|Lβ≺1Lσ); σ in which ...-ply stable are stationary Are you sure a... (view)
• 02:21
  C7X (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:19
  C7X (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:27
  RomaronzoTHEThingy (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:21
  C7X (talk | contribs) replied to the comment Do you know the way&#160;from the length-1-gap ordinal to the length-2-gap 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:18
  C7X (talk | contribs) replied to the comment Do you know the way&#160;from the length-1-gap ordinal to the length-2-gap 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 Π_2-reflecting on {α<β:L_α ≺_Σ_... (view)
• 00:16
  RomaronzoTHEThingy (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)