Proof, logic and formalization

Main
Mathematics
Proof, logic and formalization

Proof, logic and formalization

Name: Proof, logic and formalization
ISBN: 9780415023351

Michael Detlefsen (ed.)

0 / 0

0 comments

Jak bardzo podobała Ci się ta książka?

Jaka jest jakość pobranego pliku?

Pobierz książkę, aby ocenić jej jakość

Jaka jest jakość pobranych plików?

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

Kategorie:

Mathematics

Rok:

1992

Wydawnictwo:

Routledge

Język:

english

Strony:

251

ISBN 10:

0415023351