Résultats de la recherche

...élération de Gödel''' (ou '''théorème de speed-up'''), démontré par [[Kurt Gödel]] en 1936, montre l'existence de théorèmes ayant des démonstrations très lo [[Kurt Gödel]], en adaptant sa démonstration du [[théorèmes d'incomplétude de Gödel|premier théorème d'incomplétude]], a construit des exemples explicites d'as ...

[[Fichier:Kurt gödel.jpg|vignette|Portrait de Kurt Friedrich Gödel (1906 – 1978), vers 1926]] ...Gödel|théorèmes d'incomplétude]]<ref>{{Article|langue=de|prénom1=Kurt|nom1=Gödel|titre=Über formal unentscheidbare Sätze der Principia Mathematica und verwa ...

...e du second [[Théorèmes d'incomplétude de Gödel|théorème d'incomplétude de Gödel]]<ref>{{Article|prénom1=M. H.|nom1=Löb|titre=Solution of a problem of Leon ...e formule qui exprime que la formule ''P'', de [[Codage de Gödel|numéro de Gödel]] ⌈''P''⌉, est démontrable dans ''T''. ...

...uréat devant l'assemblée générale de l'ASL. Ce prix porte le nom de [[Kurt Gödel]]. {{Catégorie principale|Gödel Lecturer}} ...

...a forme d'un argument formel de [[logique modale]] du mathématicien [[Kurt Gödel]] (1906-1978) en faveur de l'existence de [[Dieu]]. L'idée de l'argumentati ...emplifiée<ref name="oppy">{{Lien web |langue=en|auteur=Graham Oppy |titre= Gödel’s Ontological Argument |url=http://plato.stanford.edu/entries/ontological-a ...

[[Kurt Gödel|Gödel]] a prouvé un [[théorème de complétude de Gödel|théorème de complétude]] qui affirme que ces six schémas d'axiomes et ces d ...

...e logique mathématique à l’[[université de Vienne]] et directeur du ''Kurt Gödel Forschungszentrums'' de logique mathématique à cette université. * [http://www.logic.univie.ac.at/~sdf/ Page personnelle] au ''Kurt Gödel Forschungszentrum'' de l'[[université de Vienne]] ...

...ions de la [[relativité générale]] publiée par le [[mathématicien]] [[Kurt Gödel]] en [[1949]]. L'univers de Gödel est un [[modèle cosmologique]]{{sfn|Prigogine|1985|loc={{sec.|17.7}}|p=248} ...

...itulée ''Inner Models and Large Cardinals''<ref>{{Lien web|langue=en|titre=Gödel Lecturers|url=http://www.aslonline.org/Goedel_lecturers.html|site=aslonline ...php?id=42 De brèves biographies] des anciens présidents de la Société Kurt Gödel. ...

=== La traduction de Gödel === ...ique minimale. A' est obtenue au moyen de la '''traduction de [[Kurt Gödel|Gödel]]''', définie inductivement comme suit : ...

...ogique ([[essentialisme]] et existentialisme, [[théorème d'incomplétude de Gödel]], [[calcul des séquents]]), poursuit sur la [[correspondance de Curry-Howa ...Le théorème de Gödel|auteurs=[[Ernest Nagel]], [[James R. Newman]], [[Kurt Gödel]] et Jean-Yves Girard|éditeur=Éditions du Seuil|année=1989}} ...

...de von Neumann-Bernays-Gödel|théorie des classes]] de von Neumann-Bernays-Gödel (NBG). ...nivers constructible|constructibilité]], une méthode développée par [[Kurt Gödel]] en 1936 dans le cadre de la théorie NBG pour montrer que l'hypothèse du c ...

...mon Feferman|auteur2=Charles Parsons|auteur3=Stephen G. Simpson|titre=Kurt Gödel|sous-titre=Essays for his Centennial|éditeur=Cambridge University Press|ann ...ependant pas confondre avec le [[prix Gödel]]</ref> : à la mémoire de Kurt Gödel l'ASL organise chaque année une conférence, le conférencier est sélectionné ...

...eb |langue=en|url=http://www.sigact.org/Prizes/Godel/2008.html |titre=Prix Gödel 2008 |nom=Parberry |prénom=Ian|éditeur=[[Special Interest Group on Algorith | prénom3=Kurt ...

...nelle est démontrable ou pas, on sait — depuis les travaux de [[Kurt Gödel|Gödel]], [[Alfred Tarski|Tarski]], [[Alonzo Church|Church]], [[Alan Turing|Turing ...ent si sa forme skolémisée l'est, et donc, par [[Théorème de complétude de Gödel|complétude]], la négation de la formule initiale est prouvable si et seulem ...

| [[Système T]] ([[Kurt Gödel]]) * le [[théorème d'incomplétude de Gödel]] qui dit qu'il y a des propositions qui sont indécidables correspond à un ...

[[Kurt Gödel]] et [[Gerhard Gentzen]] ont proposé la traduction<ref name=":0">{{Article| ...aduction a notamment permis à Gödel<ref>{{Article|langue=de|auteur1=[[Kurt Gödel]]|titre=''Zur intuitionistischen Arithmetik und Zahlentheorie''|périodique= ...

{{confusion|Théorèmes d'incomplétude de Gödel}} ...ogic |année=1953 |volume=18 |numéro=1 |pages=42–48 |doi=10.2307/2266326 }} Gödel proof.</ref>. ...

...dans T ; en 1931, [[Kurt Gödel]] a démontré [[Théorèmes d'incomplétude de Gödel|l’existence de tels énoncés]] (qu’il a construit explicitement) dans toute ...mps pensé que seuls des énoncés très artificiels, tels ceux construits par Gödel, étaient indécidables, et que des énoncés naturels, conformes à la pratique ...

...ans ZFC<ref>En fait dans la [[théorie des ensembles de von Neumann-Bernays-Gödel]], ce qui revient au même.</ref>. Elle est donc indépendante des axiomes de [[Kurt Gödel]] a démontré en [[1938]]<ref>{{Article|langue=en|prénom=Kurt|nom=Gödel|titre=The Consistency of the Axiom of Choice and of the Generalized Continu ...