• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Nichttheoreme: Eine Logische Untersuchung Unter Verwendung Von Tableauerzeugungen Und Reduktionsklassen

Nichttheoreme: Eine Logische Untersuchung Unter Verwendung Von Tableauerzeugungen Und Reduktionsklassen

Paperback

Series: Europaeische Hochschulschriften / European University Studie, Book 317

FictionGeneral ComputersLogic

Currently unavailable to order

ISBN10: 3631428510
ISBN13: 9783631428511
Publisher: Peter Lang
Published: Jun 1 1990
Pages: 241
Language: German
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.

Also in

General Computers