29 Beziehungen: Anne Troelstra, Beweistheorie, Formales System, Gödelscher Vollständigkeitssatz, Gentzenscher Hauptsatz, Gerhard Gentzen, Heinz-Dieter Ebbinghaus, Helmut Schwichtenberg, Intuitionismus, Jan von Plato, Kalkül, Kettenschluss, Klassische Logik, Kontraposition, Maschinengestütztes Beweisen, Mathematische Logik, Metalogik, Modus tollendo ponens, Negationszeichen, Peano-Arithmetik, Prädikatenlogik, Prädikatenlogik erster Stufe, Satz vom ausgeschlossenen Dritten, Schnittregel, Systeme natürlichen Schließens, Takeuti Gaisi, Trivialität, Widerspruchsfreiheit, Wolfgang Rautenberg.
Anne Troelstra
Oberwolfach 2002 Anne Sjerp Troelstra (* 10. August 1939 in Maartensdijk bei Utrecht; † 7. März 2019 in Blaricum) war ein niederländischer mathematischer Logiker.
Neu!!: Sequenzenkalkül und Anne Troelstra · Mehr sehen »
Beweistheorie
Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt, was deren Analyse mit mathematischen Techniken ermöglicht.
Neu!!: Sequenzenkalkül und Beweistheorie · Mehr sehen »
Formales System
Ein formales System ist ein System von Symbolketten und Regeln.
Neu!!: Sequenzenkalkül und Formales System · Mehr sehen »
Gödelscher Vollständigkeitssatz
Der Gödelsche Vollständigkeitssatz (benannt nach Kurt Gödel) ist der Hauptsatz der mathematischen Logik.
Neu!!: Sequenzenkalkül und Gödelscher Vollständigkeitssatz · Mehr sehen »
Gentzenscher Hauptsatz
Der Gentzensche Hauptsatz oder Schnittsatz ist ein Satz der mathematischen Logik, der besagt, dass die Schnittregel in jeder Herleitung eines Gentzentypkalküls eliminierbar und damit zulässig ist.
Neu!!: Sequenzenkalkül und Gentzenscher Hauptsatz · Mehr sehen »
Gerhard Gentzen
Gerhard Gentzen Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker.
Neu!!: Sequenzenkalkül und Gerhard Gentzen · Mehr sehen »
Heinz-Dieter Ebbinghaus
Heinz-Dieter Ebbinghaus (* 22. Februar 1939 in Hemer, Westfalen) ist ein deutscher Mathematiker, der vor allem zur mathematischen Logik arbeitet.
Neu!!: Sequenzenkalkül und Heinz-Dieter Ebbinghaus · Mehr sehen »
Helmut Schwichtenberg
Helmut Schwichtenberg, 2022 Helmut Schwichtenberg (* 5. April 1942 in Sagan, Schlesien) ist ein deutscher mathematischer Logiker.
Neu!!: Sequenzenkalkül und Helmut Schwichtenberg · Mehr sehen »
Intuitionismus
Intuitionismus bezeichnet unterschiedliche philosophische, mathematische und teilweise auch psychologische Positionen, die der Intuition eine Priorität einräumen.
Neu!!: Sequenzenkalkül und Intuitionismus · Mehr sehen »
Jan von Plato
Jan von Plato (geboren am 23. Juni 1951 in Helsinki) ist ein finnischer Logiker, Wissenschaftshistoriker und Professor für Philosophie (schwedisch) an der Universität Helsinki.
Neu!!: Sequenzenkalkül und Jan von Plato · Mehr sehen »
Kalkül
Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.
Neu!!: Sequenzenkalkül und Kalkül · Mehr sehen »
Kettenschluss
Als Kettenschluss werden in der traditionellen und in der modernen Logik zwei unterschiedliche, aber optisch ähnliche Schlussfiguren (Implikationsserien) bezeichnet.
Neu!!: Sequenzenkalkül und Kettenschluss · Mehr sehen »
Klassische Logik
Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält.
Neu!!: Sequenzenkalkül und Klassische Logik · Mehr sehen »
Kontraposition
Unter Kontraposition (von ‚gegen‘ und lat. positio ‚Position‘, ‚Stellung‘, ‚Lage‘) versteht man in der Logik den Umkehrschluss einer Implikation, d. h.
Neu!!: Sequenzenkalkül und Kontraposition · Mehr sehen »
Maschinengestütztes Beweisen
Maschinengestütztes Beweisen (oder missverständlicher: automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von Computerprogrammen zur Erzeugung und Überprüfung von mathematischen Beweisen logischer Theoreme.
Neu!!: Sequenzenkalkül und Maschinengestütztes Beweisen · Mehr sehen »
Mathematische Logik
Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
Neu!!: Sequenzenkalkül und Mathematische Logik · Mehr sehen »
Metalogik
Metalogik ist eine philosophische Grundlagendisziplin, die sich mit den Voraussetzungen und Grundlagen der Logik befasst.
Neu!!: Sequenzenkalkül und Metalogik · Mehr sehen »
Modus tollendo ponens
Der Modus tollendo ponens oder Disjunktive Syllogismus ist eine Schlussfigur der klassischen Aussagenlogik bzw.
Neu!!: Sequenzenkalkül und Modus tollendo ponens · Mehr sehen »
Negationszeichen
Das Negationszeichen (auch logisches Nicht) „¬“ ist in der Aussagenlogik das Zeichen für die Negation.
Neu!!: Sequenzenkalkül und Negationszeichen · 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!!: Sequenzenkalkül 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!!: Sequenzenkalkül und Prädikatenlogik · Mehr sehen »
Prädikatenlogik erster Stufe
Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik.
Neu!!: Sequenzenkalkül und Prädikatenlogik erster Stufe · Mehr sehen »
Satz vom ausgeschlossenen Dritten
Der Satz vom ausgeschlossenen Dritten (wörtlich „ein Drittes ist nicht gegeben“ oder „ein Drittes gibt es nicht“;, LEM) oder Prinzip des zwischen zwei kontradiktorischen Gegensätzen stehenden ausgeschlossenen Mittleren (lat. principium exclusi tertii sive medii inter duo contradictoria) ist ein logisches Grundprinzip und Axiom, das besagt, dass für eine beliebige Aussage nur die Aussage selbst oder ihr (komplementäres) Gegenteil gelten kann; eine dritte Möglichkeit, also dass lediglich etwas Mittleres gilt, das weder die Aussage ist noch ihr Gegenteil, sondern irgendetwas dazwischen, kann es nicht geben.
Neu!!: Sequenzenkalkül und Satz vom ausgeschlossenen Dritten · Mehr sehen »
Schnittregel
Der Schnitt (engl. cut oder cut-rule) ist eine transitive Regel in der Logik, der linearen Optimierung und der Constraintprogrammierung.
Neu!!: Sequenzenkalkül und Schnittregel · Mehr sehen »
Systeme natürlichen Schließens
Systeme (oder Kalküle) natürlichen Schließens bezeichnen in der mathematischen und philosophischen Logik einen Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski – einem Vertreter der Lemberg-Warschau-Schule – entwickelt wurde.
Neu!!: Sequenzenkalkül und Systeme natürlichen Schließens · Mehr sehen »
Takeuti Gaisi
Takeuti Gaisi (jap. 竹内外史, Takeuchi Gaishi; * 25. Januar 1926 in Kizu, Präfektur Ishikawa, Japan; † 10. Mai 2017) war ein japanischer mathematischer Logiker, bekannt für Beiträge zur Beweistheorie.
Neu!!: Sequenzenkalkül und Takeuti Gaisi · Mehr sehen »
Trivialität
Als trivial gilt ein Umstand, der als naheliegend, für jedermann leicht ersichtlich oder erfassbar angesehen wird.
Neu!!: Sequenzenkalkül und Trivialität · 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!!: Sequenzenkalkül 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!!: Sequenzenkalkül und Wolfgang Rautenberg · Mehr sehen »
Leitet hier um:
Gentzen-Kalkül, Gentzenkalkül, Sequenzkalkül.