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.

Axiomatisable

Adjectif singulier invariant en genre

en philosophie, qualifie une théorie qui peut être axiomatisée

"AXIOMATISABLE" dans l'encyclopédie

DÉMONSTRATION THÉORIE DE LA

  • Écrit par 
  • Jean-Yves GIRARD
  •  • 6 261 mots
  •  • 1 média

axiomatisable de AP et A un énoncé arbitraire à une variable libre x ; soit enfin ThmT (⌈A⌉) l'énoncé de AP qui exprime que A est démontrable dans T. On a :Pour la démonstration, on se ramène au cas où T est le calcul des prédicats ; il s'agit de montrerLire la suite

RÉCURSIVITÉ, logique mathématique

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

donc exactement les mêmes propriétés. Ce résultat correspond à la partie élémentaire du premier théorème de Gödel. La seconde partie de ce théorème dit que la théorie T1 est essentiellement indécidable, c'est-à-dire que toute théorie récursivement axiomatisable T qui contient T1Lire la suite