News tagged with alan turing

Logic in computer science

All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Logical arguments like this one have been studied since antiquity. In the last few decades, however, logic research has changed considerably: ...

May 27, 2014
4.2 / 5 (5) 0

Can scientists know that they do not know?

Imagine you knew everything about the current universe – the state of every single particle – and all the laws governing the universe's evolution. Endowed with such knowledge, you could then predict the future, right? ...

Feb 17, 2014
3.6 / 5 (11) 12

UK finally pardons computer pioneer Alan Turing

His code breaking prowess helped the Allies outfox the Nazis, his theories laid the foundation for the computer age, and his work on artificial intelligence still informs the debate over whether machines can think.

Dec 23, 2013
5 / 5 (21) 11

Alan Turing at 100

It is hard to overstate the importance of Alan Turing, the British mathematician who died in 1954. He was a hero in science, for one. Turing invented the concepts that underlie modern computers and artificial ...

Sep 14, 2012
5 / 5 (2) 2