True dice are random. How do computers produce random (as opposed to psuedo-random) numbers? They can't - humans have to go off and make some physical hardware (like Walker's radioactive decay box or ERNIE's electronics) that does it for them.
It is true that it's possible to simulate a roulette wheel in real time with sufficient accuracy to make money (I'm more amazed that the people wot did it managed it with a 6502 programmed in hex...) albeit at some risk. But what that tells us is that roulette wheels aren't random!
And "any machine" is still way over what Turing in particular actually claimed.
'Thesis M' is such an extension: Whatever can be calculated by a machine (working on finite data in accordance with a finite program of instructions) is Turing-machine-computable.
And that's unproven, even if constrained to machines that could actually exist in the real world.
What I sense you'd like to have proven is Thesis M with the bit in parenthesis taken out... and I don't think that is ever going to happen.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2002-12-13 08:17 am (UTC)True dice are random. How do computers produce random (as opposed to psuedo-random) numbers? They can't - humans have to go off and make some physical hardware (like Walker's radioactive decay box or ERNIE's electronics) that does it for them.
It is true that it's possible to simulate a roulette wheel in real time with sufficient accuracy to make money (I'm more amazed that the people wot did it managed it with a 6502 programmed in hex...) albeit at some risk. But what that tells us is that roulette wheels aren't random!
And "any machine" is still way over what Turing in particular actually claimed.
'Thesis M' is such an extension: Whatever can be calculated by a machine (working on finite data in accordance with a finite program of instructions) is Turing-machine-computable.
And that's unproven, even if constrained to machines that could actually exist in the real world.
What I sense you'd like to have proven is Thesis M with the bit in parenthesis taken out... and I don't think that is ever going to happen.