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 Sexual Desire Disorders by
Cover of the book Ibn Sa'Oud Of Arabia by
Cover of the book Scoring the Rorschach by
Cover of the book Nurturing Emotional Literacy by
Cover of the book The American Civil War, 1861-1865 by
Cover of the book The State and the Politics of Knowledge by
Cover of the book US-Kuwaiti Relations, 1961-1992 by
Cover of the book Advanced Mathematical Economics by
Cover of the book Le Play by
Cover of the book Multilateralism and Security Institutions in an Era of Globalization by
Cover of the book Dante's Poetry of Donati: The Barlow Lectures on Dante Delivered at University College London, 17-18 March 2005: No. 7 by
Cover of the book Assessing Children's Personal And Social Development by
Cover of the book The Rise of Universities by
Cover of the book Honourable Intentions? by
Cover of the book Art and Music in the Early Modern Period 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