## 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.

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**

- 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?

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:**

- 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**

- Tue Jun 02, 2009 3:20 am UTC
- Forum: Forum Games
- Topic: I win this thread!
- 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.

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.

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

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);

i

i

i

i

i

...

i

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

i

_{n}is of type T(n)i

_{0}= 2;i

_{1}(x) = x+2;i

_{2}(f)(x) = f(...x times...(f(x))...) eg. i_{2}(f)(3)=f(f(f(2)));i

_{3}(F)(f)(x) = F(...x times...(F(f))...)(2) eg. i_{3}(F)(f)(3)=F(F(F(f)))(2)...

i

_{67}(i_{66}(...(i_{1})(i_{0})...))- 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**

- 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'?