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écidabilité

Nom féminin singulier

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

"INDECIDABILITE" dans l'encyclopédie

RÉCURSIVITÉ, logique mathématique

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

lorsqu'on l'applique sur un argument y quelconque. Donc a est le programme d'une machine qui se reproduit. Indécidabilité de propriétés classiques Propriété b. Pour tout ensemble non vide A ⊂ FR( […] Lire la suite

FÉMINISME - Les théories

  • Écrit par 
  • Françoise COLLIN
  •  • 2 723 mots
  •  • 3 médias

, l'émancipation des femmes modifierait la conception même du monde commun. Le postmodernisme ou l'indécidabilité C'est sous l'influence du courant philosophique français dit postmétaphysique que se dessine une troisième position touchant à la définition théorique et pratique des sexes. On peut y relever […] Lire la suite

ROBINSON JULIA (1919-1985)

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

Née le 8 décembre 1919 à Saint. Louis, dans le Missouri, Julia Robinson fut une logicienne éminente et la mathématicienne américaine la plus connue du xxe siècle. Épouse d'un mathématicien de grand talent, Raphael M. Robinson, professeur à l'université de Californie à Berkeley, elle vit sa carrière académique contrariée par une réglementation qui inte […] Lire la suite

COMPLEXITÉ, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 1 627 mots

ordinateur. Elle énonce des résultats négatifs du type : il est impossible d'écrire un programme – aussi long et complexe soit-il – qui, chargé d'analyser d'autres programmes, repère ceux qui se perdent dans une boucle et ne se terminent jamais (indécidabilité de l'arrêt d'un programme). Ces preuves […] Lire la suite