Somewhere at the edge of mathematics lurks a number so large that it breaks the very foundations of our understanding - and ...

The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

One hundred and fifty years of mathematics will be proved wrong if a new computer program stops running. Thankfully, it’s unlikely to happen, but the code behind it is testing the limits of the ...

Once upon a time, over 40 years ago, a horde of computer scientists descended on the West German city of Dortmund. They were competing to catch an elusive quarry — only four of its kind had ever been ...

When he invented Turing machines in 1936, Alan Turing also invented modern computing. In 1928, the German mathematicians David Hilbert and Wilhelm Ackermann proposed a question called the ...