An Introduction to Proof Theory
- 432pagine
- 16 ore di lettura
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
Paolo Mancosu è un professore di filosofia il cui lavoro approfondisce la filosofia e la storia della matematica e della logica matematica. La sua attuale ricerca si concentra sul neologicismo e sulla filosofia della pratica matematica. Esplora le profonde connessioni tra il pensiero astratto e le sue applicazioni nel mondo reale, rivelando l'essenza dei principi matematici ai lettori. I suoi scritti sono destinati a coloro che cercano esplorazioni illuminanti sui fondamenti della logica e della matematica.

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.