A Semantic Without Syntax 1
Other Computer Science
2012-03-15 v1
Abstract
Here, by introducing a version of "Unexpected hanging paradox" 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 that. In the end, we propose a claim as a question. Based on this claim, having an axiomatic system for computability theory is not possible. In fact we will show that the method applied here could yields us as a generalized result, some Theories like Physic is not axiomatizable.
Cite
@article{arxiv.1203.3125,
title = {A Semantic Without Syntax 1},
author = {Farzad Didehvar},
journal= {arXiv preprint arXiv:1203.3125},
year = {2012}
}
Comments
3 pages