Formal semantics of language and the Richard-Berry paradox
arXiv:0807.3845
Abstract
The classical logical antinomy known as Richard-Berry paradox is combined with plausible assumptions about the size i.e. the descriptional complexity of Turing machines formalizing certain sentences, to show that formalization of language leads to contradiction.