News tagged with alan turing

The hazards of presumptive computing

Have you ever texted somebody saying how "ducking annoyed" you are at something? Or asked Siri on your iPhone to call your wife, but somehow managed to be connected to your mother-in-law?

dateApr 01, 2015 in Computer Sciences
shares14 comments 1

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

dateMay 27, 2014 in Computer Sciences
shares0 comments 0