Machine de LorenzLes machines de Lorenz SZ 40 et SZ 42 (SZ pour « Schlüsselzusatz », qu'on peut traduire par « pièce jointe chiffrée ») sont des machines de chiffrement ayant été utilisées pendant la Seconde Guerre mondiale par l'Allemagne nazie pour les communications par téléscripteur. Les cryptographes britanniques, qui se référaient de façon générale au flux des messages chiffrés allemands envoyés par téléscripteur sous l'appellation Fish (fish peut se traduire par « poisson »), ont nommé la machine et ses messages « Tunny » (qu'on peut traduire par « Thon »).
Theory of computationIn theoretical computer science and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree (e.g., approximate solutions versus precise ones). The field is divided into three major branches: automata theory and formal languages, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?".
Colossus (ordinateur)Colossus est une série de calculateurs électroniques fondé sur le système binaire. Le premier, Colossus Mark 1, est construit en l’espace de onze mois et opérationnel en décembre 1943, par une équipe dirigée par Thomas “Tommy” Flowers et installé près de Londres, à Bletchley Park : constitué de , puis tubes à vide, il accomplissait opérations par seconde. Il était utilisé pendant la Seconde Guerre mondiale pour la cryptanalyse du code Lorenz. Plus rapide, le Colossus Mark II servit notamment pour le lancement surprise du débarquement de Normandie.
Machine de Turing universellevignette|upright=1.5|Une machine de Turing quelconque M réalise un calcul à partir d'une entrée écrite sur son ruban. Une machine de Turing universelle U simule le calcul de M sur l'entrée de M à partir d'une description de M et de l'entrée de M écrits sur le ruban de U. En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée.
Bertrand RussellInfobox Philosophe | nom = Bertrand Russell | image = Bertrand Russell cropped.jpg | légende = Bertrand Russell en novembre 1957. | alt = Photographie en noir et blanc d'un homme aux cheveux blancs, mains jointes sur ses lunettes, observant le spectateur d'un air amusé | date de naissance = 18 mai 1872 | lieu de naissance = Trellech (Monmouthshire, Royaume-Uni) | date de décès = 2 février 1970 | lieu de décès = Penrhyndeudraeth (Gwynedd, Royaume-Uni) | tradition philosophique = Philosophie analytique | principaux intérêts = Logique, mathématiques, physique, éthique, religion, politique | œuvres principales = Principia Mathematica,De la dénotation | a influencé = Ludwig Wittgenstein, A.
ComputationA computation is any type of arithmetic or non-arithmetic calculation that is well-defined. Common examples of computations are mathematical equations and computer algorithms. Mechanical or electronic devices (or, historically, people) that perform computations are known as computers. The study of computation is the field of computability, itself a sub-field of computer science. The notion that mathematical statements should be ‘well-defined’ had been argued by mathematicians since at least the 1600s, but agreement on a suitable definition proved elusive.
Bombe (électromécanique)Dans l'histoire de la cryptologie, la Bombe fut un instrument électromécanique utilisé par les cryptologues britanniques afin de casser les codes allemands d'Enigma pendant la Seconde Guerre mondiale. L'U.S. Navy et l'U.S. Army réaliseront plus tard leurs propres machines, avec les mêmes spécifications fonctionnelles, mais conçues de manière différente. La Bombe tire son nom de la « Bombe cryptologique » (en polonais : ), instrument conçu en par le cryptologue polonais Marian Rejewski travaillant au Biuro Szyfrów.
David HilbertDavid Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand. Il est souvent considéré comme un des plus grands mathématiciens du . Il a créé ou développé un large éventail d'idées fondamentales, que ce soit la théorie des invariants, l'axiomatisation de la géométrie ou les fondements de l'analyse fonctionnelle (avec les espaces de Hilbert). L'un des exemples les mieux connus de sa position de chef de file est sa présentation, en 1900, de ses fameux problèmes qui ont durablement influencé les recherches mathématiques du .
Ultra (nom de code)Ultra était le nom donné durant la Seconde Guerre mondiale par les Britanniques aux renseignements d'origine électromagnétique obtenus en décryptant les transmissions ennemies par radio et téléscripteurs. « Ultra » devint par la suite la désignation standardisée parmi les Alliés occidentaux pour tous les renseignements de ce type. Le nom fut créé parce que les renseignements de ce genre étaient considérés comme encore plus sensibles que ceux classés most secret (« très secret », ou top secret pour les Américains), et ils étaient donc considérés comme « ultra secret ».
BanburismusBanburismus was a cryptanalytic process developed by Alan Turing at Bletchley Park in Britain during the Second World War. It was used by Bletchley Park's Hut 8 to help break German Kriegsmarine (naval) messages enciphered on Enigma machines. The process used sequential conditional probability to infer information about the likely settings of the Enigma machine. It gave rise to Turing's invention of the ban as a measure of the weight of evidence in favour of a hypothesis.
