Modèle non standard

Modèle non standard

En logique mathématique, plus précisément en théorie des modèles, un modèle non standard est un modèle dont l'ensemble de base est différent du modèle "standard". Les propositions qui sont vraies dans le modèle standard sont vraies dans le modèle non standard (puisqu'il s'agit d'une extension élémentaire (en)), mais dans le nouveau modèle, de nouvelles tautologies surgiront dues à la présence de nouveaux éléments dans l'ensemble de base, plus large.

Des exemples de modèles non standard sont ceux de la théorie des ensembles, de l'analyse non standard, et de l'arithmétique non standard.

Articles connexes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Modèle non standard de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Modele non standard — Modèle non standard Dans la théorie des modèles, un modèle non standard est un modèle dont l ensemble de base est différent (plus large) que le modèle standard . Les propositions qui sont vraies dans le modèle standard sont vraies dans le modèle… …   Wikipédia en Français

  • Modèle Non Standard — Dans la théorie des modèles, un modèle non standard est un modèle dont l ensemble de base est différent (plus large) que le modèle standard . Les propositions qui sont vraies dans le modèle standard sont vraies dans le modèle non standard (par sa …   Wikipédia en Français

  • non standard — ● non standard adjectif Qui ne répond pas aux canons d un modèle habituel, aux normes courantes d un appareil. ● non standard (expressions) adjectif Analyse ou mathématique non standard, domaine des mathématiques développé en 1966 par A. Robinson …   Encyclopédie Universelle

  • Arithmétique non-standard — Sommaire 1 Historique 2 Définition 3 Existence 4 Modèles dénombrables 5 …   Wikipédia en Français

  • Arithmétique non standard — En logique mathématique, un modèle non standard de l arithmétique est un modèle du premier ordre utilisant les axiomes de Peano qui contient les nombres non standards. Le modèle standard de l arithmétique contient l ensemble des nombres naturels… …   Wikipédia en Français

  • Analyse non standard — En mathématiques, et plus précisément en analyse, l analyse non standard est un ensemble d outils développés depuis 1960 afin de traiter la notion d infiniment petit de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d… …   Wikipédia en Français

  • Analyse Non Standard — L analyse non standard est une branche des mathématiques développée depuis 1960 afin de traiter la notion d infiniment petit de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d objet standard et d objet non standard , ou …   Wikipédia en Français

  • Analyse non-standard — L analyse non standard est une branche des mathématiques développée depuis 1960 afin de traiter la notion d infiniment petit de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d objet standard et d objet non standard , ou …   Wikipédia en Français

  • Cosmologie Non Standard — Le modèle standard de la cosmologie est le nom donné au modèle cosmologique qui s est peu à peu imposé comme offrant la seule description réaliste de la majeure partie de l histoire de l univers, du Big Bang jusqu à nos jours. Un ensemble de… …   Wikipédia en Français

  • Cosmologie non-standard — Le modèle standard de la cosmologie est le nom donné au modèle cosmologique qui s est peu à peu imposé comme offrant la seule description réaliste de la majeure partie de l histoire de l univers, du Big Bang jusqu à nos jours. Un ensemble de… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”