About: Gödel's incompleteness theorems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Gödel's incompleteness theorems Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Gödel's incompleteness theorems (en) Gödelscher Unvollständigkeitssatz (de) Onvolledigheidsstellingen van Gödel (nl) Теореми Геделя про неповноту (uk) Teorema d'incompletesa de Gödel (ca) Teoremas de incompletitud de Gödel (es) Teoremi di incompletezza di Gödel (it) Théorèmes d'incomplétude de Gödel (fr) ゲーデルの不完全性定理 (ja)
rdfs:comment	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 (en) (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert. (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/GoedelsIncompletenessTheorem.html http://plato.stanford.edu/entries/goedel-incompleteness http://www.universalis.fr/encyclopedie/godel-theoremes-d-incompletude https://openlibrary.org/subjects/gödel's_theorem https://www.britannica.com/topic/incompleteness-theorem
sameAs	Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's incompleteness theorems
Wikipage page ID	55264 (xsd:integer)
Wikipage revision ID	191249055 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_de_la_démonstration category-fr:Théorie_des_modèles category-fr:Théorème_de_logique_mathématique Alan Turing Alfred Tarski Randomized algorithm Alonzo Church dbpedia-fr:Andrzej_Mostowski dbpedia-fr:Argument_de_la_diagonale_de_Cantor dbpedia-fr:Arithmétique_de_Presburger dbpedia-fr:Arithmétique_de_Robinson Rosser's trick Axiom of choice Peano axioms Tarski's axioms First-order logic category-fr:Kurt_Gödel Gödel numbering dbpedia-fr:Cohérence_(logique) dbpedia-fr:Corollaire dbpedia-fr:Corps_algébriquement_clos dbpedia-fr:Corps_commutatif dbpedia-fr:Corps_réel_clos Cristian S. Calude dbpedia-fr:David_Hilbert

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software