Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
Accès plus rapide que le navigateur!
 

Kurt Gödel

Indice Kurt Gödel

Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.

148 relations: Académie autrichienne des sciences, Adolf Hitler, Albert Einstein, Alfred Tarski, Algorithme, Allemagne, Allemand, Alonzo Church, American Mathematical Society, Anne Catherine Emmerich, Anschluss, Anselme de Cantorbéry, Arithmétique, Astéroïde, Autriche, Autriche-Hongrie, Axiome, Éditions du Seuil, Éditions Dunod, Éméritat, États-Unis, Bertrand Russell, Bologne, Brno, Cachexie, Cercle de Vienne, Cerveau, Conférence Gibbs, Constitution des États-Unis, Crise des fondements, David Hilbert, Décidabilité, Délire de persécution, Démonstration (logique et mathématiques), Dépression (psychiatrie), Dictature, Dieu, Directeur de thèse, Doctorat, Douglas Hofstadter, Edmund Husserl, Emmanuel Kant, Entier naturel, Entreprise, Ernest Nagel, Folie, Fonction récursive, Formalisme, François Viète, France, ..., Gödel, Escher, Bach : Les Brins d'une Guirlande Éternelle, Gottfried Wilhelm Leibniz, Grégoire Palamas, Hans Hahn (mathématicien), Histoire des mathématiques, Hypocondrie, Hypothèse du continu, Informatique théorique, Institut de recherches avancées, Institute for Advanced Study, Introversion et extraversion, Jacques Bouveresse, James R. Newman, Japon, Jean van Heijenoort, Jean-Paul Delahaye, Jean-Yves Girard, John Barkley Rosser, John von Neumann, Julian Schwinger, La Déesse des petites victoires, Légende urbaine, Logique, Logique de la prouvabilité, Logique et raisonnement mathématique, Logique mathématique, Luitzen Egbertus Jan Brouwer, Machine de Turing, Mathématicien, Mathématiques, Métaphysique, Monatshefte für Mathematik, Moritz Schlick, Mystique, National Medal of Science, Naturalisation, Neurologie, Océan Pacifique, Ontologie (philosophie), Oskar Morgenstern, Paul Cohen, Philipp Furtwängler, Philosophie, Philosophie des sciences, Physique, Pierre Cassou-Noguès, Platonisme mathématique, Poison, Pour la science, Presses universitaires de France, Preuve ontologique de Gödel, Princeton (New Jersey), Privatdozent, Prix Albert Einstein, Prix des libraires, Prix Gödel, Problème NP-complet, Programme de Hilbert, Providence (Rhode Island), Récursivement énumérable, Régime politique, Recherche fondamentale, Richard J. Lipton, Robert Solovay, Royaume-Uni, Rudolf Carnap, Russie, San Francisco, Seconde Guerre mondiale, Sibérie, Solomon Feferman, Stephen Cole Kleene, Système logique, Tchécoslovaquie, Tchéquie, Textile, Théologie, Théorème, Théorème de complétude de Gödel, Théorèmes d'incomplétude de Gödel, Théorie, Théorie de la calculabilité, Théorie des ensembles, Transmigration des âmes, Transsibérien, Troisième Reich, Trouble psychique, Univers de Gödel, Université de Princeton, Université de Vienne, Université Harvard, Université Yale, Vienne (Autriche), Walter de Gruyter, Wang Hao (logicien), Willard Van Orman Quine, Yannick Grannec, (3366) Gödel. Développer l'indice (98 plus) »

Académie autrichienne des sciences

L'Académie autrichienne des sciences (en allemand Österreichische Akademie der Wissenschaften) est une institution nationale autrichienne, situé à Vienne.

Nouveau!!: Kurt Gödel et Académie autrichienne des sciences · Voir plus »

Adolf Hitler

Adolf Hitler est un idéologue et homme d'État allemand, né le à Braunau am Inn en Autriche-Hongrie (aujourd'hui en Autriche et toujours ville-frontière avec l’Allemagne) et mort par suicide le à Berlin.

Nouveau!!: Kurt Gödel et Adolf Hitler · Voir plus »

Albert Einstein

Albert Einstein (prononcé en allemand) né le à Ulm (Wurtemberg, Empire allemand) et mort le à Princeton (New Jersey, États-Unis), est un physicien théoricien.

Nouveau!!: Kurt Gödel et Albert Einstein · 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!!: Kurt Gödel et Alfred Tarski · Voir plus »

Algorithme

triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes.

Nouveau!!: Kurt Gödel et Algorithme · 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!!: Kurt Gödel et Allemagne · Voir plus »

Allemand

Lallemand (autonyme) est l'une des langues indo-européennes appartenant à la branche famille des langues germaniques, parlée notamment en Allemagne, Autriche, Suisse, Liechtenstein, Luxembourg et dans certaines régions limitrophes des pays voisins.

Nouveau!!: Kurt Gödel et Allemand · Voir plus »

Alonzo Church

Alonzo Church (Washington - Hudson) est un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.

Nouveau!!: Kurt Gödel et Alonzo Church · Voir plus »

American Mathematical Society

L' est une association professionnelle américaine de mathématiciens professionnels, dédiée aux intérêts de la recherche et de l’enseignement des mathématiques, ce qu’elle fait sous forme de différentes publications et conférences, et de prix décernés à des mathématiciens.

Nouveau!!: Kurt Gödel et American Mathematical Society · Voir plus »

Anne Catherine Emmerich

Anne Catherine Emmerich (en allemand Anna Katharina Emmerick), née le à Coesfeld (principauté épiscopale de Münster) et morte le à Dülmen (province de Westphalie), est une religieuse catholique, appartenant à l'ordre des augustines et une mystique.

Nouveau!!: Kurt Gödel et Anne Catherine Emmerich · Voir plus »

Anschluss

Reich allemand (''en rose''). LAnschluss Prononciation en allemand standard retranscrite selon la norme API.

Nouveau!!: Kurt Gödel et Anschluss · Voir plus »

Anselme de Cantorbéry

Anselme de Cantorbéry (en latin: Anselmus Cantuariensis), connu comme le « Docteur magnifique » (Doctor magnificus), est un moine bénédictin italien né à Aoste (Italie) en 1033 ou 1034 et mort à Cantorbéry (Angleterre) le.

Nouveau!!: Kurt Gödel et Anselme de Cantorbéry · Voir plus »

Arithmétique

L'arithmétique est la branche des mathématiques qui étudie les nombres entiers naturels (\N), relatifs (\Z) et rationnels (\Q), voire réels (\R), ainsi que leurs relations et propriétés, en lien avec quelques opérations élémentaires: addition (+), soustraction (−), multiplication (×), division (÷, /, ou), puissance et racine.

Nouveau!!: Kurt Gödel et Arithmétique · Voir plus »

Astéroïde

Dactyle. Dactyle est la première lune astéroïdale à avoir été découverte. L’astéroïde géocroiseur (101955) Bénou photographié par la sonde OSIRIS-REx en décembre 2018. corps binaire à contact. Un astéroïde (du grec ancien, « qui ressemble à une étoile ») est une planète mineure composée de roches, de métaux et de glaces, et dont les dimensions varient de l'ordre du mètre (limite actuelle de détection) à plusieurs centaines de kilomètres.

Nouveau!!: Kurt Gödel et Astéroïde · Voir plus »

Autriche

LAutriche, en forme longue la république d'Autriche, est un État fédéral d'Europe centrale, sans accès à la mer.

Nouveau!!: Kurt Gödel et Autriche · Voir plus »

Autriche-Hongrie

LAutriche-Hongrie, en forme longue habituelle la Monarchie austro-hongroise (en allemand: Österreichisch-Ungarische Monarchie, en hongrois: Osztrák-Magyar Monarchia), parfois appelée Empire austro-hongrois, est l'ancienne union de deux États d'Europe centrale créée par la transformation en une « double monarchie » de l’empire d'Autriche (lui-même regroupant à partir de 1804 les États régis par les Habsbourg à la suite de la disparition du Saint-Empire romain germanique).

Nouveau!!: Kurt Gödel et Autriche-Hongrie · Voir plus »

Axiome

Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.

Nouveau!!: Kurt Gödel et Axiome · Voir plus »

Éditions du Seuil

Les éditions du Seuil sont une maison d'édition française créée en 1935 et appartenant au groupe Média participations depuis 2017.

Nouveau!!: Kurt Gödel et Éditions du Seuil · Voir plus »

Éditions Dunod

Dunod est une maison d'édition du groupe Hachette Livre, spécialisée dans les ouvrages de formation universitaire et professionnelle et regroupe les marques Dunod, Armand Colin, InterÉditions, Ediscience, ETSF.

Nouveau!!: Kurt Gödel et Éditions Dunod · Voir plus »

Éméritat

Léméritat, ou honorariat en Belgique, est un titre honorifique accordé à certains enseignants du supérieur et chercheurs, qui leur permet de poursuivre certains travaux alors qu'ils sont admis à faire valoir leur droit à la retraite.

Nouveau!!: Kurt Gödel et Éméritat · Voir plus »

États-Unis

Les États-Unis (prononcé), en forme longue les États-Unis d'AmériqueComme la plupart des pays, les États-Unis ont un nom « court » pour l'usage courant, pédagogique et cartographique, et un nom « long » pour l'usage officiel.

Nouveau!!: Kurt Gödel et États-Unis · Voir plus »

Bertrand Russell

Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.

Nouveau!!: Kurt Gödel et Bertrand Russell · Voir plus »

Bologne

Bologne (en Bologna, prononcé, en émilien: Bulåggna) est une ville italienne située dans le nord-est du pays, entre le Pô et les Apennins.

Nouveau!!: Kurt Gödel et Bologne · Voir plus »

Brno

Brno (autrefois) est une ville de Tchéquie et la capitale de la région de Moravie-du-Sud.

Nouveau!!: Kurt Gödel et Brno · Voir plus »

Cachexie

La cachexie est un affaiblissement profond de l’organisme (perte de poids, fatigue, atrophie musculaire) lié à une dénutrition très importante.

Nouveau!!: Kurt Gödel et Cachexie · Voir plus »

Cercle de Vienne

Le cercle de Vienne, ou Wiener Kreis, est un groupement de savants et philosophes.

Nouveau!!: Kurt Gödel et Cercle de Vienne · Voir plus »

Cerveau

Cerveau d'un chimpanzé. Le cerveau est le principal organe du système nerveux des animaux bilatériens.

Nouveau!!: Kurt Gödel et Cerveau · Voir plus »

Conférence Gibbs

La Conférence Gibbs de l'American Mathematical Society est une distinction mathématique décernée, nommé en l'honneur de Willard Gibbs.

Nouveau!!: Kurt Gödel et Conférence Gibbs · Voir plus »

Constitution des États-Unis

La Constitution des États-Unis est, selon ses propres termes, la loi suprême des États-Unis d'Amérique.

Nouveau!!: Kurt Gödel et Constitution des États-Unis · Voir plus »

Crise des fondements

La crise des fondements des mathématiques, qui a marqué la discipline au tournant du, est l'aboutissement des tentatives d'asseoir la théorie des ensembles, et par là, l'arithmétique et les mathématiques, sur des bases non contradictoires.

Nouveau!!: Kurt Gödel et Crise des fondements · Voir plus »

David Hilbert

David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.

Nouveau!!: Kurt Gödel et David Hilbert · Voir plus »

Décidabilité

En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.

Nouveau!!: Kurt Gödel et Décidabilité · Voir plus »

Délire de persécution

Le délire de persécution est une condition délirante durant laquelle l'individu affecté croit être persécuté.

Nouveau!!: Kurt Gödel et Délire de persécution · Voir plus »

Démonstration (logique et mathématiques)

consulté le.

Nouveau!!: Kurt Gödel et Démonstration (logique et mathématiques) · Voir plus »

Dépression (psychiatrie)

La dépression, également appelée dépression caractérisée, dépression clinique ou dépression majeure, est une maladie psychiatrique caractérisé par des épisodes de baisse d'humeur accompagnée de plusieurs autres symptômes tels qu'une faible estime de soi, des difficultés à se concentrer ou à mémoriser, d’une perte ou prise de poids plus ou moins importante, de troubles du sommeil, ainsi que d'une perte de plaisir ou d'intérêt (anhédonie) dans des activités habituellement ressenties comme agréables par la personne.

Nouveau!!: Kurt Gödel et Dépression (psychiatrie) · Voir plus »

Dictature

Une dictature est un régime politique dans lequel une personne ou un groupe de personnes exercent tous les pouvoirs de façon absolue, sans qu'aucune loi ou institution ne les limitent; il faut préciser que même un régime autoritaire peut avoir des lois, des institutions, voire un parlement avec des députés élus, mais pas librement et ne représentant donc pas des contre-pouvoirs.

Nouveau!!: Kurt Gödel et Dictature · Voir plus »

Dieu

British Museum: « … ''L'Ancien des Jours'', un nu masculin barbu (probablement Urizen) accroupi dans une sphère céleste, sa lumière partiellement couverte par les nuages. Son bras gauche tenant un compas descend mesurer l'obscurité environnante… » https://www.britishmuseum.org/system_pages/beta_collection_introduction/beta_collection_object_details.aspx?objectId.

Nouveau!!: Kurt Gödel et Dieu · Voir plus »

Directeur de thèse

Un directeur de thèse ou une directrice de thèse est une personne, généralement chercheuse ou enseignante-chercheuse, qui supervise le travail d'un doctorant.

Nouveau!!: Kurt Gödel et Directeur de thèse · Voir plus »

Doctorat

Le doctorat est un diplôme de troisième cycle universitaire, nommé philosophiæ doctor dans les pays de langue anglaise.

Nouveau!!: Kurt Gödel et Doctorat · Voir plus »

Douglas Hofstadter

Douglas Richard Hofstadter, né le, est un universitaire américain, surtout connu pour son ouvrage Gödel, Escher, Bach: Les Brins d'une Guirlande Éternelle (1979), qui obtint le prix Pulitzer de l'essai en 1980.

Nouveau!!: Kurt Gödel et Douglas Hofstadter · Voir plus »

Edmund Husserl

Edmund Husserl (-) est un philosophe et logicien, autrichien de naissance, puis prussien, fondateur de la phénoménologie, qui eut une influence majeure sur l'ensemble de la philosophie du.

Nouveau!!: Kurt Gödel et Edmund Husserl · Voir plus »

Emmanuel Kant

Emmanuel Kant, né le à Königsberg en Prusse (aujourd'hui appelée Kaliningrad en Russie), et mort le dans cette même ville, est un philosophe prussien, fondateur du criticisme et de la doctrine dite « idéalisme transcendantal ».

Nouveau!!: Kurt Gödel et Emmanuel Kant · Voir plus »

Entier naturel

En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).

Nouveau!!: Kurt Gödel et Entier naturel · Voir plus »

Entreprise

Une entreprise, également appelée firme, compagnie ou société, ou encore familièrement boîte ou business, est une organisation ou une unité institutionnelle, mue par un projet décliné en stratégie, en politiques et en plans d'action, dont le but est de produire et de fournir des biens ou des services à destination d'un ensemble de clients, en réalisant un équilibre de ses comptes de charges et de produits.

Nouveau!!: Kurt Gödel et Entreprise · Voir plus »

Ernest Nagel

Ernest Nagel (né le à Nové Mesto nad Váhom en royaume de Hongrie et mort le à New York, États-Unis) est un philosophe des sciences, spécialiste de physique.

Nouveau!!: Kurt Gödel et Ernest Nagel · Voir plus »

Folie

La folie est une notion extrêmement polysémique.

Nouveau!!: Kurt Gödel et Folie · Voir plus »

Fonction récursive

En informatique et en mathématiques, le terme fonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini.

Nouveau!!: Kurt Gödel et Fonction récursive · Voir plus »

Formalisme

Le formalisme, du latin forma, « forme », est un concept esthétique.

Nouveau!!: Kurt Gödel et Formalisme · Voir plus »

François Viète

François Viète, ou François Viette, en latin, est un mathématicien français, né à Fontenay-le-Comte (Vendée) en 1540 et mort à Paris le.

Nouveau!!: Kurt Gödel et François Viète · Voir plus »

France

La France, en forme longue République française, est un État souverain transcontinental dont le territoire métropolitain s'étend en Europe de l'Ouest et dont le territoire ultramarin s'étend dans les océans Indien, Atlantique et Pacifique, ainsi qu'en Antarctique et en Amérique du Sud. Le pays a des frontières terrestres avec la Belgique, le Luxembourg, l'Allemagne, la Suisse, l'Italie, l'Espagne, Monaco et l'Andorre en Europe, auxquelles s'ajoutent les frontières terrestres avec le Brésil, le Suriname et les Pays-Bas aux Amériques. La France dispose d'importantes façades maritimes sur l'Atlantique, la Méditerranée, le Pacifique et l'océan Indien, lui permettant de bénéficier de la deuxième plus vaste zone économique exclusive du monde. Depuis la promulgation de la constitution de la Cinquième République en 1958, la France est une république constitutionnelle unitaire ayant un régime semi-présidentiel. Elle a pour capitale Paris et pour langue officielle le français, langue de l'administration depuis 1539. Au, la population de la France est d'environ d'habitants. Pendant l'âge du fer, le territoire de la France métropolitaine est habité par les Gaulois (peuple celtique), avant d'être conquis par la République romaine en 51 à la suite de la guerre des Gaules. Les Francs (peuple germanique) s'y installent au et fondent l'Empire carolingien au. L'empire est partitionné en 843, et la Francie occidentale devient le royaume de France, puissance majeure en Europe depuis le Moyen Âge. En 1789, la Révolution française adopte la déclaration des droits de l'homme et du citoyen, marque la fin de l'ancien régime et de la monarchie absolue, ainsi que la propagation des idées révolutionnaires. Le pays connaît ensuite plusieurs changements de régime institutionnel (Première République, Premier Empire, Restauration, monarchie de Juillet, Deuxième République, Second Empire) jusqu'à l'avènement définitif de la République à la suite de la défaite contre la Prusse et de la guerre civile de 1871. Du milieu du au milieu du, elle conquiert le second plus vaste empire colonial derrière l'empire britannique. La France est l'un des principaux belligérants de la Première et de la Seconde Guerre mondiale. À partir des années 1950, elle est l'un des acteurs de la construction de l'Union européenne, l'un des cinq membres permanents du Conseil de sécurité des Nations unies et membre de l'OTAN. La France est également membre du G7, du G20, de l'Organisation Internationale de la Francophonie et de la zone euro, et abrite le siège de plusieurs organisations internationales dont le Conseil de l'Europe, l'UNESCO, l'OCDE, Interpol, et le Centre international de recherche sur le cancer. Depuis la Déclaration des droits de l'homme et du citoyen de 1789, première déclaration des droits humains, la France a maintenu un rôle notable dans l'élaboration du droit international concernant les droits de l'Homme. Comptant le cinquième budget de la Défense au monde, elle est la septième puissance militaire mondiale et dans les cinq premiers en nombre de têtes nucléaires. Elle exerce une influence notable en matière politique, économique, militaire, linguistique et culturelle, en Europe et dans le reste du monde. Produisant un PIB nominal de de dollars US en 2022 selon le FMI, la France est cette année-là la troisième économie européenne après l'Allemagne et le Royaume-Uni, ainsi que la septième économie mondiale. Elle affiche un niveau de vie « très élevé » sur le classement IDH. Elle figure parmi les chefs de file mondiaux dans les secteurs de l'agroalimentaire, de l'aéronautique, de l'automobile, du tourisme, du nucléaire, de la mode et du luxe.

Nouveau!!: Kurt Gödel et France · Voir plus »

Gödel, Escher, Bach : Les Brins d'une Guirlande Éternelle

Gödel, Escher, Bach: Les Brins d'une Guirlande Éternelle (1979), également connu sous son acronyme GEB, est un livre de Douglas Hofstadter qui a obtenu le prix Pulitzer en 1980.

Nouveau!!: Kurt Gödel et Gödel, Escher, Bach : Les Brins d'une Guirlande Éternelle · Voir plus »

Gottfried Wilhelm Leibniz

Gottfried Wilhelm Leibniz (Prononciation en allemand standard retranscrite phonémiquement selon la norme API.), parfois francisé en Godefroid-Guillaume Leibniz, né à Leipzig le et mort à Hanovre le, est un philosophe, scientifique, mathématicien, logicien, diplomate, juriste, historien, bibliothécaire et philologue allemand.

Nouveau!!: Kurt Gödel et Gottfried Wilhelm Leibniz · Voir plus »

Grégoire Palamas

Grégoire Palamas (1296 - 1359), saint de l'Église orthodoxe, a développé dans sa pensée un adage des Pères, selon lequel Dieu s'est fait homme, pour que l'homme devienne Dieu.

Nouveau!!: Kurt Gödel et Grégoire Palamas · Voir plus »

Hans Hahn (mathématicien)

Hans Hahn (à Vienne - à Vienne) est un mathématicien et philosophe autrichien qui a apporté de nombreuses contributions à l'analyse fonctionnelle, la topologie, la théorie des ensembles, le calcul des variations et la théorie des ordres: on lui doit entre autres le théorème de Hahn-Banach, le, le, le théorème de Hahn-Mazurkiewicz et l'étude des séries formelles généralisées auxquelles on a donné son nom.

Nouveau!!: Kurt Gödel et Hans Hahn (mathématicien) · Voir plus »

Histoire des mathématiques

L’histoire des mathématiques s'étend sur plusieurs millénaires et dans de nombreuses régions du globe allant de la Chine à l’Amérique centrale.

Nouveau!!: Kurt Gödel et Histoire des mathématiques · Voir plus »

Hypocondrie

Lhypocondrie (ou trouble hypocondriaque.) est un trouble de la santé mentale caractérisé par une peur et anxiété excessives et bouleversantes concernant la santé et le bon fonctionnement du corps du patient.

Nouveau!!: Kurt Gödel et Hypocondrie · Voir plus »

Hypothèse du continu

En théorie des ensembles, l'hypothèse du continu (HC), due à Georg Cantor, affirme qu'il n'existe aucun ensemble dont le cardinal est strictement compris entre le cardinal de l'ensemble des entiers naturels et celui de l'ensemble des nombres réels.

Nouveau!!: Kurt Gödel et Hypothèse du continu · Voir plus »

Informatique théorique

Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.

Nouveau!!: Kurt Gödel et Informatique théorique · Voir plus »

Institut de recherches avancées

Institut de recherche avancée, Institut de recherches avancées ou Institut d'études avancées (Institute for Advanced Study ou Institute of Advanced Study en anglais), est une appellation utilisées par de nombreuses organisations à travers le monde.

Nouveau!!: Kurt Gödel et Institut de recherches avancées · 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!!: Kurt Gödel et Institute for Advanced Study · Voir plus »

Introversion et extraversion

Les termes introversion et extraversion furent proposés par Carl Gustav Jung dans son ouvrage Types Psychologiques (1921) pour distinguer les deux types d’attitudes observables chez les individus selon leur tendance à s’intéresser aux objets externes (les autres, le monde) ou à leur propre univers intérieur ou subjectivité.

Nouveau!!: Kurt Gödel et Introversion et extraversion · Voir plus »

Jacques Bouveresse

Jacques Bouveresse, né le à Épenoy (Doubs) et mort le à Paris (12e), est un philosophe français.

Nouveau!!: Kurt Gödel et Jacques Bouveresse · Voir plus »

James R. Newman

James Roy Newman (1907-1966) est un mathématicien et historien des mathématiques américain.

Nouveau!!: Kurt Gödel et James R. Newman · Voir plus »

Japon

Le Japon (en japonais:,, ou) est un pays insulaire de l'Asie de l'Est, situé entre l'océan Pacifique et la mer du Japon, à l'est de la Chine, de la Corée du Sud, de la Corée du Nord et de la Russie, et au nord de Taïwan.

Nouveau!!: Kurt Gödel et Japon · Voir plus »

Jean van Heijenoort

Jean Louis Maxime van Heijenoort, (–) est un pionnier français de la logique mathématique.

Nouveau!!: Kurt Gödel et Jean van Heijenoort · Voir plus »

Jean-Paul Delahaye

Jean-Paul Delahaye est un informaticien et mathématicien français né à Saint-Mandé (Seine) le.

Nouveau!!: Kurt Gödel et Jean-Paul Delahaye · Voir plus »

Jean-Yves Girard

Jean-Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS (émérite) au département de logique de la programmation de l'institut de mathématiques de Luminy (devenu l'Institut de Mathématiques de Marseille depuis le). Il a reçu la médaille d'argent du CNRS en 1983.

Nouveau!!: Kurt Gödel et Jean-Yves Girard · Voir plus »

John Barkley Rosser

John Barkley Rosser père (–) est un logicien américain, étudiant d'Alonzo Church, connu pour la propriété de Church-Rosser en lambda-calcul.

Nouveau!!: Kurt Gödel et John Barkley Rosser · Voir plus »

John von Neumann

John von Neumann (János Lajos Neumann) (János Lajos Neumann en hongrois), né le à Budapest et mort le à Washington, est un mathématicien et physicien américano-hongrois.

Nouveau!!: Kurt Gödel et John von Neumann · Voir plus »

Julian Schwinger

Julian Seymour Schwinger (-) est un physicien américain.

Nouveau!!: Kurt Gödel et Julian Schwinger · Voir plus »

La Déesse des petites victoires

La Déesse des petites victoires est un roman de Yannick Grannec paru le aux éditions Anne Carrière et ayant reçu le prix des libraires 2013.

Nouveau!!: Kurt Gödel et La Déesse des petites victoires · Voir plus »

Légende urbaine

Une légende urbaine (de l'anglais: urban legend) est un récit bref, au contenu surprenant ou inhabituel, qui se répand généralement soit par le bouche à oreille, soit par d'autres moyens informels de communication (forums, messageries instantanées, réseaux sociaux, etc.). Elle se présente généralement comme une anecdote véridique.

Nouveau!!: Kurt Gödel et Légende urbaine · 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!!: Kurt Gödel et Logique · Voir plus »

Logique de la prouvabilité

En logique, une logique de la prouvabilité est une logique modale où l'opérateur modal se lit « il est prouvable que ».

Nouveau!!: Kurt Gödel et Logique de la prouvabilité · Voir plus »

Logique et raisonnement mathématique

La logique est le fondement du raisonnement mathématique.

Nouveau!!: Kurt Gödel et Logique et raisonnement mathématique · Voir plus »

Logique mathématique

La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.

Nouveau!!: Kurt Gödel et Logique mathématique · Voir plus »

Luitzen Egbertus Jan Brouwer

Luitzen Egbertus Jan Brouwer (né le à Overschie et mort le à Blaricum) est un mathématicien néerlandais sur Encyclopædia Britannica.

Nouveau!!: Kurt Gödel et Luitzen Egbertus Jan Brouwer · Voir plus »

Machine de Turing

En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.

Nouveau!!: Kurt Gödel et Machine de Turing · 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!!: Kurt Gödel et Mathématicien · Voir plus »

Mathématiques

Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.

Nouveau!!: Kurt Gödel et Mathématiques · Voir plus »

Métaphysique

La métaphysique est la branche de la philosophie qui étudie la nature fondamentale de la réalité.

Nouveau!!: Kurt Gödel et Métaphysique · Voir plus »

Monatshefte für Mathematik

Monatshefte für Mathematik, anciennement Monatshefte für Mathematik und Physik (Revue mensuelle de mathématique et de physique), est une revue de mathématiques à comité de lecture créée en 1890.

Nouveau!!: Kurt Gödel et Monatshefte für Mathematik · Voir plus »

Moritz Schlick

Moritz Schlick, né le à Berlin, en Allemagne, et mort le à Vienne, en Autriche, est un philosophe allemand.

Nouveau!!: Kurt Gödel et Moritz Schlick · Voir plus »

Mystique

La mystique ou le mysticisme est ce qui a trait aux mystères, aux choses cachées ou secrètes.

Nouveau!!: Kurt Gödel et Mystique · Voir plus »

National Medal of Science

La National Medal of Science, aussi appelée Presidential Medal of Science, est une médaille décernée aux États-Unis par le président aux personnes ayant apporté une contribution importante dans le domaine des sciences du comportement et des sciences sociales, biologie, chimie, ingénierie, mathématiques et physique.

Nouveau!!: Kurt Gödel et National Medal of Science · Voir plus »

Naturalisation

La naturalisation est l’acquisition d’une nationalité ou d’une citoyenneté par un individu qui ne la possède pas par sa naissance.

Nouveau!!: Kurt Gödel et Naturalisation · Voir plus »

Neurologie

La neurologie est la spécialité médicale clinique qui étudie l'ensemble des maladies du système nerveux et en particulier du cerveau.

Nouveau!!: Kurt Gödel et Neurologie · Voir plus »

Océan Pacifique

L'océan Pacifique est l'océan le plus vaste du globe terrestre.

Nouveau!!: Kurt Gödel et Océan Pacifique · Voir plus »

Ontologie (philosophie)

L'ontologie est une branche de la philosophie et plus spécifiquement de la métaphysique qui, dans son sens le plus général, s'interroge sur la signification du mot « être ».

Nouveau!!: Kurt Gödel et Ontologie (philosophie) · Voir plus »

Oskar Morgenstern

Oskar Morgenstern, né le à Görlitz, Royaume de Saxe et mort le à Princeton, New Jersey, États-Unis, est un mathématicien et économiste, allemand puis américain.

Nouveau!!: Kurt Gödel et Oskar Morgenstern · Voir plus »

Paul Cohen

Paul Joseph Cohen (1934 - 2007) est un mathématicien américain.

Nouveau!!: Kurt Gödel et Paul Cohen · Voir plus »

Philipp Furtwängler

Philipp Furtwängler, né le à Elze en province de Hanovre et mort le à Vienne en Autriche, est un mathématicien allemand spécialiste en théorie des nombres.

Nouveau!!: Kurt Gödel et Philipp Furtwängler · Voir plus »

Philosophie

La philosophie, du grec ancien (composé de, « aimer », et de, « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique.

Nouveau!!: Kurt Gödel et Philosophie · Voir plus »

Philosophie des sciences

La philosophie des sciences est la branche de la philosophie qui étudie les fondements philosophiques, les méthodes et les implications de la science, qu'il s'agisse de sciences naturelles ou de sciences sociales.

Nouveau!!: Kurt Gödel et Philosophie des sciences · Voir plus »

Physique

La physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers.

Nouveau!!: Kurt Gödel et Physique · Voir plus »

Pierre Cassou-Noguès

Pierre Cassou-Noguès, né en à Tunis, est un philosophe et écrivain français.

Nouveau!!: Kurt Gödel et Pierre Cassou-Noguès · Voir plus »

Platonisme mathématique

Le platonisme mathématique ou réalisme mathématique est une théorie épistémologique qui fonde l'objectivité scientifique sur l'existence d'entités mathématiques, nombres, grandeurs, figures géométriques ou structures, comme des êtres autonomes qui ne sont pas des artefacts de l'esprit humain.

Nouveau!!: Kurt Gödel et Platonisme mathématique · Voir plus »

Poison

250px Les poisons sont, en biologie, des substances qui provoquent des blessures, des maladies ou la mort d'organismes par une réaction chimique, à l'échelle moléculaire.

Nouveau!!: Kurt Gödel et Poison · Voir plus »

Pour la science

Pour la science est une revue mensuelle de vulgarisation scientifique française fondée en 1977.

Nouveau!!: Kurt Gödel et Pour la science · Voir plus »

Presses universitaires de France

Les Presses universitaires de France (PUF) sont une maison d'édition fondée en 1921 par un collège de professeurs.

Nouveau!!: Kurt Gödel et Presses universitaires de France · Voir plus »

Preuve ontologique de Gödel

La preuve ontologique de Gödel est un argument ontologique sous la forme d'un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) en faveur de l'existence de Dieu.

Nouveau!!: Kurt Gödel et Preuve ontologique de Gödel · Voir plus »

Princeton (New Jersey)

Princeton est une ville américaine du New Jersey se trouvant dans le comté de Mercer.

Nouveau!!: Kurt Gödel et Princeton (New Jersey) · Voir plus »

Privatdozent

Caricature, ''Fliegende Blätter'' (1848): "Un privat-docent allemand, qui, enveloppé dans ses espoirs, devient une momie". Sur la momie, on peut lire: "Nomination au poste de ''Hofrat''; nomination à Berlin; augmentation de salaire; nomination au poste de professeur ordinaire; nomination au poste de professeur extraordinaire". Privatdozent (Privat docent avant la réforme orthographique allemande de décembre 1902) est depuis le un titre universitaire de tradition allemande en Europe.

Nouveau!!: Kurt Gödel et Privatdozent · Voir plus »

Prix Albert Einstein

Stephen Hawking, lauréat en 1978. Le prix Albert Einstein est une récompense qui était attribuée dans le domaine de la physique théorique.

Nouveau!!: Kurt Gödel et Prix Albert Einstein · Voir plus »

Prix des libraires

Le prix des libraires est un prix littéraire francophone remis annuellement à un roman écrit en français.

Nouveau!!: Kurt Gödel et Prix des libraires · Voir plus »

Prix Gödel

Le prix Gödel est une distinction créée en 1992 par l'European Association for Theoretical Computer Science (EATCS) et le Special Interest Group on Algorithms and Computation Theory (SIGACT) de l'Association for Computing Machinery (ACM) pour honorer des travaux remarquables d'informatique théorique.

Nouveau!!: Kurt Gödel et Prix Gödel · Voir plus »

Problème NP-complet

En théorie de la complexité, un problème NP-complet ou problème NPC (c'est-à-dire un problème complet pour la classe NP) est un problème de décision vérifiant les propriétés suivantes.

Nouveau!!: Kurt Gödel et Problème NP-complet · Voir plus »

Programme de Hilbert

Le programme de Hilbert est un programme créé par David Hilbert dans le but d'assurer les fondements des mathématiques.

Nouveau!!: Kurt Gödel et Programme de Hilbert · Voir plus »

Providence (Rhode Island)

Providence est la capitale et la ville la plus peuplée de l’État du Rhode Island, aux États-Unis.

Nouveau!!: Kurt Gödel et Providence (Rhode Island) · Voir plus »

Récursivement énumérable

En théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si.

Nouveau!!: Kurt Gödel et Récursivement énumérable · Voir plus »

Régime politique

Le régime politique ou la forme de gouvernement désigne l’organisation des pouvoirs et leur exercice au sein d’une entité politique donnée.

Nouveau!!: Kurt Gödel et Régime politique · Voir plus »

Recherche fondamentale

La recherche fondamentale consiste en des travaux expérimentaux ou théoriques entrepris principalement en vue d'acquérir de nouvelles connaissances sur les fondements des phénomènes et des faits observables, sans envisager une application ou une utilisation particulière.

Nouveau!!: Kurt Gödel et Recherche fondamentale · Voir plus »

Richard J. Lipton

Richard J. Lipton, naissance le, est un chercheur anglo-américain en informatique reconnu notamment pour son travail en algorithmique et en cryptographie.

Nouveau!!: Kurt Gödel et Richard J. Lipton · Voir plus »

Robert Solovay

Robert Martin Solovay, né le à Brooklyn (New York), est un mathématicien américain qui a travaillé en théorie des ensembles.

Nouveau!!: Kurt Gödel et Robert Solovay · Voir plus »

Royaume-Uni

Le Royaume-Uni (prononcé en français: Prononciation en français de France retranscrite selon la norme API.), en forme longue le Royaume-Uni de Grande-Bretagne et d'Irlande du Nord.

Nouveau!!: Kurt Gödel et Royaume-Uni · Voir plus »

Rudolf Carnap

Rudolf Carnap, né le à Ronsdorf et mort le à Santa Monica, est un philosophe allemand naturalisé américain en 1941.

Nouveau!!: Kurt Gödel et Rudolf Carnap · Voir plus »

Russie

La Russie (en Россия, Rossiïa), en forme longue la fédération de Russie (en Российская Федерация, Rossiïskaïa Federatsiïa), est un État fédéral transcontinental, le plus vaste État de la planète, à cheval sur l'Asie du Nord (80 % de sa superficie) et sur l'Europe (20 %).

Nouveau!!: Kurt Gödel et Russie · Voir plus »

San Francisco

San Francisco (signifiant en espagnol, prononcé en anglais américain: et en français), officiellement « » (en anglais: « »), est une ville des États-Unis et l'un des comtés de l'État de Californie.

Nouveau!!: Kurt Gödel et San Francisco · 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!!: Kurt Gödel et Seconde Guerre mondiale · Voir plus »

Sibérie

La Sibérie est une région d’Asie, située en Russie et s'étendant sur une surface de de kilomètres carrés, très riche en ressources naturelles mais extrêmement peu peuplée: d'habitants en tout, soit environ au kilomètre carré.

Nouveau!!: Kurt Gödel et Sibérie · Voir plus »

Solomon Feferman

Solomon Feferman (-) est un philosophe et mathématicien américain actif en logique mathématique.

Nouveau!!: Kurt Gödel et Solomon Feferman · 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!!: Kurt Gödel et Stephen Cole Kleene · Voir plus »

Système logique

Un système logique est un système formel dédié au raisonnement et aux déductions logiques.

Nouveau!!: Kurt Gödel et Système logique · Voir plus »

Tchécoslovaquie

La Tchécoslovaquie est un État souverain qui exista en Europe centrale durant 68 ans, sous plusieurs formes constitutionnelles successives, du au et du au; entre ces deux périodes, pendant la Seconde Guerre mondiale, elle était reconnue de jure par les Alliés mais de facto ne contrôlait pas son territoire, alors occupé par l'Axe et ses satellites.

Nouveau!!: Kurt Gödel et Tchécoslovaquie · Voir plus »

Tchéquie

La Tchéquie, en forme longue la République tchèque (en Česko et Česká republika), est un pays d'Europe centrale sans accès à la mer, entouré par la Pologne au nord-est, l’Allemagne au nord-ouest et à l’ouest, l’Autriche au sud et la Slovaquie à l'est-sud-est.

Nouveau!!: Kurt Gödel et Tchéquie · Voir plus »

Textile

''La Fileuse'', William Bouguereau, XIXe siècle. Détail d'un objet tissé. Un textile est un matériau susceptible d'être tissé ou tricoté.

Nouveau!!: Kurt Gödel et Textile · Voir plus »

Théologie

Raphaël, v. 1509. La théologie (en grec ancien, littéralement « discours rationnel sur la divinité ou le divin, le ») est un ensemble de champs disciplinaires qui concernent l'idée de Dieu ou du divin.

Nouveau!!: Kurt Gödel et Théologie · Voir plus »

Théorème

En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes.

Nouveau!!: Kurt Gödel et Théorème · 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!!: Kurt Gödel et Théorème de complétude de Gödel · Voir plus »

Théorèmes d'incomplétude de Gödel

Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).

Nouveau!!: Kurt Gödel et Théorèmes d'incomplétude de Gödel · Voir plus »

Théorie

Une théorie (du grec theoria, « contempler, observer, examiner ») est un ensemble cohérent, si elle prétend à la scientificité, d'explications, de notions ou d'idées sur un sujet précis, pouvant inclure des lois et des hypothèses, induites par l'accumulation de faits provenant de l'observation, l'expérimentation ou, dans le cas des mathématiques, déduites d'une base axiomatique donnée: théorie des matrices, des torseurs, des probabilités.

Nouveau!!: Kurt Gödel et Théorie · Voir plus »

Théorie de la calculabilité

La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique.

Nouveau!!: Kurt Gödel et Théorie de la calculabilité · Voir plus »

Théorie des ensembles

La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.

Nouveau!!: Kurt Gödel et Théorie des ensembles · Voir plus »

Transmigration des âmes

La transmigration des âmes est un concept de philosophie métaphysique et de théologie selon lequel, après la mort généralement, l'âme quitte le corps et trouve une nouvelle enveloppe ou forme d'existence.

Nouveau!!: Kurt Gödel et Transmigration des âmes · Voir plus »

Transsibérien

Le Chemin de fer transsibérien.

Nouveau!!: Kurt Gödel et Transsibérien · Voir plus »

Troisième Reich

Le Troisième Reich désigne l'État allemand nazi dirigé par Adolf Hitler de 1933 à 1945.

Nouveau!!: Kurt Gödel et Troisième Reich · Voir plus »

Trouble psychique

Un trouble psychique, qui peut être également désigné sous les termes de trouble psychiatrique ou encore de trouble mental, désigne un ensemble d'affections et troubles d'origines très différentes entraînant des difficultés dans la vie d'un individu et/ou de son entourage, des souffrances et des troubles émotionnels et du comportement.

Nouveau!!: Kurt Gödel et Trouble psychique · Voir plus »

Univers de Gödel

L'univers de Gödel est une solution aux équations de la relativité générale publiée par le mathématicien Kurt Gödel en 1949.

Nouveau!!: Kurt Gödel et Univers de Gödel · 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!!: Kurt Gödel et Université de Princeton · Voir plus »

Université de Vienne

L'université de Vienne (allemand: Universität Wien), ou lAlma mater Rudolphina est une université fondée le par Rodolphe IV.

Nouveau!!: Kurt Gödel et Université de Vienne · Voir plus »

Université Harvard

Luniversité Harvard, ou plus simplement Harvard, est une université privée américaine située à Cambridge, ville de l'agglomération de Boston, dans le Massachusetts.

Nouveau!!: Kurt Gödel et Université Harvard · Voir plus »

Université Yale

Luniversité Yale (en anglais: Yale University ou YU) est une université privée américaine située à New Haven dans le Connecticut.

Nouveau!!: Kurt Gödel et Université Yale · Voir plus »

Vienne (Autriche)

Sceau. Logo. Vienne est la capitale et la plus grande ville de l'Autriche; elle est aussi l'un des neuf Länder (État fédéré) du pays.

Nouveau!!: Kurt Gödel et Vienne (Autriche) · Voir plus »

Walter de Gruyter

Walter de Gruyter GmbH, appelé généralement De Gruyter (en Walter de Gruyter Verlag) est une maison d'édition allemande fondée en 1749, spécialisée dans les publications universitaires.

Nouveau!!: Kurt Gödel et Walter de Gruyter · Voir plus »

Wang Hao (logicien)

Wang Hao (ou à Jinan (Chine) - à New York) est un logicien, philosophe et mathématicien sino-américain.

Nouveau!!: Kurt Gödel et Wang Hao (logicien) · Voir plus »

Willard Van Orman Quine

Willard Van Orman Quine, né le à Akron (Ohio et mort le à Boston (Massachusetts), est un philosophe, logicien et universitaire américain, l'un des principaux représentants de la philosophie analytique. Il est titulaire de la chaire Edgar Pierce en tant que professeur de philosophie à l'université Harvard de 1956 à 2000. Quine est l’auteur de nombreux articles, dont notamment Deux dogmes de l'empirisme, article célèbre de 1951 qui remet en cause la distinction entre énoncés analytiques et énoncés synthétiques, et Le Mot et la Chose en 1960, où il propose sa thèse de l'indétermination de la traduction et une critique de la notion de « signification ». L’œuvre de Quine a eu une influence majeure dans les domaines de la philosophie, de la logique, de l'épistémologie et de la sémantique. Son projet d'une « épistémologie naturalisée » a notamment permis d'amorcer un tournant dans la pensée contemporaine.

Nouveau!!: Kurt Gödel et Willard Van Orman Quine · Voir plus »

Yannick Grannec

Yannick Grannec, née en 1969, est une écrivaine française.

Nouveau!!: Kurt Gödel et Yannick Grannec · Voir plus »

(3366) Gödel

(3366) Gödel est un astéroïde de la ceinture principale.

Nouveau!!: Kurt Gödel et (3366) Gödel · Voir plus »

Redirections ici:

Gödel, Kurt Godel.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »