[CookWithMe]

> The word machine implies predictability [...]. Computers are not predictable [...]

First of all, computers can be mechanical - the first computers have been [0].

Furthermore, computers are predictable. If a CPU would not be predictable, how would you program it? If you write a program, you assume that your computer is predictable and that your instructions will be carried out. (If that assumption is not met, a fault occurred - but this happens in mechanical systems as well) In fact, you can perform computation in lockstep to detect errors.

Of course, it can be practically impossible to exactly predict a network of computers with several layers of software deployed... but that is not the issue here.

[0] - http://en.wikipedia.org/wiki/Mechanical_computer

[luckystarr]

Please don't twist it to make them appear safe for voting purposes. They are not.

With today's computers that have any non-trivial piece of code on them it is for all practical purposes unpredictable that they will carry out the task that they are supposed to do, even if every piece of code is known.

The task at hand it "perform a universal, secret, equal and verifiable vote without any fraud involved". I doubt that this can ever be achieved.

If even a small sub-task of this is violated, I consider that such that it didn't carry out the task.

[DennisP]

The difference is that a computer can emulate any machine, and it might not be emulating the one you think it's emulating.