énoncé indécidable [e.nɔ̃.se ɛ̃.de.si.dabl] (locution nominale) : Dans une théorie axiomatique formelle, énoncé dont ni la démonstration ni la réfutation ne peuvent être obtenues à partir des axiomes de cette théorie.
Synonymes de énoncé indécidable
énoncé indépendant· proposition indécidable
Antonymes de énoncé indécidable
énoncé décidable· théorèmeénoncé démontrable
Définitions
Locution nominale [e.nɔ̃.se ɛ̃.de.si.dabl]
- Dans une théorie axiomatique formelle, énoncé dont ni la démonstration ni la réfutation ne peuvent être obtenues à partir des axiomes de cette théorie.En 1931, le mathématicien autrichien Kurt Gödel a démontré que, dans un cadre axiomatique donné, certains énoncés mathématiques sont indécidables : il est impossible de prouver qu’ils sont vrais ou faux.
Étymologie
Composé de énoncé, du latin enuntiatum (« ce qui est énoncé, proposition ») et de indécidable, du latin decidere (« décider, trancher ») avec le préfixe privatif in-.
Mots voisins
ennuyeux· énochien· énoisage· énoiser· énonçable· énoncé· énoncée· énoncer· énonciateur· énonciation· énonciatrice· énophtalmie
Sources
- « énoncé indécidable », 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.