语言的形式语义与Richard-Berry悖论
计算与语言
2008-07-25 v1 计算复杂性
计算机科学中的逻辑
摘要
将经典的逻辑悖论——Richard-Berry悖论——与关于形式化某些句子的图灵机描述复杂性的合理假设相结合，以表明语言的形式化会导致矛盾。
引用
@article{arxiv.0807.3845,
title = {Formal semantics of language and the Richard-Berry paradox},
author = {Stefano Crespi Reghizzi},
journal= {arXiv preprint arXiv:0807.3845},
year = {2008}
}