Jan von Plato Ordre des livres (chronologique)

The book features English translations of Gödel's significant works on logicism, antinomies, and the foundations of pure logic, along with outlines for a chapter on metamathematics. It includes a comprehensive collection of his reading notes, offering insights into his thought process and the development of his ideas in mathematical logic. This volume serves as a valuable resource for understanding Gödel's contributions to the field.

Kurt Gödel's groundbreaking work in 1931 revealed profound limitations in formal mathematical systems, particularly through his first incompleteness theorem. He demonstrated that in any sufficiently complex system containing elementary arithmetic, there exist true statements that cannot be proven within that system. This challenged the notion that all mathematical truths could be derived from a finite set of rules. Gödel's insights not only transformed mathematics but also raised critical questions about the consistency and completeness of mathematical proofs, leading to further exploration in the field.

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.