ConwayLife.com

BUMP

Is my analysis of ah correct?
If not, how powerful is @@@ actually?

testitemqlstudop wrote: ↑

Yesterday, 11:19 pm

How is e_e0 defined? "e0-th fixed point of a |-> w^a" doesn't make sense as the "fixed point" stuff only work for integers

sup{e_w,e_w^w,e_w^w^w, etc.}

Just want to see if anyone thinks that there's a copy of the thread in question here

In order to make the Formal logic make sense it's best to prefix stuff with the following or similar ∀x(x=x) ∀x∀y(x=y⇒y=x) ∀x∀y∀z(x=y&y=z⇒x=z) ∀x∃y(y>x) It makes stuff like this: Recently the mathematician Jheyeorggkht Anter determined that the transfinite ordinal w satisfies the condition ∃x(w>x) ,...

Recently a mathematician (the late etal eht) determined that ∃y∀x∈N(y>x⇒x∉y). He then worked out an equation for the sum of a set of primes: (y)y∈{(y)}. So for some positive number (∞, ∞), x⇒x∉y, and y≠x, there is a function y∈{x, y}∈N(x⇒y). This is called the sum of powers. Theorem: (y)∈{x, y}. Th...

And now, a block of text where I repeatedly choose the first suggestion from the Mac autocomplete: of the day and the end of the day I guess you can do it and then I’ll be sure to ask you if you have any questions or not how you can get the money to the end of the year and the end of the year and t...

I made a testing discord server for fun

I'm gonna try to figure out how much more powerful ah_n{a[[1]]a} is than f_a(n) ah_n {a@n} > f_an(n) which is around f_aw(n) ah_n {a@a@n} > (assuming reasonable ah rule extensions) ah_n {a@an} > f_((a^2)*n)(n) ah_n {a//w} = ah_n {a//n} probably > f_a^w(n) (probably even without the reasonable extens...

Gustone wrote: ↑

Yesterday, 8:56 am

are bee bites venomous

Ask Dani

Rule of thumb: with large limit ordinals, taking [1] is acceptable, and [2] is not. For instance: Rule: keep taking [1] gamma_0 phi_w(0) e_0 1 Rule: keep taking [2] gamma_0 phi_phi_w(0)(0) phi_z_0(0)(0) phi_e_e_0(0) I will show you the expansion of e_e_0: e_w e_2 w^w^(e_1 +1) w^(e_1*2) (I think this...

That wasn't the question-- the question is whether that's the limit of Madore's psi Then BHO is the supremum of Madore's psi, and what the heck is ψ(Ω_ω) But it says that ψ1(0) = ε_Ω+1 (which is uncountable), not ψ(ε_Ω+1). Is that a mistake? No Then I don't understand. The BHO = ψ(ψ_1(0))

Bump Are there any ways to make the junk here or something similar? x = 21, y = 20, rule = B2i34c6cen7c8/S2-i3-q4c5a6e8 13bo$13b3o2$17bo$11bo4b5o$10bob2o2bo3bo$12b2o3bobo$13bo4bo$12bo$11b2o 2$19bo$18b3o2$18bobo$18b3o2$3o$2bo$bo! Or maybe this junk? x = 16, y = 16, rule = B2i34c6cen7c8/S2-i3-q4c5a6e8...

Question:
How do you make codeblocks on the discord server?

I searched one more source http://quibb.blogspot.com/2012/03/infinity-extended-collapsing-functions.html and it also says the BHO is ψ(Ω^Ω^Ω^Ω^...) = ψ(ε_Ω+1). That wasn't the question-- the question is whether that's the limit of Madore's psi But it says that ψ1(0) = ε_Ω+1 (which is uncountable), ...

How to make arbitrary constants:
1) think of a series that converges, e.g. ∑(x=2 to oo) (Tan((pi(x^sin(pix/(2x-2))-1)/(2x)))/(x^3))
2) input into wolfram alpha

Slight update to @@@ I'll put the whole definition of ah up to @@@ in this code: Part one: define $_n as any entries (including no entries) in an array. It’s my symbol for we-don’t-care entries. In any one use of any one rule, if n is the same, $_n is the same a#b = concatenation of a and b n@m = n,...

What would happen if you defined TREEEE(n) similarly to TREE(n) but you allowed Aidan-mode-esque nesting of parentheses? Note: homeomorphic embeddability-wise, it would be two nodes each connected to each other, neither as a parent or a child-- {([)]} would be a triangle where each node was connecte...

There are aleph-naught types of people in this world Those who stopped after reading this [line] Those who stopped after reading this Those who stopped after reading this Those who stopped after reading this Those who stopped after reading this Those who stopped after reading this Those who stopped ...

Oh, whoops. The Bachmann-Howard ordinal is not in madore's psi but in weirmann's theta. Sorry. Yeah, psi(w_w) > psi(e_(W+1)) The Wikipedia artivle about OCF's says that the Bachmann-Howard ordinal is the supremum of psi(W), psi(W^W), psi(W^W^W), psi(W^W^W^W)... and we can't go any further with the ...

There are 100 types of people in this world Those who think that's a lot Those who think that's too few Those who think this is in binary Those who know this isn't in base-10 Those who just realized this wasn't in binary Those who think that this isn't in base g64 Those who have fit into more than o...

GUYTU6J wrote: ↑

August 16th, 2019, 1:53 am

Saka wrote:Can we please get on topic?

The best way to get back to your topic on comics is to draw another comic yourself.
Anyway,
naming.png
naming2.png

I swear that everytime I write bipole autocorrect says dipole

The title is misleading; I did it a few times before but they are too pathetic to mention. :shock: This one isn't. define :shock: (n, m, l, d) as follows: :shock: (n, m, l, 1) = m^^^^...^^^m with n up-arrows. :shock: (n, m, l, d) = :shock: (n, m, :shock: (n, m, l - 1, d), d - 1) :shock: (n, m, 0, d...

Are there any online SKIO calculus websites? I've already seen a SKI calculus one.

Cartainly known gun in wlife: x = 26, y = 39, rule = B34w/S23 19bo$17b3o$16bo$16b2o$5b2o15b2o$6bo15bo$6bobo11bobo$7b2o11b2o3$24b2o$ 24bo$22bobo$22b2o$14bo$13b2o$14bo$2o3b2o$obobobo$2bobo$b2obobo$5b2o$ 14bo$13b2o$14bo7$7b2o11b2o$6bobo11bobo$6bo15bo$5b2o15b2o$16b2o$16bo$ 17b3o$19bo! It looks like abhp...

fluffykitty wrote: ↑

November 14th, 2019, 6:28 pm

Still not sure why you haven't joined the Googology Discord yet btw

Hold it wait, I just joined. To confirm, I am Moooosey#7155.