théorèmes d’incomplétude de Gödel \teo.ʁɛm d‿ɛ̃.kɔ̃.ple.tyd də ɡœ.dɛl\ (locution nominale) : Deux théorèmes fondamentaux de la logique mathématique, établis par Kurt Gödel en 1931, qui démontrent les limites de tout système formel cohérent suffisamment expressif pour y développer l’arithmétique élémentaire : le premier théorème établit qu’un tel système contient nécessairement des énoncés indécidables (ni démontrables, ni réfutables dans ce système) ; le second théorème établit que la cohérence d’un tel système ne peut être démontrée au sein de ce système lui-même.
Synonymes de théorèmes d’incomplétude de Gödel
théorèmes de Gödel
Définitions
Locution nominale \teo.ʁɛm d‿ɛ̃.kɔ̃.ple.tyd də ɡœ.dɛl\
- Deux théorèmes fondamentaux de la logique mathématique, établis par Kurt Gödel en 1931, qui démontrent les limites de tout système formel cohérent suffisamment expressif pour y développer l’arithmétique élémentaire : le premier théorème établit qu’un tel système contient nécessairement des énoncés indécidables (ni démontrables, ni réfutables dans ce système) ; le second théorème établit que la cohérence d’un tel système ne peut être démontrée au sein de ce système lui-même.
Étymologie
Locution nominale composée : – de théorèmes, du latin theorema issu du grec ancien θεώρημα, theốrêma (« spectacle, fête, contemplation, sujet d'étude. »), dérivé, avec le suffixe -μα, -ma, de θεωρέω, theôréô (« examiner, regarder, considérer »), de θέα, théa (« contemplation ») et ὁράω, horáô (« regarder, voir »), – d’incomplétude,dérivé de complet, avec le suffixe -tude, du latin completus (« rem…
Mots voisins
théorème de Fermat-Wiles· théorème de la calvitie· théorème de Moivre-Laplace· théorème de Pythagore· théorème de Thalès· théorème des gendarmes· théoricien· théoride· théorie· théorie alternative· théorie de l’esprit· théorie de l’évolution
Sources
- « théorèmes d’incomplétude de Gödel », Wiktionnaire, le dictionnaire libre. Texte sous licence CC BY-SA 4.0.
Une erreur, un synonyme manquant ? Corrigez la page du Wiktionnaire : la prochaine mise à jour de Synonyma la reprendra.