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 ...

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

Though as with so many independent inventors the origins of computing can be said to have been arrived at through the work of many people, Alan Turing is certainly one of the foundational figures in ...

A team of researchers have expanded Alan Turing's seminal theory on how patterns are created in biological systems. This work may answer whether nature's patterns are governed by Turing's mathematical ...

Turing machines are widely believed to be universal, in the sense that any computation done by any system can also be done by a Turing machine. In a new article, researchers present their work ...

As a practising computer scientist, I thought I had a fairly good grasp of Alan Turing’s many contributions to the field. But The Turing Guide, by Jack Copeland, Jonathan Bowen, Mark Sprevak and Robin ...

In this video, we explore various aspects of artificial intelligence and consciousness, discussing: - AI in science fiction ...

On Saturday, British mathematician Alan Turing would have turned 100 years old. It is barely fathomable to think that none of the computing power surrounding us today was around when he was born. But ...

CNET gets a deeper look at the hidden notebook from the "father of modern computing," before it goes up for auction. Donna Tam covers Amazon and other fun stuff for CNET News. She is a San Francisco ...