We know that the simple theory of types have already eliminated Russell paradox, but why Russell introduced the theory of order types .
英
美
释义
指出简单类型论已经消除了罗素悖论,但为什么罗素要引入很少有人接受的分支类型论呢?
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载