Overview:Proof Theory: History and Philosophical Significance - Synthese Library 292 - hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, mathematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide mathematics with a firm and secure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitistic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics.

This book is on page /88f0ff300130a9332bf7ee8997e69000/book/1603729774-9789048155538. It was written by the following authors: Stig Andur Pedersen, Klaus Frovin Jorgensen, Vincent F. Hendricks. Book Proof Theory: History and Philosophical Significance - Synthese Library 292, which can be read online, published by the company: Springer. Other books on similar topics can be found in sections: Medicine, Technology, Beliefs, Science, Spirituality. The book was published on 2010-12-05 00:00:00. It has 257 pages and is published in Paperback format and weight 421 g. File for download Proof Theory: History and Philosophical Significance - Synthese Library 292 has PDF format and is called proof-theory-history-and-philosophical-significance-synthese-library-292.pdf. Other books you can download below. Our nottedeiricercatoriaq.it site is not responsible for the content of PDF files.

How to download book Proof Theory: History and Philosophical Significance - Synthese Library 292?

1. Select the button you need.
2. Go to the file view page.
3. The link to the file will be available if you are logged into your account.
4. If you don't have an account, click Subscribe.
5. Enjoy your favorite book.

  • Books Download
  • eBooks PDF
  • Books PDF
  • Read Books