Lot's of people know about Turing Machines and the Lambda Calculus and that they both can express any computable function, but often don't really understand what that means. An Unlimited Register Machine is a simple model of a computer, still quit... Read more
At the turn of the century mathematicians were trying to mechanise mathematics, fortunately they did not succeed. Back then ‘computer’ was a job title for a person and not a silicon machine and logicians were inventing ways of unambiguously descri... Read more
Claim your profile today and start building your speaker history.
Mathematician, theatre fan, occasional mountaineer, part time runner, thoroughly nice chap. Available in fine bookstores everywhere.