Book of Donmon Teith

This is a book about the 'Halting Problem', arguably the most (in)famous computer-related problem: can an algorithm decide in finite time whether an arbitrary c

"People falsely believe that there are no limits to what computers can do. The centre-stage is taken by a single result which has many consequences, from scienc

In 1936, when he was just twenty-four years old, Alan Turing wrote a remarkable paper in which he outlined the theory of computation, laying out the ideas that

The massive uprising following the police killing of George Floyd in the summer of 2020--by some estimates the largest protests in US history--thrust the argume