Early in this work he discovered the self-referential paradoxes which posed the main difficulty for logicism and which he eventually overcame by the theory of types.
英
美
释义
早期这这种工作中他发现了给逻辑主义带来主要困难的自指悖论,并且他最终通过类型理论克服了这一悖论。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载