Recomienda este artículo a tus amigos:
Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library P. Fletcher 1998 edition
Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library
P. Fletcher
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it.
470 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de octubre de 1998 |
| ISBN13 | 9780792352624 |
| Editores | Springer |
| Páginas | 470 |
| Dimensiones | 156 × 234 × 26 mm · 834 g |
| Lengua | Inglés |