Costruttivismo in matematica, Vol. 1: Volume 121

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Constructivism in Mathematics, Vol 1: Volume 121

Contenuto del libro:

Questi due volumi coprono i principali approcci al costruttivismo in matematica.

Presentano un'introduzione completa e aggiornata alla metamatematica della matematica costruttiva, con particolare attenzione all'intuizionismo, al costruttivismo di Markov e alla teoria dei tipi di Martin-Lof con la sua semantica operativa. Viene fornita un'esposizione dettagliata delle caratteristiche di base della matematica costruttiva, con illustrazioni tratte dall'analisi, dall'algebra e dalla topologia, con la dovuta attenzione agli aspetti metamatematici.

Il primo volume è un'introduzione autonoma alla pratica e ai fondamenti del costruttivismo e non richiede conoscenze specialistiche che vadano oltre la logica matematica di base. Il volume 2 contiene principalmente argomenti avanzati di natura teorica e semantica.