An Introduction to Proof Theory
- 432 stránok
- 16 hodin čítania
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 je profesor filozofie, ktorý sa zameriava na filozofiu a históriu matematiky a matematickú logiku. Jeho súčasný výskum sa sústreďuje na neologicizmus a filozofiu matematickej praxe. Skúma hlboké prepojenie medzi abstraktným myslením a jeho aplikáciou v reálnom svete, čím čitateľom odhaľuje podstatu matematických princípov. Jeho diela sú určené pre tých, ktorí hľadajú prenikavý vhľad do základov logiky a matematiky.

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.