Cargando…
Outlines of a formalist philosophy of mathematics /
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
Elsevier Science,
1951.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 3. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
| Descripción Física: | 1 online resource |
|---|---|
| Bibliografía: | Problem of mathematical truth-Idealistic views of mathematics-Definition and structure of a formal system-Examples of formal systems-Ontological discussion of a formal system-Reduction of a formal system-Formal systems and syntax-Metatheory-Formalist definition of mathematics-Truth and acceptability-Mathematics and logic. |
| ISBN: | 9780444533685 0444533680 |