When Marco says "tricky", he means "this is an interesting problem".
When Bruce says "tricky", he means you might win the Clay prize if you find a solution.
Monday, April 28, 2008
The Halting Problem
We present a simple disproof of Turing's Halting Conjecture:
Program P halts on input Q iff Bruce wants it to halt.
Bruce's decision is made by Bruce's brain, which is a physical entity, and so can be simulated by a computer.
Program P halts on input Q iff Bruce wants it to halt.
Bruce's decision is made by Bruce's brain, which is a physical entity, and so can be simulated by a computer.
Sunday, April 27, 2008
Around the campfire..
Cowboy 1 says "the other day, a 50 foot rattlesnake struck at me from behind a rock continually trying to bite my neck, I was wrestling with it for a good few minutes, but eventually I overcame it and snapped it in half".
Cowboy 2 says "thats nothing. Yesterday afternoon a huge grizzly bear charged me in the woods. It knocked me down between two rocks and started swipping at my face. I blocked the strikes just in time, rolled the bear over and snapped its neck".
Bruce Merry said nothing, but just sat there, stroking the coals with his penis..
Thus ends the reading.
Cowboy 2 says "thats nothing. Yesterday afternoon a huge grizzly bear charged me in the woods. It knocked me down between two rocks and started swipping at my face. I blocked the strikes just in time, rolled the bear over and snapped its neck".
Bruce Merry said nothing, but just sat there, stroking the coals with his penis..
Thus ends the reading.
Saturday, April 26, 2008
Thursday, April 24, 2008
Bruce's Keyboard
Bruce does not have a standard QWERTY keyboard. He just has 2 buttons, "BRUCE" and "MERRY" and codes everything in binary using these.
Subscribe to:
Posts (Atom)