3 ms·
And here I thought in the Turing year of 2012 people would finally start to understand what it means that any electronical voting machine contains a Turing equi
by revelation 14y ago
And here I thought in the Turing year of 2012 people would finally start to understand what it means that any electronical voting machine contains a Turing equivalent machine.
No magic can make the halting problem decidable.
- EvilTerran 14y agoAn electronic voting machine doesn't have to be Turing-complete, surely? It would require especially-fabricated non-Turing-complete chips / ICBs, and some very simple interface like an LED bank and good old-fashioned physical buttons (as a touch-screen LCD unit alone is probably turing-complete), but I'm pretty sure it'd be possible to devise a specialised electronic voting system that couldn't have its behaviour altered without physical modification. [edit PS] Of course, this is purely academic. You might as well fantasise about a voting system made of Babbage-esque clockwork.