An interview with Robert Soare
University of Chicago's Robert Soare, the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, offers his reflections on Alan Turing.
By Arefin Huq, March 2012
Articles Tagged: Mathematical Logic
Articles & Features
Invitation to complexity theory
Complexity theory provides new viewpoints on various phenomena that were considered by past thinkers.
By Oded Goldreich, March 2012
The tale of the PCP theorem
How the search for the limits of computing led to the discovery of the unexpected power of proofs.
By Dana Moshkovitz, March 2012