3 ms·

Nondeterministic Turing Machines are the standard for the Church/Turing Thesis. Do you have anything substantive to contribute to the discussion?