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