Operazioni di Brouwer e realizzabilità formalizzata
Categorie ricorsive.
Matematica e filosofia della matematica: presente e futuro
In questo articolo si sostiene che in futuro la matematica si svilupperà lungo linee sostanzialmente differenti da quelle secondo cui si è sviluppata a partire dalla seconda metà dell'Ottocento. Questo richiederà un cambiamento nella filosofia della matematica che è stata alla base di tale sviluppo. Perciò nell'articolo si propone una filosofia della matematica alternativa.
Page 1