Showing math.GMShow all
2 papers · 1 filter
math.GM2016
Epistemological Consequences of the Incompleteness Theorems
Giuseppe Raguní
After highlighting the cases in which the semantics of a language cannot be mechanically reproduced (in which case it is called inherent), the main epistemological consequences of…
math.GM2016
A common Misconception about the Categorical Arithmetic
Giuseppe Raguní
Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "e…