Concept information
Terme préférentiel
Gödel's incompleteness theorem
Définition(s)
-
Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems)
Concept(s) générique(s)
Traductions
-
français
URI
http://data.loterre.fr/ark:/67375/PSR-J3KL8M8V-R
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}