语言的形式语义学与Richard-Berry悖论
Formal semantics of language and the Richard-Berry paradox
Politecnico di Milano（米兰理工大学）
摘要：
经典的逻辑二律背反被称为理查德-贝瑞悖论，它与关于图灵机形式化某些句子的规模（即逻辑复杂性）的合理假设相结合，以表明语言的形式化导致矛盾。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
