On 14.10.2011 10:27, Tony Hardie-Bick wrote: > Turing, as in Alan Turing :) Ooops... Of course... Martin > Martin Naef<mnaef at navisto.ch> wrote: >> Well, with that argumentation you can essentially say that all you need >> is a Touring machine. Whether that's of any use in practice is another >> matter...