metamatematica
La disciplina che studia matematicamente le dimostrazioni come oggetti concreti, usando solo ragionamenti finiti e indiscutibili.
Compare in volume VI
Come la richiudono le mappe di fine capitolo
- Volume VI · 6. Il programma e il teorema
-
La disciplina che studia matematicamente le dimostrazioni come oggetti concreti, usando solo ragionamenti finiti e indiscutibili.