Proof, Logic and Formalization

Nonfiction, Religion & Spirituality, Philosophy
Cover of the book Proof, Logic and Formalization by , Taylor and Francis
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781134975273
Publisher: Taylor and Francis Publication: July 8, 2005
Imprint: Routledge Language: English
Author:
ISBN: 9781134975273
Publisher: Taylor and Francis
Publication: July 8, 2005
Imprint: Routledge
Language: English

The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.

More books from Taylor and Francis

Cover of the book Waterways and the Cultural Landscape by
Cover of the book Environmental Movements by
Cover of the book Architect's Legal Pocket Book by
Cover of the book East Timor, Australia and Regional Order by
Cover of the book Comparing Political Corruption and Clientelism by
Cover of the book Slow Travel and Tourism by
Cover of the book Surviving and Thriving in Stepfamily Relationships by
Cover of the book EU Foreign Policy and Crisis Management Operations by
Cover of the book Terra Cognita by
Cover of the book Software Evangelism and the Rhetoric of Morality by
Cover of the book Burkina Faso by
Cover of the book The Social Economy of Single Motherhood by
Cover of the book Jürgen Habermas and the European Economic Crisis by
Cover of the book Stealth Altruism by
Cover of the book Liquid Criminology by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy