Blick ins Buch

Nichttheoreme

Eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen

Gert-Dietrich Döben (Autor)

Buch | Softcover

XXVI, 241 Seiten

1990
Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften
978-3-631-42851-1 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Keine Verlagsinformationen verfügbar

Artikel merken

Die effektive Erkennung von Nichttheoremen ist das zentrale Problem der Entscheidbarkeit von Theorien. Seit der Arbeit von Church 1936 gilt die (Hypo-)These, daß diese Erkennbarkeit nicht in allen Fällen möglich ist. Als eine mögliche Forschungsaufgabe bleibt dann die Frage, ob es irgendwelche effektive entscheidbare Kriterien gibt, mittels deren man möglichst große Teilklassen von Formeln als zur Klasse der Theoreme oder als zur Klasse der Nichttheoreme zugehörig erkennen kann. Insbesondere Kriterien für die Zugehörigkeit zur Klasse der Nichttheoreme wären für automatische Theorembeweiser von großem praktischen Interesse. In der vorliegenden Arbeit werden Kriterien für Nichttheoreme gefunden, die sich ausschließlich an syntaktischen Eigenschaften von Formeln orientieren. Nebenbei wird der Tableaukalkül in der Version von Smullyan erstmalig voll formalisiert.

Aus dem Inhalt: Ausführliche Einleitung - Sprache 1. Stufe - Baumerzeugung - Tableauerzeugung - Tableauerzeugung und logische Semantik - Nichttheoreme - Reduktionsklassen - Folgerungsrelevante syntaktische Eigenschaften von Formeln.

Erscheint lt. Verlag	1.6.1990
Reihe/Serie	Europäische Hochschulschriften / European University Studies / Publications Universitaires Européennes ; 317
Verlagsort	Frankfurt a.M.
Sprache	deutsch
Maße	148 x 210 mm
Gewicht	340 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Döben • Eine • logische • Nichttheoreme • Reduktionsklassen • Tableauerzeugungen • Unter • Untersuchung • Verwendung
ISBN-10	3-631-42851-0 / 3631428510
ISBN-13	978-3-631-42851-1 / 9783631428511
Zustand	Neuware