Browsing Department of Philosophy, Linguistics and Theory of Science / Institutionen för filosofi, lingvistik och vetenskapsteori by Subject "arithmetic"
Now showing items 1-1 of 1
-
Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility
(2017-05-11)This thesis concerns the incompleteness phenomenon of first-order arithmetic: no consistent, r.e. theory T can prove every true arithmetical sentence. The first incompleteness result is due to Gödel; classic generalisations ...