Proof, Logic and Formalization

Proof, Logic and Formalization

Aún sin calificaciones
May 29, 2015 · Inglés · Tapa blanda (252 páginas)
Añadir a la estantería

Califica este libro


Exportar diario de lectura

Detalles del libro

Formato Tapa blanda
Páginas 252
Idioma Inglés
Publicado May 29, 2015
Editorial Routledge
ISBN-10 1138009075
ISBN-13 9781138009073

Descripción

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.

Géneros

Filosofía Naturaleza
Añadir a la estantería

Califica este libro


Exportar diario de lectura