Browsing Doctoral Theses / Doktorsavhandlingar Institutionen för filosofi, lingvistik och vetenskapsteori by Subject "Explication, Power of arithmetical theories, Formal Proof, Informal proof, Indispensability, Mathematical Realism"
Now showing items 1-1 of 1
-
Concept Formation in Mathematics
(2011-05-19)This thesis consists of three overlapping parts, where the first one centers around the possibility of defining a measure of the power of arithmetical theories. In this part a partial measure of the power of arithmetical ...