Archive for the ‘CM10020’ Category.

iSquared: The limits of Computation

The winter issue of iSquared magazine is now available, with the cover article ‘The limits of Computation’ being by, well, me! I discuss Turing Machines, undecidability, intractability, and (briefly) Artificial Intelligence.

I’ve not received my own copy so can’t comment on the other articles yet, although I’ve attended a talk by interviewee Keith Briggs before which was very good, so I expect the interview will be interesting too. So I hope you’ll pick up a copy- it’s a venture well worth supporting!

Register Machine

View as: view on E2  view as PDF

From Turing machines to Register machines- overview, instruction set and simple examples. Simulation of recursive functions by Register machines (with proofs in macro form).