Paulo Guilherme Santos is currently a Ph D student at FCT, Universidade Nova de Lisboa, Portugal and at University of Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.
1 หนังสืออิเล็กทรอนิกส์โดย Paulo Guilherme Santos
Paulo Guilherme Santos: Diagonalization in Formal Mathematics
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation t …
PDF
อังกฤษ
€53.49
