| Property |
Value |
| dbo:abstract
|
- En logique mathématique, le théorème de Tennenbaum dit qu'aucun modèle dénombrable non-standard de l'arithmétique de Peano n'est calculable, c'est-à-dire essentiellement que l'addition et la multiplication ne sont pas toutes les deux calculables dans un tel modèle (en fait aucune des deux ne peut l'être). Ce théorème est dû à (en). (fr)
- En logique mathématique, le théorème de Tennenbaum dit qu'aucun modèle dénombrable non-standard de l'arithmétique de Peano n'est calculable, c'est-à-dire essentiellement que l'addition et la multiplication ne sont pas toutes les deux calculables dans un tel modèle (en fait aucune des deux ne peut l'être). Ce théorème est dû à (en). (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1375 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1959 (xsd:integer)
- 1991 (xsd:integer)
- 2011 (xsd:integer)
|
| prop-fr:isbn
|
- 0 (xsd:integer)
- 9781107008045 (xsd:decimal)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lieu
| |
| prop-fr:mois
|
- septembre (fr)
- septembre (fr)
|
| prop-fr:nom
|
- Kaye (fr)
- Tennenbaum (fr)
- Kaye (fr)
- Tennenbaum (fr)
|
| prop-fr:page
| |
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- Richard (fr)
- Stanley (fr)
- Richard (fr)
- Stanley (fr)
|
| prop-fr:revue
|
- Notices of the American Mathematical Society (fr)
- Notices of the American Mathematical Society (fr)
|
| prop-fr:series
|
- Lecture Notes in Logic (fr)
- Lecture Notes in Logic (fr)
|
| prop-fr:titre
|
- Models of Peano arithmetic (fr)
- Non-Archimedean models for arithmetic (fr)
- Tennenbaum's Theorem for Models of Arithmetic (fr)
- Models of Peano arithmetic (fr)
- Non-Archimedean models for arithmetic (fr)
- Tennenbaum's Theorem for Models of Arithmetic (fr)
|
| prop-fr:titreOuvrage
|
- Set theory, arithmetic, and foundations of mathematics - theorems, philosophies (fr)
- Set theory, arithmetic, and foundations of mathematics - theorems, philosophies (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 6 (xsd:integer)
- 36 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, le théorème de Tennenbaum dit qu'aucun modèle dénombrable non-standard de l'arithmétique de Peano n'est calculable, c'est-à-dire essentiellement que l'addition et la multiplication ne sont pas toutes les deux calculables dans un tel modèle (en fait aucune des deux ne peut l'être). Ce théorème est dû à (en). (fr)
- En logique mathématique, le théorème de Tennenbaum dit qu'aucun modèle dénombrable non-standard de l'arithmétique de Peano n'est calculable, c'est-à-dire essentiellement que l'addition et la multiplication ne sont pas toutes les deux calculables dans un tel modèle (en fait aucune des deux ne peut l'être). Ce théorème est dû à (en). (fr)
|
| rdfs:label
|
- Satz von Tennenbaum (de)
- Tennenbaum's theorem (en)
- Théorème de Tennenbaum (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
