Property |
Value |
dbo:abstract
|
- Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe. Als Axiome werden die Peano-Axiome verwendet, wobei das Induktionsaxiom durch ein Axiomenschema ersetzt werden muss. Da in der Prädikatenlogik erster Stufe keine Aussage über Mengen von Objekten möglich ist, benötigt man für jede Formel das Axiom Andere erststufige Formalisierungen der natürlichen Zahlen, die mit der Peano-Arithmetik verwandt sind, sind beispielsweise die Robinson-Arithmetik und die Primitiv rekursive Arithmetik, die auch Teile der Peano-Axiome benutzen. (de)
- Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe. Als Axiome werden die Peano-Axiome verwendet, wobei das Induktionsaxiom durch ein Axiomenschema ersetzt werden muss. Da in der Prädikatenlogik erster Stufe keine Aussage über Mengen von Objekten möglich ist, benötigt man für jede Formel das Axiom Andere erststufige Formalisierungen der natürlichen Zahlen, die mit der Peano-Arithmetik verwandt sind, sind beispielsweise die Robinson-Arithmetik und die Primitiv rekursive Arithmetik, die auch Teile der Peano-Axiome benutzen. (de)
|
dbo:author
| |
dbo:isbn
| |
dbo:originalTitle
|
- Einführung in die mathematische Logik (de)
- Messen und Zählen (de)
- Einführung in die mathematische Logik (de)
- Messen und Zählen (de)
|
dbo:wikiPageID
| |
dbo:wikiPageRevisionID
| |
prop-de:auflage
| |
prop-de:jahr
|
- 1969 (xsd:integer)
- 2007 (xsd:integer)
|
prop-de:ort
| |
prop-de:titelerg
|
- Eine einfache Konstruktion der reellen Zahlen
|
dc:publisher
|
- Heldermann Verlag
- B. G. Teubner Stuttgart
|
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe. Als Axiome werden die Peano-Axiome verwendet, wobei das Induktionsaxiom durch ein Axiomenschema ersetzt werden muss. Da in der Prädikatenlogik erster Stufe keine Aussage über Mengen von Objekten möglich ist, benötigt man für jede Formel das Axiom (de)
- Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe. Als Axiome werden die Peano-Axiome verwendet, wobei das Induktionsaxiom durch ein Axiomenschema ersetzt werden muss. Da in der Prädikatenlogik erster Stufe keine Aussage über Mengen von Objekten möglich ist, benötigt man für jede Formel das Axiom (de)
|
rdfs:label
|
- Peano-Arithmetik (de)
- Peano-Arithmetik (de)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is foaf:primaryTopic
of | |