Arithmétique de Robinson


Arithmétique de Robinson

L'arithmétique de Robinson (en) est une partie finiment axiomatisable de l'arithmétique de Peano des entiers naturels. Il lui manque le schéma d'axiomes de récurrence (appelé aussi induction).

Axiomatique

On définit comme dans l'arithmétique de Peano une fonction successeur :

S(x) = x + 1

Les axiomes sont :

  • (R1) \forall x,0\neq S(x). Zéro n'est le successeur d'aucun nombre
  • (R2) \forall x,\forall y,S(x)=S(y)\Rightarrow x=y
  • (R3) \forall x,x+0=x
  • (R4) \forall x,\forall y,x+S(y)=S(x+y)
  • (R5) \forall x,x.0=0
  • (R6) \forall x,\forall y, x.S(y)=x.y+x

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Arithmétique de Robinson de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • 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 de Peano — Axiomes de Peano Les axiomes de Peano sont, en mathématiques, un ensemble d axiomes de second ordre proposés par Giuseppe Peano pour définir l arithmétique[1]. Sommaire 1 Axiomes 2 Arithmétique de Peano …   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

  • Déployeur universel de programmes — Cet article concerne le concept philosophique. Pour la notion d informatique théorique, voir Déployeur universel. Le déployeur universel a été conçu théoriquement dans le cadre du mécanisme digital, une théorie supposant que tout est… …   Wikipédia en Français

  • LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • MODÈLES (THÉORIE DES) — «Modèle» est un terme qui appartient au vocabulaire de la plupart des sciences et qui a des significations multiples [cf. MODÈLE]. Ainsi, dans les sciences humaines, on entend généralement par modèle une théorie conçue pour expliquer un ensemble… …   Encyclopédie Universelle

  • Histoire Des Mathématiques — Article de la série Histoire des sciences Chronologie Chronologie des sciences Chronologie de l astronomie …   Wikipédia en Français

  • Histoire des mathematiques — Histoire des mathématiques Article de la série Histoire des sciences Chronologie Chronologie des sciences Chronologie de l astronomie …   Wikipédia en Français