看了以上的討論, 我不知道type theory和邏輯符號語言之間的差別
因為我也曾經看過像logic set and recursion(http://ppt.cc/PatL)之類的書
裡面主要就是在說邏輯符號系統的language structure是怎樣
怎樣去interpret這些language意思
像之前提到的 A Mathematical Introduction to Logic也是在說這些東西
就不是很清楚type theory和這類書籍所說的有什麼差別
附帶一提,
這些東西又好像和computer science 的 formal language(eg: context-free grammar)
或是 computation theory(eg: Turing machine <=> λ-calculus, decidability...)
有一些關聯
的確, 聽說作Artificial Intelligence的人, 早期好像也在研究logic...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 111.251.176.130