189 reputation
5
bio website
location Germany
age 35
visits member for 3 years, 8 months
seen Feb 14 at 9:42

Haskell programmer. Diploma in Informatics (=Master in CS).


Dec
9
comment Given an infinite number of monkeys and an infinite amount of time, would one of them write Hamlet?
@Asaf-Karagila: Yes, indeed. We need some pure mathematical definition of a monkey to argue about, so that we do not enter the category of empirical data. Something that doesn't depend on actual physical monkeys but relate to them. (Probably sth. like banana-brackets from category theory, which relate to bananas only in syntax.) But even using temporal logic, we can't exclude the possibility that the desired event won't happen in finite time.
Dec
2
comment Given an infinite number of monkeys and an infinite amount of time, would one of them write Hamlet?
@Henry: Nice! I've known about such an experiment for a long time, but didn't think that it was published in the news. Thx for the reference!
Dec
2
comment Given an infinite number of monkeys and an infinite amount of time, would one of them write Hamlet?
@Didier: Thx for the @ thing, I didn't know.
Nov
12
comment Given an infinite number of monkeys and an infinite amount of time, would one of them write Hamlet?
Just look at the monkey, dude! Not better than a baby on the piano, nearly repeating the same wham from before. (Assumed that it's not Markov's child playing.)
Jan
28
comment Snakes and Probabilistic Enigma
Did you mean "this process has to be repeated n-1 times" instead of infinitely? And do you only pick up loose ends, not already tied ends?
Jan
27
comment Given an infinite number of monkeys and an infinite amount of time, would one of them write Hamlet?
daah... yeah, of course. silly me. – The german word "eventuell" means "possibly" in english. It's one of those strange words... The inventor of the english language must have written some bugs in one of the first english dictionaries, which is now hardwired in the standard library.
Jan
12
comment Given an infinite number of monkeys and an infinite amount of time, would one of them write Hamlet?
How many cats are needed to type Hamlet in LOL-speak within the time of nine cat-lifes? - Given that monkeys throw cats at keyboards or keyboards at cats.
Dec
14
comment Mathematical functions that can't be computed
oh, I'll remember that for the next time. The misleading example was using the "3n+1"-problem as function and program, where the program searches for an counter-example (and would probably not halt) and the function just states that everything goes to 1. We have to wait for either the program to halt or a genius to prove the function, which could be impossible, too. Then there was a joke about Chuck Norris, who could be the only person to halt the program.
Dec
14
comment Mathematical functions that can't be computed
"the smallest number not expressible in first order logic." is indeed a better example, as is the "busy beaver function". With those examples, I think, it won't be misleading anymore.
Dec
14
comment Mathematical functions that can't be computed
Hm, you are right, it is misleading - I remove it. The "busy beaver function" is a better example, like Qiaochu Yuan answered.
Dec
14
comment Mathematical functions that can't be computed
Your explanation has flaws: 1) Either programs can print the number π like this: "π" or "Pi". Or they cannot even print some rational numbers like 1/3 because of their infinite number of digits after the dot. 2) There do not exist numbers which definitely need an infinite description, because otherwise only undefinable infinite long formulas would be possible to evaluate to those numbers. 3) The Question is about functions and programs, not numbers and formulas that define numbers.
Nov
10
comment Looking for a bijective, discrete function that behaves as chaotically as possible
Jep, did think about that last night. I'll fix this...
Nov
9
comment Pigeon Hole Principle
they just need to be connected somehow: 5+3=8 devices, that need not more than 8-1=7 connections. do you want to specify any extra conditions?
Nov
7
comment Isomorphism between [0,1] to (0,1)
@user3224: an Isomorphism is a special Homomorphism, which is a structure-preserving map between two algebraic structures. so, what is the structure on those sets? or do you only want any bijective map?