PROOF, LOGIC AND FORMALIZATION
ebook

PROOF, LOGIC AND FORMALIZATION (ebook)

MICHAEL DETLEFSEN

$1,600.00
IVA incluido
Editorial:
ROUTLEDGE
ISBN:
9781134975273
Páginas:
256
Formato:
Epublication content package
Idioma:
Inglés
DRM
Si

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.

Otros libros del autor

  • PROOF AND KNOWLEDGE IN MATHEMATICS
    MICHAEL DETLEFSEN
    These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical di...

    $1,560.00