Some computers are easy to spot. Artificial, human-built computers like those found in smartphones and laptops are abstract ...

Lance Fortnow on the current status and future outlook of solving the P-NP problem.

A leader in the field of computational theory is the latest winner of the A. M. Turing Award, sometimes described as the ‘Nobel Prize’ of computer science. Avi Wigderson at the Institute for Advanced ...

Henry Yuen is developing a new mathematical language to describe problems whose inputs and outputs aren’t ordinary numbers.

The basic mathematics of quantum mechanics will be reviewed for application to quantum computation. Classical physical computation (not with digital circuits) will be discussed, in particular ...

Computer scientist Lance Fortnow writes that by embracing the computations that surround us, we can begin to understand and tame our seemingly random world. Bohr: Algebra is like sheet music. The ...