Dictionnaire

Le Dictionnaire Cordial comporte plus de 120 000 entrées. Il reconnaît les formes fléchies (féminin, pluriel, conjugaison des verbes). Les noms propres ne sont pas pris en compte.

Indécidable

Adjectif singulier invariant en genre

en logique, se dit d'une proposition, d'un énoncé qui ne peut être ni démontré ni réfuté

"INDECIDABLE" dans l'encyclopédie

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Kenneth Mc ALOON, 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE
  •  • 9 371 mots

que d'autres couples, par exemple (2, n), n ∈ N, ne conviennent pas. La frontière entre le « décidable » et l'« indécidable » exprimée sous cette forme est encore mal connue et pose des problèmes difficiles d'arithmétique. Pour terminer ce chapitre […] Lire la suite

ROBINSON JULIA (1919-1985)

  • Écrit par 
  • Gabriel SABBAGH
  •  • 1 026 mots

en 1949, elle donna une formule de premier ordre définissant les entiers parmi les rationnels, d'où elle déduisit immédiatement que la théorie du corps des rationnels est indécidable et , par extension, que la théorie des corps est aussi indécidable. Il s'agissait là des premiers résultats d' […] Lire la suite

INFORMATIQUE - Principes

  • Écrit par 
  • Jacques HEBENSTREIT
  •  • 3 097 mots
  •  • 2 médias

pseudo-algorithme, permettrait de trancher la question. Malheureusement, et ce résultat est d'une extrême importance, on démontre qu'il est impossible de construire un tel algorithme ; ce problème est indécidable. En termes de programmation, cela revient à dire qu'il est impossible d'écrire un […] Lire la suite

PROGRAMMATION

  • Écrit par 
  • Jean-François MONIN
  •  • 7 832 mots

programme va se terminer ou non (techniquement, on dit que le problème de l'arrêt des machines de Turing est indécidable). Les démonstrations utilisent de manière intensive les notions d'interprétation et de compilation : une étape clé consiste à définir une machine de Turing […] Lire la suite