Politics & Social Sciences | Political Philosophy
Truth, Proof and Infinity
2020-05-29 19:20:11
image1
COMPARE PRICE
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms `construction' and `proof' ... Read more
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms `construction' and `proof' has never been adequately explained (although Kriesel, Goodman and Martin-Löf have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given. The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic. Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi. Less
  • ISBN
  • 9789401736169
autor-image
Anonymous
Author
-...
Compare Prices
image
Buy GBP 269.0
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
The Papers and Writings of Abraham Lincoln - Volume 1: 1832-1843:
image1
The Mind in the Making: The Relation of Intelligence to Social Reform:
image1
Writings of Thomas Paine - Volume 2: The Rights of Man:
image1
Under the Prophet in Utah: The National Menace of a Political Priestcraft:
image1
According to Plato:
image1
Emile: Or, Concerning Education Extracts:
image1
Alcibiades II:
image1
The Papers and Writings of Abraham Lincoln, Vol-IV:
image1
The Papers and Writings of Abraham Lincoln (Volume 7):
image1
The New Freedom a Call for the Emancipation of the Generous Energies of a People:
image1
Bolshevism: The Enemy of Political and Industrial Democracy:
image1
Anarchism And Other Essays:
image1
The Papers and Writings of Abraham Lincoln — Volume 3: The Lincoln-Douglas Debates:
image1
Dialogues Concerning Natural Religion:
image1
An Essay Concerning Human Understanding Volume 2:
image1
Essays in Rebellion:
image1
Creative Evolution:
image1
Literary and Philosophical Essays: French, German and Italian:
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
Native Life in South Africa: Before and Since the European War and the Boer Rebellion:
image1
The Papers and Writings of Abraham Lincoln (Volume 5):
image1
The Writings of Abraham Lincoln - Volume 2: 1843-1858:
image1
The Woman and the Right to Vote:
image1
The Critique of Practical Reason:
image1
The Papers and Writings of Abraham Lincoln - Volume 6:

Stay in touch.

© 2024 AMPLE READS