|
|
“逻辑”与“逻辑学” (5) - “逻辑学”的理性或经验性(以“量子力学的逻辑”为例) 数理逻辑与哲学逻辑 · 公众号 · · 3 月前 · |
|
|
为什么现在的量子计算装置不能被称为“计算机”? 数理逻辑与哲学逻辑 · 公众号 · · 3 月前 · |
|
|
马雷斯著《必然归结的逻辑学及其历史》(0)前言 数理逻辑与哲学逻辑 · 公众号 · · 3 月前 · |
|
|
马雷斯著《必然归结的逻辑学及其历史》(1)为什么讨论“必然归结” - 1.3 使用证明计划来论证逻辑... 数理逻辑与哲学逻辑 · 公众号 · · 3 月前 · |
|
|
他山之石:获得诺贝尔奖、菲尔茨奖、沃尔夫数学奖、阿贝尔奖的日本学者(增补三) 数理逻辑与哲学逻辑 · 公众号 · 科技媒体 科技自媒体 · 3 月前 · |
|
|
他山之石:日本获诺奖之多不可思议,根本在于能够专心研究的环境 数理逻辑与哲学逻辑 · 公众号 · 日本 科技自媒体 · 3 月前 · |