Ich suche Ressourcen für eine Einführung in die formale Logik, mit dem Ziel, einen Beweis des Gödelschen Vollständigkeitssatzes für Logik 1. Ordnung nachvollziehen zu können. Ich habe etwas Hintergrundwissen in Mengentheorie und Algebra (Mathematik-Grundstudium), aber ich habe nie Kurse in formaler Logik oder Grundlagen der Mathematik belegt.
Viele der Einführungsbücher und Webressourcen, die ich finde, richten sich an jemanden mit einem eher philosophischen, weniger mathematischen Hintergrund oder beschreiben sehr detailliert die Probleme, die bei dem Versuch auftreten, logische Interpretationen von Sätzen in natürlicher Sprache vorzunehmen. Ich wäre besonders interessiert, wenn jemand Empfehlungen für Online-Ressourcen (Videos oder Websites) sowie Texte hätte, die die Logik erster Ordnung auf mathematisch konkrete und prägnante Weise beschreiben.
Ebbinghaus, Flum, &Thomas ist perfekt für jemanden wie Sie. http://www.springer.com/us/book/9780387942582
das Ziel ist genau das, was Sie wollen: Gödels Vollständigkeitssatz. die Präsentation ist super.
Nr
Hummel