pith. sign in

arxiv: 1506.08221 · v1 · pith:RDND44T3new · submitted 2015-06-26 · 🧮 math.LO

A Semantic Situation without Syntax (Non- axiomatizibility of Theories)

classification 🧮 math.LO
keywords theoriesaxiomatizibilityclaimparadoxsemanticsituationsystemargument
0
0 comments X
read the original abstract

Here, by introducing a version of Unexpected hanging paradox first we try to open a new way and a new explanation for paradoxes, similar to liar paradox. Also, we will show that we have a semantic situation which no syntactical logical system could support it. Finally, we propose a claim in the subject of axiomatizibility. Based on this claim, having an axiomatic system for Computability Theory is not possible. In fact, the same argument shows that many other theories are non-axiomatizable. (Dare to say: General Theories of Physics and Mathematics).

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.