Items related to Perspectives on the History of Mathematical Logic

Perspectives on the History of Mathematical Logic - Hardcover

 
9783764334444: Perspectives on the History of Mathematical Logic

Synopsis

Acknowledgements.- Contributors.- Jean van Heijenoort(1912-1986).- Introduction.- The Problem of Elimination in the Algebra of Logic.- Peirce and the Law of Distribution.- The First Russell Paradox.- Principia Mathematica and the Development of Automated Theorem Proving.- Oswald Veblen and the origins of Mathematical Logic at Princeton.- The Löwenheim-Skolem Theorem, Theories of Quantifications, and Proof Theory.- The Reception of Gödel's Incompleteness Theorems.- Gödel's and Some Other Examples of problem Transmutation.- The Development of Löb's Theorem.- The Unintended Interpretation of Intuitionistic Logic.- The Writing of Introduction to Metamathematics.- In Haskell Brooks Curry.- The Work of J. Richard Büchi.- Index Nominum

"synopsis" may belong to another edition of this title.