Politics & Social Sciences | Political Philosophy
Proof Theory
by K. Schütte 2020-05-29 19:34:28
image1
COMPARE PRICE
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, math­ ematicians, logicians and histo... Read more
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, math­ ematicians, 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 se­ cure 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 finitis­ tic 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. Less
  • ISBN
  • 9789401727969
autor-image
K. Schutte
Author
...
Compare Prices
image
Buy USD 28.50
image
Buy GBP 183.0
image
Buy CAD 159.40
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
An Essay Concerning Human Understanding Volume 2:
image1
Writings of Thomas Paine - Volume 2: The Rights of Man:
image1
The Papers and Writings of Abraham Lincoln (Volume 7):
image1
Anarchism And Other Essays:
image1
The Woman and the Right to Vote:
image1
Dialogues Concerning Natural Religion:
image1
Literary and Philosophical Essays: French, German and Italian:
image1
The New Freedom a Call for the Emancipation of the Generous Energies of a People:
image1
The Papers and Writings of Abraham Lincoln — Volume 3: The Lincoln-Douglas Debates:
image1
Bolshevism: The Enemy of Political and Industrial Democracy:
image1
The Critique of Practical Reason:
image1
The Papers and Writings of Abraham Lincoln - Volume 1: 1832-1843:
image1
Native Life in South Africa: Before and Since the European War and the Boer Rebellion:
image1
The Papers and Writings of Abraham Lincoln - Volume 6:
image1
The Writings of Abraham Lincoln - Volume 2: 1843-1858:
image1
Under the Prophet in Utah: The National Menace of a Political Priestcraft:
image1
Creative Evolution:
image1
Alcibiades II:
image1
The Papers and Writings of Abraham Lincoln, Vol-IV:
image1
The Papers and Writings of Abraham Lincoln (Volume 5):
image1
Emile: Or, Concerning Education Extracts:
image1
Essays in Rebellion:
image1
Thoughts on the Necessity of Improving the Condition of the Slaves in the British Colonies: With a View to Their Ultimate Emancipation and on the ... Of the Latter Measure (Classic Reprint):
image1
The Mind in the Making: The Relation of Intelligence to Social Reform:
image1
According to Plato:

Stay in touch.

© 2024 AMPLE READS