MODÈLES THÉORIE DES

Autres références

• COHEN PAUL JOSEPH (1934-2007)

  • Écrit par Gabriel SABBAGH
  • 136 mots

  Mathématicien et logicien américain, Paul Joseph Cohen est né le 2 avril 1934 à Long Branch (New Jersey) et mort le 23 mars 2007 à Stanford (Californie). En 1963, Cohen a découvert une nouvelle construction de modèles, appelée forcing, qui joue désormais un rôle fondamental dans la théorie...

• CONTINU & DISCRET

  • Écrit par Jean-Michel SALANSKIS
  • 6 752 mots
  ...tel infini existe, ou qu'il n'existe pas : à supposer que les axiomes de la théorie des ensembles soient non contradictoires, c'est-à-dire qu'il existe un modèle de cette théorie (un univers de Zermelo-Fraenkel), on peut construire un nouveau « modèle » où l'on est sûr qu'aucun infini...

• DÉMONSTRATION THÉORIE DE LA

  • Écrit par Jean-Yves GIRARD
  • 5 403 mots
  • 1 média
  ...distingué Ω sont interprétés par un ordinal α et où la relation ≤ distinguée entre objets de type Ω est interprétée par l'ordre de α (B- modèles). Une réponse simple est donnée par : pour tout α, nous avons une démonstration au moyen de la α-règle, qui est l'analogue de la ω-règle, obtenu...

• FORME

  • Écrit par Jean PETITOT
  • 24 063 mots
  ...évolutions catastrophiques par franchissement de seuils. Il s'agit donc, dans ces modèles, d'adjoindre à la dynamique interne une dynamique « externe » lente. Depuis l'usage fait par Christopher Zeeman d'un tel système dynamique contraint pour la modélisation – désormais classique – de l'influx nerveux,...

• GÖDEL KURT (1906-1978)

  • Écrit par Daniel ANDLER
  • 2 017 mots
  ...propositions non réfutables et de l'étude sémantique des interprétations vérifiant un ensemble donné d'assertions (étude qui a pris le nom de théorie des modèles). Une conséquence immédiate mais fondamentale du théorème de complétude est le théorème de compacité, qui exprime le caractère...
• Afficher les 10 références