« Alan Turing » : différence entre les versions
Contenu supprimé Contenu ajouté
C'est bien "tout" |
m Non, non touS : « il travaille sur une des toutES premières machines » : tous s'accorde ici en genre et en nombre ^^ |
||
Ligne 30 :
</ref>{{,}}<ref>{{en}} Bruce J.MacLennan, ''{{lang|en|Principles of Programming Languages}}'', Introduction : {{lang|en|What is a programming language?}}, Oxford University Press, 1999. «{{lang|en|A programming language is a language that is intended for the expression of computer programs and that is capable of expressing any computer program. This is not a vague notion. There is a precice theorical way of determining whether a computer language can be used to express any program, namely, by showing that is equivalent to a universal Turing machine.}}»</ref>, qui prendront tout leur sens avec la diffusion des [[Histoire des ordinateurs|ordinateurs]], dans la seconde moitié du {{s-|XX}}. Avec d'autres logiciens ([[Alonzo Church|Church]], [[Stephen Cole Kleene|Kleene]], etc.), Turing est ainsi à l'origine de la formalisation des [[concept]]s d'[[Algorithmique|algorithme]] et de [[calculabilité]], qui fonderont cette discipline. Son modèle a contribué à établir définitivement la [[thèse de Church|thèse Church-Turing]], qui donne une définition mathématique au concept intuitif de fonction calculable.
Durant la [[Seconde Guerre mondiale]], il joue un rôle majeur dans les recherches sur les [[cryptographie]]s générées par la [[Enigma (machine)|machine Enigma]], utilisée par les armées allemandes. Ses découvertes permirent, selon plusieurs historiens, de raccourcir la capacité de résistance du régime nazi de deux ans. Après la guerre, il travaille sur un des
En 1952, un fait divers lié à son [[homosexualité]] lui vaut des poursuites judiciaires. Pour éviter la prison, il choisit la [[castration chimique]] par prise d'[[œstrogène]]s. Suicide ou accident, Turing est retrouvé mort dans la chambre de sa maison à Manchester, par empoisonnement au [[cyanure]], le 7 juin 1954. La reine [[Élisabeth II du Royaume-Uni|Élisabeth II]] le [[grâce (droit)|gracie]] à titre posthume en 2013.
| |||