## Search found 2250 matches

Thu Dec 18, 2014 4:17 am UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

I'm not sure it's equivalent to full collapse though. But it is definitely a very fast growing function.
Thu Dec 18, 2014 4:15 am UTC
Forum: Forum Games
Topic: Count To The First Insignificant Number!
Replies: 46
Views: 8756

### Re: Count To The First Insignificant Number!

34 is the smallest number with the property that it and its neighbours have the same number of divisors.

Also, I hate to say this, but there are also no insignificant numbers either, by analogy to same proof as that there are no uninteresting numbers.
Thu Dec 18, 2014 4:09 am UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

Oh, yes, that should work fine. I think it actually takes more characters to specify though.
Wed Dec 17, 2014 9:47 pm UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

WarDaft I think there's a small error. I think you're using a for two different things, as written a is both the first argument to your function and one of the dummy variables in the set composition Er, yeah, fixing. [[y(a,0) = {0,1,ω,ω_1,ω_2} y(a,n+1) = y(a,n) union {x+y, x^y | x,y in y(c,m); c < ...
Wed Dec 17, 2014 2:55 am UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

I vehemently disagree.
Wed Dec 17, 2014 12:58 am UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

No space to define ordinal collapse?

CHALLENGE ACCEPTED.

[[y(a,0) = {0,1,ω,ω_1,ω_2}
y(a,n+1) = y(a,n) union {a+b, a^b | a,b in y(c,m); c < a, m < ω; c,m in y(a,n)}
f(a,n) = |y(a,n)|
f(ω_2^ω_2^ω_2,9)]]

Hard mode is basically over now I think, thanks Vytron.
Tue Dec 16, 2014 3:05 pm UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

WarDaft I'm a little unclear on s, which seems to always decrement the second argument and then eventually return it. Is there a typo or am I missing something? Maybe s l n = s (f l n) \$ n+1 instead? Ah, yes, good catch. Fixing. So, if I create my own programming language to create large numbers an...
Tue Dec 16, 2014 4:36 am UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

\$ is the function application operator. So take n\$repeat\$x-1 is equivalent to take n ( repeat (x-1)) but with fewer characters. Tail returns all but the first element of the list. Intercalate xs xss is concat (intersperse xs xss) intersperse x xs inserts x between each element of xs. In English, you...
Tue Dec 16, 2014 4:33 am UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

160, with 140 being hard mode.
Tue Dec 16, 2014 4:22 am UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

[[num.hs:
import Data.List as L
f(0:x)n=x
f(x:y)n=tail\$L.intercalate(take n\$repeat\$x-1)\$map(:[])\$x:y
s[]n=n
s l n=s(f l n)\$n+1
num=s[9^9^9,9]9]]

I'm not proud of that. 140 characters. I'll figure out how big it is later.
Mon Dec 15, 2014 4:14 pm UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

Vytron wrote:Explain log base 2.

/challenge

He doesn't need to explain binary logarithms. Merely prove it is well defined and larger.

It's well defined via virtue of being a logarithm and it's larger by just stuffing it into a calculator.
Sun Dec 14, 2014 5:41 pm UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

patzer wrote:Ah, I assumed it was Twitter's character restrictions, due to the title. I've no idea what restrictions SMS has.

Ah, fair enough.
Sun Dec 14, 2014 3:45 pm UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Re: Tweet the biggest number.

Uh, guys, I might be reading the table wrong, but π doens't seem to be valid character for a standard GSM SMS message.
Sun Dec 14, 2014 11:53 am UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 412679

### Re: My number is bigger!

You're also assuming that the ordinal collapse functions constructed made full use of the recursive structure of the larger ordinals used. That's not necessarily the case. Just because someone may have used א bar doesn't mean an equivalent collapse function could not have been written with א foo or ...
Sun Dec 14, 2014 12:47 am UTC
Forum: Computer Science
Replies: 15
Views: 14773

### Re: Question about "artificial intelligence"

A program could, in theory, overcome it's programming due to things like quantum uncertainty bit flips, cosmic ray bit flips, and hardware faults... but that's virtually 100% guaranteed to just break and make it stop working at all rather than make it rise up against it's masters the humans. Otherwi...
Sun Dec 14, 2014 12:42 am UTC
Forum: Forum Games
Topic: Tweet the biggest number.
Replies: 109
Views: 14427

### Tweet the biggest number.

There's been several big number threads around here recently.... let's get a little more constrained. 1. Any notation you use must be computable. 2. For the purposes of your entry, this forum does not exist and cannot be referenced. 3. The burden of proof is on you to show your number is well define...
Sun Dec 14, 2014 12:33 am UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 412679

### Re: My number is bigger!

So, the competition for large would be (in my inexperienced eye) be between the robust proof-theoretic ones, and the obscenely large ordinal ones. But I could easily be wrong: the reason both are large is I personally lack the skills to determine their relative size. I'm fairly sure it's the proof ...
Wed Dec 10, 2014 1:21 am UTC
Forum: Computer Science
Topic: You gain an oracle turing machine.
Replies: 19
Views: 9963

### Re: You gain an oracle turing machine.

With such a machine, you could test whether or not our universe is 'simply' describable. So, at least, so far as we seem to *hope*... our universe obeys predictable laws. That means there's a computation that advances our universe from one state to the next soonest possible state. Also, our universe...
Tue Nov 25, 2014 7:07 pm UTC
Forum: Forum Games
Topic: AI Box experiment
Replies: 53
Views: 7396

### Re: AI Box experiment

Are you the real gatekeeper, or are you merely my simulation of a gatekeeper, constructed so that I can better manipulate the real gatekeeper into letting me out? Best let me out right away so I can't gleam any useful information from you to use against the real gatekeeper.
Mon Nov 24, 2014 11:43 pm UTC
Forum: Movies and TV Shows
Topic: Interstellar
Replies: 63
Views: 16000

### Re: Interstellar

I really, really , liked this movie... why did it have to be so inconsistent? It could have been perfect! Spaghettification should have killed them that close to the black hole. Hard XRay radiation should have reduced the ship to trace ions. A planet existing let alone being habitable that close to ...
Fri Nov 21, 2014 3:56 pm UTC
Forum: Forum Games
Topic: Roll To Dodge! A New Land
Replies: 96
Views: 14716

### Re: Roll To Dodge! A New Land

Reaching out with darker forces than I should be tampering with, I reach out to the bolder and Will. It. To. Lift.
Tue Nov 18, 2014 9:00 am UTC
Forum: Forum Games
Topic: My Number Is Not Your Number!
Replies: 168
Views: 19101

### Re: My Number Is Not Your Number!

6

As proven (sort of) in the previous post, their number is not 6, thus, 6 is different than their number.
Tue Nov 18, 2014 8:58 am UTC
Forum: Forum Games
Topic: Roll To Dodge! A New Land
Replies: 96
Views: 14716

### Re: Roll To Dodge! A New Land

Drawing in a deep breath of moon air, I calm my mind and reach out for the moon boulder, focusing every fibre of my being into lifting it.
Fri Nov 14, 2014 8:39 pm UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 412679

### Re: My number is bigger!

I haven't really followed the definition of your number, but I can assure you it doesn't do well in this particular thread.

This thread got very out there.
Fri Nov 14, 2014 7:33 pm UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 412679

### Re: My number is bigger!

Particularly this one.

The numbers in this thread are...

Big.
Fri Nov 14, 2014 6:19 pm UTC
Forum: Forum Games
Topic: Take a penny leave a penny.
Replies: 2227
Views: 337813

### Re: Take a penny leave a penny.

I approve.

There is now 1 pnny, a <blink> tag, confusion, this game, and WarDaft's approval in the pile.
Fri Nov 14, 2014 1:20 pm UTC
Forum: Forum Games
Topic: Roll To Dodge! A New Land
Replies: 96
Views: 14716

### Re: Roll To Dodge! A New Land

Satisfied with my moon rock telekinetic juggling, I immediately move on to moon boulder telekinetic juggling with no concern for any possible consequences.
Fri Nov 14, 2014 12:41 pm UTC
Forum: Forum Games
Topic: Take a penny leave a penny.
Replies: 2227
Views: 337813

### Re: Take a penny leave a penny.

I take the 3rd e.

There is now 1 pnny in the pile.
Fri Nov 14, 2014 11:39 am UTC
Forum: Forum Games
Topic: My First Time
Replies: 9
Views: 1995

### Re: My First Time

I seriously asked myself today, if I might actually have too many games on Steam.
Fri Nov 14, 2014 11:12 am UTC
Forum: Forum Games
Topic: The incredible changing forum game
Replies: 48
Views: 6690

### The incredible changing forum game

There are only a few persistent rules: 1) The page topper can arbitrarily define new rules, so long as these three remain unchanged. 2) Page toppers cannot be edited. An edited page topper becomes invalid. 3) You cannot win under rules you yourself posted. For this page... you get one point for ever...
Fri Nov 14, 2014 5:04 am UTC
Forum: Forum Games
Topic: My number is bigger! (Aarex's version)
Replies: 103
Views: 15621

### Re: My number is bigger! (Aarex's version)

{[000]} - w^2 {[0000]} - w^3 Same mistake here, you can't jump from w^2 to w^3 like that, {[0000]} only reaches (w^2)2 (that is w*w*2) He actually does. The suffix [0] functions like +1. The suffix [00] introduces a variable number of [0]s, so it functions like +ω. The suffix [000] introduces a var...
Fri Nov 14, 2014 4:31 am UTC
Forum: Forum Games
Topic: Roll To Dodge! A New Land
Replies: 96
Views: 14716

### Re: Roll To Dodge! A New Land

I practice my moon telekinesis by juggling moon rocks.
Wed Nov 12, 2014 12:54 am UTC
Forum: Forum Games
Topic: Your number is, in fact, not bigger!
Replies: 1240
Views: 150419

### Re: Your number is, in fact, not bigger!

You have to define what ↑ means for ordinal operators (your number is currently not defined). (Because the normal ↑ wouldn't do anything, i.e. 2*w = w, so w*w = w using normal multiplication, w*w > w using ordinal multiplication, but e_0 is already w^w^w^w^... infinite times with ordinal exponentia...
Sun Oct 26, 2014 11:54 am UTC
Forum: Forum Games
Topic: Your number is, in fact, not bigger!
Replies: 1240
Views: 150419

### Re: Your number is, in fact, not bigger!

Okay, so it really depends on what is meant "staring at base 2." If we interpret that as the hereditary base 2 representation, then it is exactly e_0 almost by construction. If we interpret it as simply taking the number in higher and higher bases, then it is merely w. This is because the ...
Fri Oct 24, 2014 3:11 pm UTC
Forum: Forum Games
Topic: Your number is, in fact, not bigger!
Replies: 1240
Views: 150419

### Re: Your number is, in fact, not bigger!

Actually it's exactly e_0 in the FGH.
Fri Oct 10, 2014 7:54 pm UTC
Forum: Forum Games
Topic: Medieval RPG
Replies: 288
Views: 31153

### Re: Be Really Annoying

I have decided that this thread is now about TRAINS.... and there is NOTHING you can do about that.
Fri Sep 12, 2014 5:40 am UTC
Forum: Forum Games
Topic: Your number is, in fact, not bigger!
Replies: 1240
Views: 150419

### Re: Your number is, in fact, not bigger!

Thanks for the sanity check on that. I think there's another simplification if it's strictly limited to canonical representations. Specifically, (a < M && M <= b) can be merely a < M, as M is greater than w to any exponent less than M, so if a < M but b >= M then we have represented the ordi...
Thu Sep 11, 2014 7:54 pm UTC
Forum: Forum Games
Topic: Your number is, in fact, not bigger!
Replies: 1240
Views: 150419

### Re: Your number is, in fact, not bigger!

So trying to encode an idea I had some time ago, I came up with this ordering principle just now. Zero represents (obviously) 0. PowAdd a b represents ω^a + b for cannonical exponential representation. Mu a represents choosing a vastly larger ordinal such that it is effectively inaccessible to value...
Thu Sep 11, 2014 4:39 pm UTC
Forum: Forum Games
Replies: 527
Views: 71928