An Introduction to Mathematical Logic and Type Theory, Fachbücher von Peter B. Andrews

"An Introduction to Mathematical Logic and Type Theory" bietet eine umfassende Einführung in die Grundlagen der mathematischen Logik und der Typentheorie. Das Buch beginnt mit den Grundlagen der Aussagenlogik und der Prädikatenlogik und behandelt eine Vielzahl von Themen, darunter Syntax, Semantik, Vollständigkeit und Unabhängigkeit. Die behandelten Konzepte sind nicht nur theoretisch, sondern auch praktisch anwendbar, da sie durch zahlreiche Übungen ergänzt werden, die formale Beweise erfordern. Ein besonderes Merkmal des Buches ist die Einführung in die Typentheorie, die es ermöglicht, verschiedene mathematische Konzepte in einer ausdrucksstarken formalen Sprache zu formalisieren. Diese Sprache erleichtert das Verständnis und die Beweisführung klassischer Inkompleteness- und Unentscheidbarkeitsätze. Die Diskussion über Semantik hebt die wichtige Unterscheidung zwischen Standard- und Nichtstandardmodellen hervor, die für das Verständnis komplexer Phänomene wie der Inkomplettheitssätze und Skolems Paradoxon von Bedeutung ist. Das Buch richtet sich an Mathematiker, Informatiker und Philosophen, die sich für die theoretischen Grundlagen der Logik und Typentheorie interessieren.