Search found 513 matches

by itaibn
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...
by itaibn
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 ...
by itaibn
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...
by itaibn
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...
by itaibn
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.
by itaibn
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...
by itaibn
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...
by itaibn
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!
by itaibn
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...
by itaibn
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.
by itaibn
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...
by itaibn
Tue Jun 30, 2009 3:58 am UTC
Forum: Mathematics
Topic: Extremely large counterexamples
Replies: 6
Views: 1785

Re: Extremely large counterexamples

by itaibn
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?
by itaibn
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.
by itaibn
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#...
by itaibn
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...
by itaibn
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?
by itaibn
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...
by itaibn
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.
by itaibn
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]
by itaibn
Thu Jun 04, 2009 8:13 pm UTC
Forum: Forum Games
Topic: Random bitstream! (000zerozero000000zero)
Replies: 1947
Views: 237109

Re: Random bitstream! (000zerozero000000zero)

0
by itaibn
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.
by itaibn
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.
by itaibn
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...
by itaibn
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...
by itaibn
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?
by itaibn
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!
by itaibn
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...
by itaibn
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.
by itaibn
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.
by itaibn
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].
by itaibn
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?
by itaibn
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
by itaibn
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)...))
by itaibn
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.
by itaibn
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.
by itaibn
Wed May 20, 2009 2:33 am UTC
Forum: Forum Games
Topic: Random bitstream! (000zerozero000000zero)
Replies: 1947
Views: 237109

Re: Random bitstream! (000zerozero000000zero)

0
by itaibn
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)
by itaibn
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.
by itaibn
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'?

Go to advanced search