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

This story first appeared in the Down to the Wire issue of TheWrap magazine. A rare look into the mind of Alan Turing is hitting the auction block just a few months after the release of “The Imitation ...

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

David Craven does not work for, consult, own shares in or receive funding from any company or organization that would benefit from this article, and has disclosed no relevant affiliations beyond their ...

When Alan Turing was born 100 years ago, on June 23, 1912, a computer was not a thing—it was a person. Computers, most of whom were women, were hired to perform repetitive calculations for hours on ...

Such is Turing's legacy: that of a nested chain of pretenses, each pointing not to reality, but to the caricature of another idea, device, individual, or concept. It's hard to overestimate Alan Turing ...

There’s something about geeky DIY projects that strike a nerve with the Internet. Case in point, the homebrew Turing Machine built by Mike Davey. He had no ulterior motive than to make something ...