A Definition Framework of Spatial Logic and Decidability;
空间逻辑的一个定义框架及其可判定性
Further more,he clarified the significance of the undecidability and the antinomies with his conclusion that mathematics does not have crisis.
以批判数学存在基础的各种哲学学派为逻辑起点,普特南围绕数学基础中出现危机的根源进行了深刻剖析,重解了数学上存在不可判定性命题的意义及二律背反的意义,从而得出了数学中不存在危机的结论。
Copyright © 2022-2025 汉字宝典 m.suduxx.com All Rights Reserved 赣ICP备2022002761号
汉语字典 | 汉字拆字 | 汉字笔顺 | 汉语词典 | 成语词典 | 组词大全 | 近义词 | 反义词 | 造句大全 | 古诗词 | 英语单词 | 英汉词典 | 汉英字典 | 行业英语
汉字宝典是专业的汉语在线工具集,提供权威的汉语字典、词典、成语、古诗词及英语词典查询服务 | 合作联系QQ:2830130449