| 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)
- In mathematical logic, Tarski's high school algebra problem was a question posed by Alfred Tarski. It asks whether there are identities involving addition, multiplication, and exponentiation over the positive integers that cannot be proved using eleven axioms about these operations that are taught in high-school-level mathematics. The question was solved in 1980 by Alex Wilkie, who showed that such unprovable identities do exist. (en)
- Problem algebry licealnej Tarskiego (ang. High School Identities) – problem z zakresu logiki matematycznej postawiony przez Alfreda Tarskiego. Jego istotą jest pytanie o istnienie takich tożsamości zawierających dodawanie, mnożenie i potęgowanie dodatnich liczb całkowitych, których nie można udowodnić, korzystając jedynie z jedenastu aksjomatów dotyczących tych działań, zawartych w programie matematyki licealnej. Problem rozwiązał w roku 1980, pokazując, że takie tożsamości istnieją. (pl)
- Задача Тарского по школьной алгебре спрашивает, есть ли тождество над целыми положительными числами с использованием сложения, умножения и возведения в степень, которое не следует из набора тождеств, преподаваемых в школе. (ru)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 10257 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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)
- In mathematical logic, Tarski's high school algebra problem was a question posed by Alfred Tarski. It asks whether there are identities involving addition, multiplication, and exponentiation over the positive integers that cannot be proved using eleven axioms about these operations that are taught in high-school-level mathematics. The question was solved in 1980 by Alex Wilkie, who showed that such unprovable identities do exist. (en)
- Problem algebry licealnej Tarskiego (ang. High School Identities) – problem z zakresu logiki matematycznej postawiony przez Alfreda Tarskiego. Jego istotą jest pytanie o istnienie takich tożsamości zawierających dodawanie, mnożenie i potęgowanie dodatnich liczb całkowitych, których nie można udowodnić, korzystając jedynie z jedenastu aksjomatów dotyczących tych działań, zawartych w programie matematyki licealnej. Problem rozwiązał w roku 1980, pokazując, że takie tożsamości istnieją. (pl)
- Задача Тарского по школьной алгебре спрашивает, есть ли тождество над целыми положительными числами с использованием сложения, умножения и возведения в степень, которое не следует из набора тождеств, преподаваемых в школе. (ru)
|
| rdfs:label
|
- Problème d'algèbre de lycée de Tarski (fr)
- Problem algebry licealnej Tarskiego (pl)
- Tarski's high school algebra problem (en)
- Задача Тарского по школьной алгебре (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
