20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

Proof, Logic and Formalization -

English
1992-01-09
โ‚ฌ322.06 โ‚ฌ402.58

-20% with code BOOKS

In stock at our supplier

Shipping in 17-23 days

30-day return policy

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 respo ... Full description

You May Also Like

Description

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 Information

Publisher Taylor & Francis
Release year 1992
Cover type Hardcover
EAN 9780415023351
Write Your Own Review
You're reviewing: Proof, Logic and Formalization
Your Rating:

Goodreads Reviews

โ‚ฌ322.06 โ‚ฌ402.58