类演算相关硕士博士期刊学术论文 - 搜论网

类演算相关论文

塔斯基、哥德尔与真概念的不可定义性

哥德尔优先于塔斯基发现了算术真概念的不可定义性,这导致有的学者对塔斯基定理乃至塔斯基真之定义理论的价值产生怀疑。这种怀疑......

期刊

真之定义真之理论不可定义性塔斯基定理不完全性定理

王浩参访俞大维

距今二十年前，也就是一九八七年四月二十八日，著名美籍华裔数理逻辑学家、哲学家王浩（Wang Hao, 1921—1995）曾于赴台湾讲学期间，在台北......

期刊

俞大维王浩数理逻辑美籍华裔八七哲学系哲学家老学博通类演算

看过本文同时还关注