click here for the plus home page
© 1997-2009, Millennium Mathematics Project, University of Cambridge.
Permission is granted to print and copy this page on paper for non-commercial use. For other uses, including electronic redistribution, please contact us.
Do you know what's good for you?
icon

Understand the maths behind health and medicine

Careers with maths
icon

Gavin Harper is a mathematician working right at the heart of genetics

A favourite from the archive...
Subscribe to our RSS feed:
AddThis Feed Button subscribe to our RSS feed
 
March 2010
Tags

diagonalisation argument

Feature icon

Mike Yates looks at the life and work of wartime code-breaker Alan Turing. Find out what types of numbers we can't count and why there are limits on what can be achieved with Turing machines.

Tags: Turing Machine : theoretical computing : Turing test : artificial intelligence : halting problem : diagonalisation argument : Cantor's Theorem : unsolvability