This HTML5 document contains 65 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://ncatlab.org/nlab/show/
n22http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n8http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n17http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Arithmétique_de_Robinson
rdfs:label
Aritmética de Robinson Arithmétique de Robinson Aritmetica di Robinson ロビンソン算術 Robinson-Arithmetik
rdfs:comment
L'arithmétique de Robinson introduite en 1950 par Raphael Robinson est une théorie du premier ordre pour l'arithmétique des entiers naturels, qui est finiment axiomatisable. Ses axiomes sont essentiellement ceux de l'arithmétique de Peano sans le schéma d'axiomes de récurrence. L'arithmétique de Robinson suffit pour le théorème d'incomplétude de Gödel-Rosser et pour le théorème de Church (indécidabilité du problème de la décision), au sens où l'arithmétique de Robinson, et même toute théorie axiomatique dans le langage de l'arithmétique qui est récursive et cohérente et qui a pour conséquence les axiomes de l'arithmétique de Robinson, est nécessairement incomplète et indécidable. L'arithmétique de Robinson étant finiment axiomatisable, l'indécidabilité du calcul des prédicats du premier or
rdfs:seeAlso
n14:Robinson_arithmetic
owl:sameAs
dbpedia-ja:ロビンソン算術 dbr:Robinson_arithmetic dbpedia-pt:Aritmética_de_Robinson wikidata:Q928884 dbpedia-cs:Robinsonova_aritmetika dbpedia-it:Aritmetica_di_Robinson n17:4962995 dbpedia-de:Robinson-Arithmetik n22:07m3f2
dbo:wikiPageID
3650989
dbo:wikiPageRevisionID
183955392
dbo:wikiPageWikiLink
dbpedia-fr:Raisonnement_par_récurrence dbpedia-fr:Entier_naturel dbpedia-fr:Complétude dbpedia-fr:Relation_d'ordre dbpedia-fr:Multiplication dbpedia-fr:Modèle_non_standard_de_l'arithmétique dbpedia-fr:Isomorphisme dbpedia-fr:Problème_de_la_décision dbpedia-fr:Théorie_des_modèles dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Signature_(logique) category-fr:Arithmétique dbpedia-fr:Fonction_récursive_primitive dbpedia-fr:Décidabilité dbpedia-fr:Injection_(mathématiques) dbpedia-fr:Addition dbpedia-fr:Fonction_successeur dbpedia-fr:Variable_libre dbpedia-fr:Opération dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel category-fr:Logique_mathématique dbpedia-fr:Théorie_axiomatique dbpedia-fr:Zéro dbpedia-fr:Raphael_Robinson
dbo:wikiPageLength
7859
dct:subject
category-fr:Logique_mathématique category-fr:Arithmétique
prop-fr:wikiPageUsesTemplate
n8:Article_détaillé n8:Cori-Lascar_II n8:Ouvrage n8:Portail
prov:wasDerivedFrom
wikipedia-fr:Arithmétique_de_Robinson?oldid=183955392&ns=0
prop-fr:année
1991
prop-fr:isbn
3 978 0
prop-fr:langue
en
prop-fr:lieu
Berlin
prop-fr:nom
Smorynski
prop-fr:pagesTotales
405
prop-fr:prénom
Craig
prop-fr:titre
Logical Number Theory I -- An Introduction
prop-fr:éditeur
Springer Verlag
prop-fr:bnf
373857986
foaf:isPrimaryTopicOf
wikipedia-fr:Arithmétique_de_Robinson
dbo:abstract
L'arithmétique de Robinson introduite en 1950 par Raphael Robinson est une théorie du premier ordre pour l'arithmétique des entiers naturels, qui est finiment axiomatisable. Ses axiomes sont essentiellement ceux de l'arithmétique de Peano sans le schéma d'axiomes de récurrence. L'arithmétique de Robinson suffit pour le théorème d'incomplétude de Gödel-Rosser et pour le théorème de Church (indécidabilité du problème de la décision), au sens où l'arithmétique de Robinson, et même toute théorie axiomatique dans le langage de l'arithmétique qui est récursive et cohérente et qui a pour conséquence les axiomes de l'arithmétique de Robinson, est nécessairement incomplète et indécidable. L'arithmétique de Robinson étant finiment axiomatisable, l'indécidabilité du calcul des prédicats du premier ordre dans le langage de l'arithmétique se déduit immédiatement de ce dernier résultat. On peut également en déduire par codage cette indécidabilité pour d'autres langages.