La langue française

Tarskienne

Sommaire

  • Phonétique de « tarskienne »
  • Citations contenant le mot « tarskienne »
  • Traductions du mot « tarskienne »

Phonétique du mot « tarskienne »

Mot Phonétique (Alphabet Phonétique International) Prononciation
tarskienne tarskjɛ̃n

Citations contenant le mot « tarskienne »

  • On trouve des considérations identiques dans le traité qu'il consacra à la logique. Premièrement, ce qu'il appelle la définition nominale de la vérité est celle que l'on utilise toujours de nos jours sous le nom de définition tarskienne de la vérité à la base de la sémantique tarskienne (utilisée en théorie des modèles). Ensuite, si l'on combine le théorème de Gödel auquel Perthmâd fait allusion (le théorème d'incomplétude) à une autre théorème fondamentale de Gödel (son théorème de complétude : une théorie est cohérente si et seulement si elle a un modèle), on aboutit à la conclusion du texte kantien cité ci-dessus. Une théorie (disons ZF, la théorie axiomatique des ensembles) qui fournirait un critère matérielle de sa vérité serait en mesure d'engendrer son propre contenu (fournirait un modèle d'elle-même), serait donc cohérente (en vertu du théorème de complétude) ce qui contredirait le théorème d'incomplétude. , Pourquoi la recherche en langages de programmation ? - LinuxFr.org

Traductions du mot « tarskienne »

Langue Traduction
Anglais tarskian
Espagnol tarskian
Italien tarskiano
Allemand tarskian
Chinois 塔斯基
Arabe الترسكية
Portugais tarskiano
Russe тарского
Japonais タルスキアン
Basque tarskian
Corse tarskian
Source : Google Translate API
Partager