相關詞條
-
沈有鼎
系統,構成了兩個悖論。1.“初基演算”。初基演算是比Johansson的極小演算更“小”的命題演算。建立初基演算的意義在於,從它出發一方面可以逐步...值演算;另一方面可以逐步擴展為Lewis的S4、S5再到二值演算。初基演...
生平履歷 終身成就 生活往事 《沈有鼎集》 與金岳霖 -
莫紹揆
的古典邏輯公理系統M,一個古典構造主義邏輯系統G,極小演算邏輯系統J...函式的構造,尤其是對歸宿步驟式作了精闢的研究.他獨樹一幟地提出了初基函式和...等均可刪除不用,一階謂詞邏輯即是功能完全的邏輯演算,以代入運算代替抽象運算...
人物經歷 學術論文 人物成就 人物評價 -
沈有鼎集
語義悖論初基演算論“思維形式”和形式邏輯唯物主義者培根如何推進了邏輯科學非負有理數的一個“自然”枚舉 ——一個非形式討論“純邏輯演算”中不依賴量詞的部分個體與真值的演算簡單類型論 中國名辯思想中國古代辯者的悖論《公孫...
圖書信息 內容簡介 目錄 -
沈有鼎(1908~)
)、《初基演算》(論文,1957)、《〈墨經〉的邏輯學》(1980)、《“純邏輯演算”中不依賴量詞的部分》(論文,1981)。 配圖 相關連線 ...
沈有鼎(1908~) 正文 配圖 相關連線