Receive a weekly dose of discovery in your inbox! We'll also keep you up to date with New Scientist events and special offers.

In today's computer age, the implications of the discovery in formal logic that Newman and Nagel articulated in 1958 are of even broader interest, says Andrew Hodges. New York University Press ...

Andrew Hodges is a British mathematician and author of the definitive biography of Alan Turing, Alan Turing: The Enigma. The 2014 movie, The Imitation Game, starring Benedict Cumberbatch and Keira ...