作者Babbage (骄傲体现於健忘)
看板W-Philosophy
标题[请益] 元语言与类型论
时间Thu Feb 21 11:52:29 2008
请问 语言学中的元语言 与 逻辑中的类型论(Russell)
是同一个东西吗？
前者好像比後者晚出现，是不是後者的直接产物呢？
看起来好像 @@
谢谢解惑!!
--
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.50.253
※ 编辑: Babbage 来自: 140.112.50.253 (02/21 13:39)