Search found 2250 matches

by WarDaft
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.
by WarDaft
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.
by WarDaft
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.
by WarDaft
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 < ...
by WarDaft
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.
by WarDaft
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.
by WarDaft
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...
by WarDaft
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...
by WarDaft
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.
by WarDaft
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.
by WarDaft
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.
by WarDaft
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.

https://mobile.twitter.com/patzer3/stat ... 6598203394

Ah, fair enough.
by WarDaft
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.
by WarDaft
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 ...
by WarDaft
Sun Dec 14, 2014 12:47 am UTC
Forum: Computer Science
Topic: Question about "artificial intelligence"
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...
by WarDaft
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...
by WarDaft
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 ...
by WarDaft
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...
by WarDaft
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.
by WarDaft
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 ...
by WarDaft
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.
by WarDaft
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.
by WarDaft
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.
by WarDaft
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.
by WarDaft
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.
by WarDaft
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.
by WarDaft
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.
by WarDaft
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.
by WarDaft
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.
by WarDaft
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...
by WarDaft
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...
by WarDaft
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.
by WarDaft
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...
by WarDaft
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 ...
by WarDaft
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.
by WarDaft
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.
by WarDaft
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...
by WarDaft
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...
by WarDaft
Thu Sep 11, 2014 4:39 pm UTC
Forum: Forum Games
Topic: Ask a Stupid Question, Get a Stupid Answer
Replies: 527
Views: 71928

Re: Ask a Stupid Question, Get a Stupid Answer

You ask them, duh.

If seeing is believing, why do we believe in air?
by WarDaft
Wed Sep 10, 2014 10:31 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!

Well, I think I just need to show that I grow over the red line, and that'll be it, because if as you say, if you guys are sending functions that could be below the red line, by sending a function that grows over it, it puts the onus on you to show that you also go over it, or go to the next level ...

Go to advanced search