This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. The text is self-contained, all... Læs mere
In the past century, mainstream philosophy of mathematics has claimed that the philosophy of mathematics cannot concern itself with the making of mathematics but only with finished mathematics, namely mathematics as presented in published works.