||
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
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-1 11:18
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社