Vous explorez les archives pour Turing.

Pièce en 3 actes, cet album de Matmos retrace la vie et la mort de Alan Turing en vocoder et en boucles sérielles. de la machine Enigma (Enigma Machine For Alan Turing, 5′ 38), aux lettres qu’il écrivit pour Robin Gandy (Message for the Unseen World, 7″41), jusqu’au morceau de violon qu’il joua à l’officier [...]

Joseph Sifakis, directeur de recherche au CNRS, vient de recevoir la plus haute distinction en matière d’informatique, le prix Turing, ou Turing Award, remis chaque année depuis 1966 par l’ACM (Association for Computing Machinery). Ce titre honorifique vient récompenser ses efforts, ainsi que ceux de son équipe, ayant conduit à la mise au point de [...]

Il n’y a pas grand-chose de plus amusant qu’un raisonnement logique dont un esprit supérieur tire toutes les conclusions. Je pense que la plupart d’entre vous a déjà entendu parler du théorème d’incomplétude de Gödel ? Vous savez aussi que beaucoup de gens se sont emparés de lui pour lui faire dire beaucoup de choses en [...]

The National Defence Force [Afrique du Sud] is probing whether a software glitch led to an antiaircraft cannon malfunction that killed nine soldiers and seriously injured 14 others during a shooting exercise on Friday.
La leçon est rude.
L’ordinateur d’un canon antiaérien Oerlikon de 35 mm devient fou et dégomme tout ce qu’il voit jusqu’à épuisement des [...]

Source : xkcd.

J’adore la dernière ! Vous en trouverez beaucoup d’autres, et d’aussi drôles, sur le flickr de Philosophers…