I have a D.Phil in mathematics and an interest in computation theory, turing machines, AI, quantum mechanics, relativity.

Not yet made any edits, but added two comments: one on Non-Deterministic Algorithms, and one on the Turing Machine definition in the Turing Machine talk page. I am looking at the Computation pages which have comments about "unclear presentation", etc and may attempt to rewrite parts of them later.


Just added a comment on Domain Theory and Computations. I dont know whether anyone reads these comments to act on them.

Another on the Halting problem, as Wikipedia fails to tell correctly the early history and logic of Turing and Post machine models.