An Introduction to Proof Theory
- 432 stránek
- 16 hodin čtení
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 Knihy
Paolo Mancosu je profesor filozofie, jehož práce se zaměřuje na filozofii a historii matematiky a matematickou logiku. Jeho současné bádání se soustředí na neologicismus a filozofii matematické praxe. Zkoumá hluboké propojení mezi abstraktním myšlením a jeho uplatněním v reálném světě, čímž čtenářům odhaluje podstatu matematických principů. Jeho práce jsou určeny pro ty, kteří hledají pronikavý vhled do základů logiky a matematiky.