Accès plus rapide que le navigateur!
33 relations: Alan Turing, Alfred Tarski, Allemagne, Andrzej Mostowski, Axiomes de Peano, Conscription, Cryptographie, Cryptologia, Démonstration (logique et mathématiques), Edward F. Moore, Enigma (machine), Feuilles de Zygalski, Front de l'Est (Seconde Guerre mondiale), Hiérarchie arithmétique, Institute for Advanced Study, Journal of Symbolic Logic, Logique, Machine de Lorenz, Machine de Turing universelle, Mathématicien, Mülheim, Paderborn, Ronald Jensen, Seconde Guerre mondiale, Stephen Cole Kleene, Système axiomatique, Théorème de complétude de Gödel, Turing-complet, Université de Münster, Université de Princeton, Université rhénane Frédéric-Guillaume de Bonn, Wang Hao (logicien), William Gordon Welchman.
Alan Turing
Alan Turing vers 1938. Alan Mathison Turing, né le à Londres et mort le à Wilmslow, est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique.
Nouveau!!: Gisbert Hasenjaeger et Alan Turing · Voir plus »
Alfred Tarski
Alfred Tarski, né Alfred Teitelbaum le à Varsovie et mort le à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du, fondateur de la théorie des modèles et de la sémantique formelle.
Nouveau!!: Gisbert Hasenjaeger et Alfred Tarski · Voir plus »
Allemagne
LAllemagne, officiellement la République fédérale d’Allemagne est un État d'Europe centrale, et selon certaines définitions d'Europe de l'Ouest, entouré par la mer du Nord, le Danemark et la mer Baltique au nord, par la Pologne à l'est-nord-est, par la Tchéquie à l'est-sud-est, par l'Autriche au sud-sud-est, par la Suisse au sud-sud-ouest, par la France au sud-ouest, par la Belgique et le Luxembourg à l'ouest, enfin par les Pays-Bas à l'ouest-nord-ouest.
Nouveau!!: Gisbert Hasenjaeger et Allemagne · Voir plus »
Andrzej Mostowski
Andrzej Mostowski (–) est un mathématicien polonais.
Nouveau!!: Gisbert Hasenjaeger et Andrzej Mostowski · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Gisbert Hasenjaeger et Axiomes de Peano · Voir plus »
Conscription
Dans un pays où la conscription n'est pas appliquée, comme aux États-Unis, le recrutement de l'armée se déroule comme pour n'importe quelle autre institution, par voie publicitaire.Ici, l'Oncle Sam incite les jeunes américains à rejoindre le contingent américain qui se rend sur le front européen en 1917(voir l'article: Conscription aux États-Unis). La conscription ou le service militaire obligatoire est l'ordre donné par un État d'une partie de sa population afin de servir ses forces armées.
Nouveau!!: Gisbert Hasenjaeger et Conscription · Voir plus »
Cryptographie
La machine de Lorenz utilisée par les nazis durant la Seconde Guerre mondiale pour chiffrer les communications militaires de haut niveau entre Berlin et les quartiers-généraux des différentes armées. La cryptographie est une des disciplines de la cryptologie s'attachant à protéger des messages (assurant confidentialité, authenticité et intégrité) en s'aidant souvent de secrets ou clés.
Nouveau!!: Gisbert Hasenjaeger et Cryptographie · Voir plus »
Cryptologia
Cryptologia est un journal de cryptologie publié depuis.
Nouveau!!: Gisbert Hasenjaeger et Cryptologia · Voir plus »
Démonstration (logique et mathématiques)
consulté le.
Nouveau!!: Gisbert Hasenjaeger et Démonstration (logique et mathématiques) · Voir plus »
Edward F. Moore
Edward Forrest Moore (à Baltimore, Maryland – à Madison (Wisconsin)) est professeur de mathématiques et d’informatique à l’université du Wisconsin-Madison.
Nouveau!!: Gisbert Hasenjaeger et Edward F. Moore · Voir plus »
Enigma (machine)
alt.
Nouveau!!: Gisbert Hasenjaeger et Enigma (machine) · Voir plus »
Feuilles de Zygalski
La méthode des feuilles de Zygalski est une technique cryptologique utilisée par le Biuro Szyfrów polonais, avant et pendant la Seconde Guerre mondiale, puis par les cryptologues britanniques de Bletchley Park, afin de décrypter les messages chiffrés au moyen du système allemand d'Enigma.
Nouveau!!: Gisbert Hasenjaeger et Feuilles de Zygalski · Voir plus »
Front de l'Est (Seconde Guerre mondiale)
L'expression de front de l'Est (européen) désigne, dans le contexte de la Seconde Guerre mondiale, le théâtre d'opérations qui oppose plus particulièrement l'Allemagne nazie à l'Union soviétique entre juin 1941 et mai 1945.
Nouveau!!: Gisbert Hasenjaeger et Front de l'Est (Seconde Guerre mondiale) · Voir plus »
Hiérarchie arithmétique
Theory of Computation'', Springer 2006.. En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Stephen Cole Kleene, est une hiérarchie des sous-ensembles de l'ensemble N des entiers naturels définissables dans le langage du premier ordre de l'arithmétique de Peano.
Nouveau!!: Gisbert Hasenjaeger et Hiérarchie arithmétique · Voir plus »
Institute for Advanced Study
L'Institute for Advanced Study ou IAS (« Institut d'étude avancée ») est un des plus prestigieux laboratoires de recherche au monde.
Nouveau!!: Gisbert Hasenjaeger et Institute for Advanced Study · Voir plus »
Journal of Symbolic Logic
Le Journal of Symbolic Logic est une revue mathématiques publié trimestriellement par Association for Symbolic Logic.
Nouveau!!: Gisbert Hasenjaeger et Journal of Symbolic Logic · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Gisbert Hasenjaeger et Logique · Voir plus »
Machine de Lorenz
Les 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.
Nouveau!!: Gisbert Hasenjaeger et Machine de Lorenz · Voir plus »
Machine de Turing universelle
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.
Nouveau!!: Gisbert Hasenjaeger et Machine de Turing universelle · Voir plus »
Mathématicien
Carl Friedrich Gauss, aussi appelé « prince des mathématiciens ». Emmy Noether Un mathématicien ou une mathématicienne est au sens restreint un chercheur ou une chercheuse en mathématiques, par extension toute personne faisant des mathématiques la base de son activité principale.
Nouveau!!: Gisbert Hasenjaeger et Mathématicien · Voir plus »
Mülheim
Mülheim an der Ruhr est une ville d'Allemagne d'environ, située dans le Land de Rhénanie-du-Nord-Westphalie.
Nouveau!!: Gisbert Hasenjaeger et Mülheim · Voir plus »
Paderborn
Paderborn (en allemand), le chef-lieu de l'arrondissement de Paderborn, est une ville d'Allemagne, peuplée de plus de, située dans l'est du Land de Rhénanie-du-Nord-Westphalie, dans la région Westphalie-de-l'Est-Lippe, à la source même de la rivière Pader.
Nouveau!!: Gisbert Hasenjaeger et Paderborn · Voir plus »
Ronald Jensen
Ronald Björn Jensen (né le) est un mathématicien américain actif en Europe, principalement connu pour son travail en logique mathématique et en théorie des ensembles.
Nouveau!!: Gisbert Hasenjaeger et Ronald Jensen · Voir plus »
Seconde Guerre mondiale
La Seconde Guerre mondiale, ou Deuxième Guerre mondiale, est un conflit armé à l'échelle planétaire qui dure du au.
Nouveau!!: Gisbert Hasenjaeger et Seconde Guerre mondiale · Voir plus »
Stephen Cole Kleene
Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien américain.
Nouveau!!: Gisbert Hasenjaeger et Stephen Cole Kleene · Voir plus »
Système axiomatique
En mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes.
Nouveau!!: Gisbert Hasenjaeger et Système axiomatique · Voir plus »
Théorème de complétude de Gödel
En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre.
Nouveau!!: Gisbert Hasenjaeger et Théorème de complétude de Gödel · Voir plus »
Turing-complet
En informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l’anglais Turing-complete) s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing.
Nouveau!!: Gisbert Hasenjaeger et Turing-complet · Voir plus »
Université de Münster
L'université de Münster (en allemand: Westfälische Wilhelms-Universität, WWU) est une université publique située à Münster, en Rhénanie-du-Nord-Westphalie, Allemagne.
Nouveau!!: Gisbert Hasenjaeger et Université de Münster · Voir plus »
Université de Princeton
L'université de Princeton (Princeton University) aussi appelée Princeton est une université américaine privée située dans la ville de Princeton (New Jersey), aux États-Unis.
Nouveau!!: Gisbert Hasenjaeger et Université de Princeton · Voir plus »
Université rhénane Frédéric-Guillaume de Bonn
La Koblenzer Tor (la porte de Coblence). L’université rhénane Frédéric-Guillaume de Bonn (en allemand: Rheinische Friedrich-Wilhelms-Universität Bonn) est une université allemande située à Bonn dans le Land de Rhénanie-du-Nord-Westphalie.
Nouveau!!: Gisbert Hasenjaeger et Université rhénane Frédéric-Guillaume de Bonn · Voir plus »
Wang Hao (logicien)
Wang Hao (ou à Jinan (Chine) - à New York) est un logicien, philosophe et mathématicien sino-américain.
Nouveau!!: Gisbert Hasenjaeger et Wang Hao (logicien) · Voir plus »
William Gordon Welchman
William Gordon Welchman, né le et mort le, était un mathématicien britannique et un cryptographe de la Seconde Guerre mondiale, à Bletchley Park.
Nouveau!!: Gisbert Hasenjaeger et William Gordon Welchman · Voir plus »
