...的否证论进一步推论依赖某一假定并设法证明其真理性时，将导致无穷的回归（regression），哥德尔也经由涂林机（Turing machine）的逻辑推论证明有些确定为真的命题是无法证明的。因此，数学哲学由绝对论转向易误论，认定数学命题也有其限制，也可能是错误的。
基于36个网页-相关网页
涂林机
coater
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动