Presburgerova aritmetika je jeden z axiomatických systémů formální teorie aritmetiky. Je podstatně slabší než Peanova aritmetika, zejména proto, že v jazyce neobsahuje symbol pro násobení. Pojmenována je po polském matematikovi Mojżeszi Presburgerovi, který tuto axiomatiku publikoval v roce 1929.

PropertyValue
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • Presburgerova aritmetika je jeden z axiomatických systémů formální teorie aritmetiky. Je podstatně slabší než Peanova aritmetika, zejména proto, že v jazyce neobsahuje symbol pro násobení. Pojmenována je po polském matematikovi Mojżeszi Presburgerovi, který tuto axiomatiku publikoval v roce 1929.
dbpedia-owl:wikiPageID
  • 147108 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1591 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 20 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 9883091 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Presburgerova
  • Presburgerova aritmetika
  • Presburgově aritmetice
dcterms:subject
rdfs:comment
  • Presburgerova aritmetika je jeden z axiomatických systémů formální teorie aritmetiky. Je podstatně slabší než Peanova aritmetika, zejména proto, že v jazyce neobsahuje symbol pro násobení. Pojmenována je po polském matematikovi Mojżeszi Presburgerovi, který tuto axiomatiku publikoval v roce 1929.
rdfs:label
  • Presburgerova aritmetika
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of