John Barkley Rosser Sr.（1907-1989）是一位美国逻辑学家，是丘奇（Alonzo Church）的学生，以在λ计算中参与Church–Rosser 定理而闻名。他还在数论中提出了现在被称为 "Rosser sieve « 的方法。

1936年，他证明了“罗瑟的诀窍（Rosser’s trick）”，这是哥德尔第一个不完全性定理的更强版本，表明对ω-一致性的要求可以弱化为一致性。他没有使用相当于 "I am not provable"的说谎者悖论句子，而是使用了一个句子，即 "For every proof of me, there is a shorter proof of my negation »。

参考文献：

https://en.wikipedia.org/wiki/Rosser%27s_trick

转载本文请联系原作者获取授权，同时请注明本文来自柳渝科学网博客。

链接地址：https://wap.sciencenet.cn/blog-2322490-1384338.html?mobile=1

收藏

分享