This volume contains English translations of Gödel's chapters on logicism and the antinomies and on the calculi of pure... Læs mere
Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century... Læs mere
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.