Divertimento Geometrico. Le Origini Geometriche Della Logica Da Euclide A Hilbert
| Format | Paperback |
| Language | Italian |
| Copyright | 2003 |
| Publisher | Bollati Boringhieri |
| Copyright Holder | Bollati Boringhieri Editore |
| Printed by | Litografia Il Mettifoglio |
| Cover photo | Mel Erikson Art Services |
| Format | Paperback |
| Language | Italian |
| Location | Italy |
| Copyright | 2003 |
| Copyright | 2002 |
| Reprinted | 2004-06 |
| Pages / Font | 271 pages |
| ISBN 10 | 88-339-5714-4 |
| Barcode (EAN) | 9788833957142 |
| Price | € 24.00 |
| Chapters | Prefazione, - p. 7.
Introduzione storica. - p. 11.
1 - Assiomatizzazione. - p. 33.
2 - Costruibilità. - p. 51.
3 - Equivalenza logica. - p. 66.
4 - Rigore informale. - p. 69.
5 - Aritmetizzazione. - p. 116.
6 - Purezza di metodi. - p. 145.
7 - Indipendenza e consistenza relativa. - p. 162.
8 - Insolubilità. - p. 189.
9 - Formalizzazione. - p. 205.
10 - Metamatematica. - p. 240.
Bibliografia. - p. 265.
Indice analitico. - p. 267. Prefazione, - p. 7.
Introduzione storica. - p. 11.
1 - Assiomatizzazione. - p. 33.
2 - Costruibilità. - p. 51.
3 - Equivalenza logica. - p. 66.
4 - Rigore informale. - p. 69.
5 - Aritmetizzazione. - p. 116.
6 - Purezza di metodi. - p. 145.
7 - Indipendenza e consistenza relativa. - p. 162.
8 - Insolubilità. - p. 189.
9 - Formalizzazione. - p. 205.
10 - Metamatematica. - p. 240.
Bibliografia. - p. 265.
Indice analitico. - p. 267. Show all ▾ |