| Property |
Value |
| dbo:abstract
|
- En logique mathématique, le problème d'algèbre de lycée de Tarski est une question posée par Alfred Tarski. Il demande s'il y a des identités utilisant l'addition, la multiplication et l'exponentiation sur les nombres entiers positifs qui ne peuvent pas être démontrées en utilisant onze axiomes portant sur ces opérations qui sont enseignées en mathématiques au niveau lycée. La question est résolue en 1980 par Alex Wilkie, qui a montré que de telles identités indémontrables existent. (fr)
- En logique mathématique, le problème d'algèbre de lycée de Tarski est une question posée par Alfred Tarski. Il demande s'il y a des identités utilisant l'addition, la multiplication et l'exponentiation sur les nombres entiers positifs qui ne peuvent pas être démontrées en utilisant onze axiomes portant sur ces opérations qui sont enseignées en mathématiques au niveau lycée. La question est résolue en 1980 par Alex Wilkie, qui a montré que de telles identités indémontrables existent. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8943 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, le problème d'algèbre de lycée de Tarski est une question posée par Alfred Tarski. Il demande s'il y a des identités utilisant l'addition, la multiplication et l'exponentiation sur les nombres entiers positifs qui ne peuvent pas être démontrées en utilisant onze axiomes portant sur ces opérations qui sont enseignées en mathématiques au niveau lycée. La question est résolue en 1980 par Alex Wilkie, qui a montré que de telles identités indémontrables existent. (fr)
- En logique mathématique, le problème d'algèbre de lycée de Tarski est une question posée par Alfred Tarski. Il demande s'il y a des identités utilisant l'addition, la multiplication et l'exponentiation sur les nombres entiers positifs qui ne peuvent pas être démontrées en utilisant onze axiomes portant sur ces opérations qui sont enseignées en mathématiques au niveau lycée. La question est résolue en 1980 par Alex Wilkie, qui a montré que de telles identités indémontrables existent. (fr)
|
| rdfs:label
|
- Problème d'algèbre de lycée de Tarski (fr)
- Задача Тарского по школьной алгебре (ru)
- Problème d'algèbre de lycée de Tarski (fr)
- Задача Тарского по школьной алгебре (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:renomméPour
of | |
| is prop-fr:titre
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
