Nichttheoreme

Nichttheoreme von Döben,  Gert-Dietrich
Die effektive Erkennung von Nichttheoremen ist das zentrale Problem der Entscheidbarkeit von Theorien. Seit der Arbeit von 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 erstmalig voll formalisiert.
Aktualisiert: 2019-12-19
> findR *
MEHR ANZEIGEN

Bücher zum Thema Reduktionsklassen

Sie suchen ein Buch über Reduktionsklassen? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema Reduktionsklassen. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema Reduktionsklassen im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema Reduktionsklassen einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.

Reduktionsklassen - Große Auswahl Bücher bei Buch findr

Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema Reduktionsklassen, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter Reduktionsklassen und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.