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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n4https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Elementary_algebra
dbo:wikiPageWikiLink
dbr:Tarski's_high_school_algebra_problem
Subject Item
dbr:Alex_Wilkie
dbo:wikiPageWikiLink
dbr:Tarski's_high_school_algebra_problem
Subject Item
dbr:Hilbert's_tenth_problem
dbo:wikiPageWikiLink
dbr:Tarski's_high_school_algebra_problem
Subject Item
dbr:Cartesian_closed_category
dbo:wikiPageWikiLink
dbr:Tarski's_high_school_algebra_problem
Subject Item
dbr:List_of_things_named_after_Alfred_Tarski
dbo:wikiPageWikiLink
dbr:Tarski's_high_school_algebra_problem
Subject Item
dbr:Tarski's_problem
dbo:wikiPageWikiLink
dbr:Tarski's_high_school_algebra_problem
Subject Item
dbr:Tarski's_high_school_algebra_problem
rdf:type
dbo:Work
rdfs:label
Tarski's high school algebra problem Problème d'algèbre de lycée de Tarski Задача Тарского по школьной алгебре Problem algebry licealnej Tarskiego
rdfs:comment
Задача Тарского по школьной алгебре спрашивает, есть ли тождество над целыми положительными числами с использованием сложения, умножения и возведения в степень, которое не следует из набора тождеств, преподаваемых в школе. 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. 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ą. 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.
dcterms:subject
dbc:Theorems_in_the_foundations_of_mathematics dbc:Universal_algebra
dbo:wikiPageID
21394895
dbo:wikiPageRevisionID
1122953254
dbo:wikiPageWikiLink
dbr:Finite_axiomatization dbr:Formal_proof dbr:Exponentiation dbr:Mathematical_proof dbr:Alex_Wilkie dbr:Mathematics dbr:Natural_number dbr:Integer dbr:Alfred_Tarski dbr:Multiplication dbr:Richard_Dedekind dbr:Exponential_field dbr:Karen_Yeats dbr:Identity_(mathematics) dbr:Addition dbc:Theorems_in_the_foundations_of_mathematics dbr:Mathematical_logic dbr:Subtraction dbr:Polynomial dbr:Model_theory dbc:Universal_algebra dbr:Bicartesian_closed_category dbr:Algebra_(ring_theory) dbr:Nevanlinna_theory dbr:Additive_inverse dbr:Algebra_Universalis dbr:Axiom dbr:Coefficient
owl:sameAs
n4:4vySe dbpedia-ru:Задача_Тарского_по_школьной_алгебре freebase:m.05f6tt9 dbpedia-pl:Problem_algebry_licealnej_Tarskiego wikidata:Q7686759 dbpedia-fr:Problème_d'algèbre_de_lycée_de_Tarski
dbp:wikiPageUsesTemplate
dbt:Short_description dbt:Mathematical_logic dbt:MathSciNet dbt:Annotated_link dbt:Reflist
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. Задача Тарского по школьной алгебре спрашивает, есть ли тождество над целыми положительными числами с использованием сложения, умножения и возведения в степень, которое не следует из набора тождеств, преподаваемых в школе. 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. 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ą.
gold:hypernym
dbr:Question
prov:wasDerivedFrom
wikipedia-en:Tarski's_high_school_algebra_problem?oldid=1122953254&ns=0
dbo:wikiPageLength
10257
foaf:isPrimaryTopicOf
wikipedia-en:Tarski's_high_school_algebra_problem
Subject Item
wikipedia-en:Tarski's_high_school_algebra_problem
foaf:primaryTopic
dbr:Tarski's_high_school_algebra_problem