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

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