知乎观后感
能否结合物理学实例具体谈一谈拓扑斯（topos）时空观是什么样子？
原来小时候在百度上搜索四维空间，却关联出一个十一维空间，理由出自这里
看到这里，作为“对象”的粒子，和作为作用的“力”需要统一，瞬间联想到了高代里面的对偶空间。作为对象的向量，和作为作用的泛函，可以产生某种对偶性。
我学数学大概就是想从这个角度试图理解一切
在AI引论学习命题逻辑时我就发现p且非p恒真这一点很类似x·-x≤0.如果实数＞0对应命题为真，实数小于0对应命题为假，那么实数等于0对应什么？我当时提出，或许可以构造一种体系，其中的命题有三种状态，真，假，不真不假。没想到物理中放弃排中律的思想居然也被人践行了。
2022.10.8日补充
今天看了室友的离散数学课本，最后一章某节讲了直觉主义逻辑..其基本思想是：证明必须是构造性的。断言奇素数存在，不能通过证伪“奇素数不存在”得到。从而对于p=奇素数存在这个命题，p且-p比一定必真。放弃排中律是直觉主义逻辑的一个基本立场。
面向对象vs面向过程
