The Development of Modern Logic

Troelstra, Anne S. 1982. On the origin and development of Brouwer's concept of choice sequence. In The L.E.J. Brouwer Centenary Symposium, eds. Anne S. Troelstra and Dirk van Dalen, 465–486. Amsterdam: North-Holland. Troelstra, Anne S.

The Development of Modern Logic

This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.

More Books:

The Development of Modern Logic
Language: en
Pages: 994
Authors: Leila Haaparanta
Categories: Mathematics
Type: BOOK - Published: 2009-06-18 - Publisher: OUP USA

This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic
Proofs and Computations
Language: en
Pages:
Authors: Helmut Schwichtenberg, Stanley S. Wainer
Categories: Mathematics
Type: BOOK - Published: 2011-12-15 - Publisher: Cambridge University Press

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems.
Logical Approaches to Computational Barriers
Language: en
Pages: 608
Authors: Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
Categories: Computers
Type: BOOK - Published: 2006-06-29 - Publisher: Springer

This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. The book presents 31 revised full papers together with 30 invited papers, including papers corresponding to 8 plenary talks and 6 special sessions on proofs and computation,
Kurt Gödel: Collected Works:
Language: en
Pages: 692
Authors: Kurt Gödel
Categories: Mathematics
Type: BOOK - Published: 2014-01-09 - Publisher: Clarendon Press

Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity,
Correspondence H-Z
Language: en
Pages: 690
Authors: Kurt Gödel
Categories: Computers
Type: BOOK - Published: 1986 - Publisher: Oxford University Press

The collected works of Kurt Godel is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy.