23 Beziehungen: Alfred Tarski, Andrzej Mostowski, Arithmetik, Arithmetische Hierarchie, Axiomenschema, Axiomensystem, Beweise der gödelschen Unvollständigkeitssätze, Entscheidbar, Extensionalitätsaxiom, George Boolos, Gleichheit, Hans Hermes, Leere Menge, Natürliche Zahl, Peano-Arithmetik, Prädikatenlogik, Raphael Robinson, Rekursiv aufzählbare Menge, Vollständige Induktion, Vollständigkeit (Logik), Widerspruchsfreiheit, Wolfgang Rautenberg, Zermelo-Fraenkel-Mengenlehre.
Alfred Tarski
Berkeley Alfred Tarski bzw.
Neu!!: Robinson-Arithmetik und Alfred Tarski · Mehr sehen »
Andrzej Mostowski
Andrzej Mostowski Andrzej Mostowski (* 1. November 1913 in Lwów (Lemberg); † 22. August 1975 in Vancouver) war ein polnischer Mathematiker und Logiker.
Neu!!: Robinson-Arithmetik und Andrzej Mostowski · Mehr sehen »
Arithmetik
Die Arithmetik (von, „Zahl“, davon abgeleitet das Adjektiv arithmētikós, „zum Zählen oder Rechnen gehörig“) ist ein Teilgebiet der Mathematik.
Neu!!: Robinson-Arithmetik und Arithmetik · Mehr sehen »
Arithmetische Hierarchie
Die Arithmetische Hierarchie ist ein Konzept der mathematischen Logik.
Neu!!: Robinson-Arithmetik und Arithmetische Hierarchie · Mehr sehen »
Axiomenschema
Der Begriff Axiomenschema bezeichnet in der Mathematischen Logik eine metasprachliche Konstruktionsvorschrift zur Darstellung von erststufigen Axiomensystemen, die nicht durch eine endliche Anzahl von Axiomen angegeben werden können oder angegeben werden sollen.
Neu!!: Robinson-Arithmetik und Axiomenschema · Mehr sehen »
Axiomensystem
Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) einer Theorie logisch abgeleitet werden.
Neu!!: Robinson-Arithmetik und Axiomensystem · Mehr sehen »
Beweise der gödelschen Unvollständigkeitssätze
Dieser Artikel skizziert Beweise der Gödelschen Unvollständigkeitssätze.
Neu!!: Robinson-Arithmetik und Beweise der gödelschen Unvollständigkeitssätze · Mehr sehen »
Entscheidbar
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.
Neu!!: Robinson-Arithmetik und Entscheidbar · Mehr sehen »
Extensionalitätsaxiom
Das Extensionalitätsaxiom ist ein Axiom der Mengenlehre, das 1888 von Richard Dedekind formuliert wurde und besagt, dass zwei Klassen oder Mengen genau dann gleich sind, wenn sie dieselben Elemente haben.
Neu!!: Robinson-Arithmetik und Extensionalitätsaxiom · Mehr sehen »
George Boolos
George Stephen Boolos (* 4. September 1940 in New York; † 27. Mai 1996 in Cambridge, Massachusetts) war ein US-amerikanischer Philosoph und Logiker.
Neu!!: Robinson-Arithmetik und George Boolos · Mehr sehen »
Gleichheit
Gleichheit (gelegentlich und vor allem im politischen oder philosophischen Kontext frz. Égalité) bedeutet sinngemäß die Übereinstimmung von zwei (oder mehr) Dingen (z. B. Gegenständen, Personen, Sachverhalten) in einem oder mehreren Merkmalen (bei möglicher Verschiedenheit in anderen Merkmalen).
Neu!!: Robinson-Arithmetik und Gleichheit · Mehr sehen »
Hans Hermes
Mathematischen Forschungsinstitut Oberwolfach 1970 Hans Hermes (* 12. Februar 1912 in Neunkirchen (Saar); † 10. November 2003 in Freiburg im Breisgau) war ein deutscher Mathematiker, der bedeutende Beiträge zu den Grundlagen der mathematischen Logik geleistet hat.
Neu!!: Robinson-Arithmetik und Hans Hermes · Mehr sehen »
Leere Menge
Die leere Menge ist ein grundlegender Begriff aus der Mengenlehre.
Neu!!: Robinson-Arithmetik und Leere Menge · Mehr sehen »
Natürliche Zahl
reellen Zahlen (ℝ) sind. Die natürlichen Zahlen sind die beim Zählen verwendeten Zahlen 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 usw.
Neu!!: Robinson-Arithmetik und Natürliche Zahl · Mehr sehen »
Peano-Arithmetik
Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe.
Neu!!: Robinson-Arithmetik und Peano-Arithmetik · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Robinson-Arithmetik und Prädikatenlogik · Mehr sehen »
Raphael Robinson
Raphael Robinson Raphael Mitchel Robinson (* 2. November 1911 in National City, Kalifornien; † 27. Januar 1995 in Berkeley, Kalifornien) war ein US-amerikanischer mathematischer Logiker und Mathematiker.
Neu!!: Robinson-Arithmetik und Raphael Robinson · Mehr sehen »
Rekursiv aufzählbare Menge
Als rekursiv aufzählbare Menge (auch semi-entscheidbare Menge, positiv semi-entscheidbare Menge, halb-entscheidbare Menge, berechenbar aufzählbare Menge, kurz r.e., c.e.) wird in der Berechenbarkeitstheorie eine Menge von natürlichen Zahlen bezeichnet, wenn es einen Algorithmus gibt, der die Elemente dieser Menge aufzählt.
Neu!!: Robinson-Arithmetik und Rekursiv aufzählbare Menge · Mehr sehen »
Vollständige Induktion
Die vollständige Induktion ist eine mathematische Beweismethode, nach der eine Aussage für alle natürlichen Zahlen bewiesen wird, die größer oder gleich einem bestimmten Startwert sind.
Neu!!: Robinson-Arithmetik und Vollständige Induktion · Mehr sehen »
Vollständigkeit (Logik)
Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen.
Neu!!: Robinson-Arithmetik und Vollständigkeit (Logik) · Mehr sehen »
Widerspruchsfreiheit
In der Logik gilt eine Menge von Aussagen als konsistent oder widerspruchsfrei, wenn aus ihr kein Widerspruch abgeleitet werden kann, also kein Ausdruck und zugleich dessen Negation.
Neu!!: Robinson-Arithmetik und Widerspruchsfreiheit · Mehr sehen »
Wolfgang Rautenberg
Wolfgang Rautenberg Wolfgang Rautenberg (* 27. Februar 1936 in Potsdam;Kürschners Deutscher Gelehrten-Kalender. 14. Ausgabe. De Gruyter, Berlin / New York 1983, Band 3, S. 3298. † 4. September 2011 in Berlin) war ein deutscher Mathematiker und Logiker.
Neu!!: Robinson-Arithmetik und Wolfgang Rautenberg · Mehr sehen »
Zermelo-Fraenkel-Mengenlehre
Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist.
Neu!!: Robinson-Arithmetik und Zermelo-Fraenkel-Mengenlehre · Mehr sehen »