## Search found 513 matches

Thu Aug 27, 2009 5:40 am UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 419890

### Re: My number is bigger!

So :+1 turns a representation of an ordinal using Ξ into another such representation, and :- turns a representation and a natural number into another representation which is supposed to represent an ordinal smaller than the input ordinal. You haven't explained what the input to Ξ is, but I'm guessin...
Thu Aug 27, 2009 2:54 am UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 419890

### Re: My number is bigger!

what is the input of Ξ, :+, and :-? What is U{expr}? What does fixed/non-fixed point k mean? PS:Why is my post always considered invalid the first time I try posting it? edit/add: pred calls upon the decay of the least significant infinite ordering structure of a to length b such that the result is ...
Wed Aug 26, 2009 6:53 pm UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 419890

### Re: My number is bigger!

I concede that a(3) = a(omega), but let's look at the alternatives in a(4) sup{1,2,...}+1 a(1+1+1+1) See which one is shorter? Admittingly, I did not put the full definition of a, but I don't know what that is so I'm justified. Alternatively, define v(0,a)=1+a, and extend this function like the vebl...
Wed Aug 26, 2009 5:11 pm UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 419890

### Re: My number is bigger!

"pred sup{a(n)|n in nat} 3" depends strictly on n; a(3) would be the first a(n) greater than n (specifically a(3)=ω). And yes, obviously, a(3+1) is larger than a(3), it would be ω+1. When I wrote 1..n, I envisioned it as being read as for 1 through n , as in the sequence toward building i...
Wed Aug 26, 2009 6:24 am UTC
Forum: Forum Games
Topic: Corrupt-a-wish
Replies: 26079
Views: 2474957

### Re: Corrupt-a-wish

I nearby casino starts making some of the chips made of solder.

I wish that all people in corrupt-a-wish forum games would take advantage of problems in the wording of the wish instead of just adding an unrelated side effect.
Wed Aug 26, 2009 2:45 am UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 419890

### Re: My number is bigger!

What is pred sup{a(n)|n in nat} 3, and what is the smallest n such that a(n) is larger than it? Logically then, a(n+1) would be larger or equal to sup{a(n)|n in nat) and a(n+2) larger than that. The problem with the alpha function isn't technical, there is a fundamental difficulty with it. The probl...
Tue Aug 25, 2009 7:17 pm UTC
Forum: Forum Games
Topic: My number is bigger!
Replies: 1590
Views: 419890

### Re: My number is bigger!

Can you be more formal in your definitions, Wardraft? Your alpha function is obviously undefinable, as logically alpha(3)=sup{alpha(n)}, which is absurd. pred also needs a precise definition, there can be problems like whether pred(e 0 ,0)=0, 1, or omega. Your Armstrong function seems to use pred wh...
Thu Jul 09, 2009 10:40 pm UTC
Forum: Forum Games
Topic: Meta Forum Game
Replies: 353
Views: 53199

### Re: Meta Forum Game

Reminder of what was posted JUST NINE POSTS AGO!
Thu Jul 09, 2009 4:57 am UTC
Forum: Mathematics
Topic: verifying accuracy of a probability?
Replies: 7
Views: 936

### Re: verifying accuracy of a probability?

Also, who's going to prove that your prediction was inaccurate? That is the great thing about probability: There is only a CHANCE that your method was faulty. You can always claim a fluke. There is a 99.9%* chance that your reasoning, while valid, isn't applicable in practical situations. *statisti...
Tue Jul 07, 2009 8:17 pm UTC
Forum: Forum Games
Topic: Meta Forum Game
Replies: 353
Views: 53199

### Re: Meta Forum Game

Acknowledging previous comment, and making a questionably legal move, but that does not seem to give me an unfair advantage.
Mon Jul 06, 2009 10:19 pm UTC
Forum: Mathematics
Topic: I accidentally the incompleteness theorem
Replies: 14
Views: 3077

### Re: I accidentally the incompleteness theorem

It is true that (Con_1(T)\land Prov_T(Prov_T(X)))\rightarrow Prov_T(X) , where Con 1 means 1-consistent (the article is about omega-consistency, but 1-consistency is also mentioned). Also a specific counterexample: T is PA+~Con(PA), and X is 0=1. If T is incon...
Tue Jun 30, 2009 3:58 am UTC
Forum: Mathematics
Topic: Extremely large counterexamples
Replies: 6
Views: 1785

### Re: Extremely large counterexamples

Sat Jun 20, 2009 9:11 pm UTC
Forum: Forum Games
Topic: Simple Question = Silly Answer
Replies: 4335
Views: 284895

### Re: Simple Question = Silly Answer

False.

In English, do conditional expressions get evaluated when the argument is non-false, or when it is true?
Sat Jun 20, 2009 3:08 am UTC
Forum: General
Topic: "I don't judge people who do X".......yes, you do.
Replies: 69
Views: 5899

### Re: "I don't judge people who do X".......yes, you do.

About those maybe sexist/homophobic/racist statements, even if a statement shows extreme ignorance, it isn't necessarily sexist/homophobic/racist.
Thu Jun 18, 2009 4:20 am UTC
Forum: Computer Science
Topic: What would you do with an infinitely fast computer?
Replies: 818
Views: 226268

### Re: What would you do with an infinitely fast computer?

No matter how smart an algorithm gets, it can't change the laws of set theory. What are the laws of set theory? I knew there were axioms and theorems built on those axioms, but I didn't know about these laws. What are they and why can't they be changed? http://en.wikipedia.org/wiki/Algebra_of_sets#...
Sun Jun 14, 2009 10:27 pm UTC
Forum: Computer Science
Topic: What would you do with an infinitely fast computer?
Replies: 818
Views: 226268

### Re: What would you do with an infinitely fast computer?

I would brute-force NP-hard problems (and problems from even harder complexity classes) like there's no tomorrow. There probably wouldn't be. Bah, that's not much of a challenge for an infinite computer. I would tell it to brute-force some problems in set theory, and see what happens. The problem T...
Sun Jun 07, 2009 4:10 am UTC
Forum: Computer Science
Topic: What would you do with an infinitely fast computer?
Replies: 818
Views: 226268

### Re: What would you do with an infinitely fast computer?

How infinitely fast is this computer? Can it figure out the the truth of the continuum hypothesis, for instance?
Sat Jun 06, 2009 8:14 pm UTC
Forum: General
Topic: True villains in fiction?
Replies: 149
Views: 14127

### Re: True villains in fiction?

Can someone give me an example of a good character who didn't become good due to past influences or mental defects like over-abundance of empathy or selflessness. If the original poster claims that these aren't mental defects, I would like to answer in advance: You think the common attributes that m...
Sat Jun 06, 2009 12:01 am UTC
Forum: Logic Puzzles
Topic: 169 puzzles (was 'mind trap')
Replies: 371
Views: 37999

### Re: 169 puzzles (was 'mind trap')

Kurushimi wrote:Also, this is the reason I hate googling "Riddles". The one with putting two halves together to get a hole made me feel like cutting myself.

I made up a much more elegant solution to that one, although still 169:
Spoiler:
I think outside the box, therefore I am outside the box.
Thu Jun 04, 2009 8:27 pm UTC
Forum: Science
Topic: Theories about the origin of the universe?
Replies: 33
Views: 2865

### Re: Theories about the origin of the universe?

MarshyMarsh wrote:None of us can imagine anything on a quantum scale, none of us can imagine concepts such as Space, none of us can imagine a concept of nothingness...

[citation needed]
Thu Jun 04, 2009 8:13 pm UTC
Forum: Forum Games
Topic: Random bitstream! (000zerozero000000zero)
Replies: 1947
Views: 237109

### Re: Random bitstream! (000zerozero000000zero)

0
Tue Jun 02, 2009 3:20 am UTC
Forum: Forum Games
Replies: 44
Views: 3540

### Re: I win this thread!

I win this thread. See 5th post of the 2nd page for details.
Fri May 29, 2009 8:59 pm UTC
Forum: Forum Games
Topic: Vending machine!
Replies: 11477
Views: 1023129

### Re: Vending machine!

You get a monkey and a typewriter.

I put in a Haskell program.
Fri May 29, 2009 8:53 pm UTC
Forum: Logic Puzzles
Topic: Age problem
Replies: 15
Views: 1886

### Re: Age problem

But, you did not take into account that I had to make the answer more ridiculous than the OPs. If you had, you would have clearly found that Bob is negative two-hundred-and-seventy-something years old, while his grandfather is in the negative 2900's. I doesn't have to be that ridiculous: Bob co...
Thu May 28, 2009 7:10 pm UTC
Forum: Logic Puzzles
Topic: My write-up of the "Blue Eyes" solution (SPOILER A
Replies: 1368
Views: 420832

### Re: My write-up of the "Blue Eyes" solution (SPOILER A

During the time each night while the boat is docked, why can't any one of the people observe that no-one has gotten on in the first half-hour, or the first fifteen minutes, conclude that there aren't N people, and advance the counter without waiting a night? What stops someone from doing this an in...
Tue May 26, 2009 7:44 pm UTC
Forum: Logic Puzzles
Topic: My write-up of the "Blue Eyes" solution (SPOILER A
Replies: 1368
Views: 420832

### Re: My write-up of the "Blue Eyes" solution (SPOILER A

Anyone care to see my list of arguments on why JayD16 is wrong near the end of last page?
Mon May 25, 2009 10:54 pm UTC
Forum: Forum Games
Topic: Meta Forum Game
Replies: 353
Views: 53199

### Re: Meta Forum Game

Chfan wrote:Makes legal move, ignoring troll.

CLAIMS YOUR IGNORANCE OF THE TROLL IS AN IELGAL MVOE!!!1!!sup(n in N|exists x,y,z in N x^(n+1)+y^(n+1)=z^(n+1)!!!!eleven!
Mon May 25, 2009 10:44 pm UTC
Forum: Logic Puzzles
Topic: My write-up of the "Blue Eyes" solution (SPOILER A
Replies: 1368
Views: 420832

### Re: My write-up of the "Blue Eyes" solution (SPOILER A

So that you know what it would to convince me otherwise, here is all of my arguments for why JayD16's solution is wrong: Nowhere in the problem description does it mention that anybody wants to leave the island, or that if they do want to, that they want to as effiecently as possible. Even if that i...
Sun May 24, 2009 6:56 pm UTC
Forum: Forum Games
Topic: Corrupt-a-wish
Replies: 26079
Views: 2474957

### Re: Corrupt-a-wish

Moo mooooo. Moo moo mooo, mooo! Mooo moo mooo? Mooooo. Moo!

Mooo, moo, mooooo.
Sat May 23, 2009 11:24 pm UTC
Forum: Forum Games
Topic: Meta Forum Game
Replies: 353
Views: 53199

### Re: Meta Forum Game

darkspork wrote:Triumph and mathematical statement clarifying earlier move that subtly results in myself achieving a negative score.

Rewards darkspork for gain a negative score. Mentions the similarity of this game and Calvinball.
Thu May 21, 2009 4:32 am UTC
Forum: Mathematics
Topic: New Mathematical Operation: Swagger
Replies: 19
Views: 2753

### Re: New Mathematical Operation: Swagger

What I meant was: find the probability the swagger of a number is 1, and the probability it is 2, etc. under some distribution of the integers [edit: natural numbers].
Thu May 21, 2009 3:21 am UTC
Forum: Mathematics
Topic: New Mathematical Operation: Swagger
Replies: 19
Views: 2753

### Re: New Mathematical Operation: Swagger

In order to give this operation of of being the slightest bit interesting, can someone try finding out the distribution of the result of swaggering?
Wed May 20, 2009 11:33 pm UTC
Forum: Forum Games
Topic: Countdown to victory
Replies: 75
Views: 5642

### Re: Countdown to victory

0

My score:4
Wed May 20, 2009 7:54 pm UTC
Forum: Forum Games
Topic: Countdown to victory
Replies: 75
Views: 5642

### Re: Countdown to victory

T(0)=Int;
T(n+1)=A function from T(n) to T(n);

in is of type T(n)

i0 = 2;
i1(x) = x+2;
i2(f)(x) = f(...x times...(f(x))...) eg. i2(f)(3)=f(f(f(2)));
i3(F)(f)(x) = F(...x times...(F(f))...)(2) eg. i3(F)(f)(3)=F(F(F(f)))(2)
...

i67(i66(...(i1)(i0)...))
Wed May 20, 2009 7:19 pm UTC
Forum: Forum Games
Topic: Meta Forum Game
Replies: 353
Views: 53199

### Re: Meta Forum Game

darkspork wrote:
timonan wrote:Post that makes no reference to meta.

Reply to post with no further meta reference

Explains why your accusation of noob is stupid.
Wed May 20, 2009 3:40 am UTC
Forum: Mathematics
Topic: My friend thinks that you can divide by zero.
Replies: 35
Views: 5293

### Re: My friend thinks that you can divide by zero.

Tell him that infinity is not a number in most number systems and ask him to explain exactly what number system he is using.
Wed May 20, 2009 2:33 am UTC
Forum: Forum Games
Topic: Random bitstream! (000zerozero000000zero)
Replies: 1947
Views: 237109

### Re: Random bitstream! (000zerozero000000zero)

0
Mon May 18, 2009 10:18 pm UTC
Forum: Forum Games
Topic: Non-Sequitur Showdown.
Replies: 4272
Views: 541727

### Re: Non-Sequitur Showdown.

fibs=0:1:zipWith(+)fibs(tail fibs)
Mon May 18, 2009 9:40 pm UTC
Forum: Forum Games
Topic: Meta Forum Game
Replies: 353
Views: 53199

### Re: Meta Forum Game

timonan wrote:Sudden realization that posts regarding the meta-nature of this game don't make any sense, as the players in the game have no knowledge of the meta-ness.

Sarcastic comment about how your post clearly demonstrates that nobody know's this is a meta-game.
Sun May 17, 2009 10:15 pm UTC
Forum: Mathematics
Topic: ITT: Why Math Is Awesome.
Replies: 51
Views: 6327

### Re: ITT: Why Math Is Awesome.

Haeche wrote:Some physicists and philosophers believe that the physical universe is isomorphic to a mathematical structure

Isn't that just an obfuscation of 'There is a governing pattern completely describing the universe'?