curry-paradox

网络释义

1.	寇里型悖论他构造了一个直接针对分离规则的寇里型悖论(Curry Paradox)，以此论证它无法在素朴证明程序自身中得到证明。(12)菲尔德认 … www.prolunwen.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。