Monthly Archives: April 2013

Turing Machines

An algorithm must be seen to be believed. –Donald Knuth In the age defined by computing, we are apt to forget that the quest to solve mathematical problems algorithmically, by a mechanical procedure terminating in finitely many steps, dates back … Continue reading

Posted in logic.2013 | Leave a comment