搜索结果

*[[柏拉圖主義]] [[Category:柏拉图主义]] …

Booth双扭线的研究可以追溯到西元五世紀的希臘[[新柏拉图主义]]哲學家及數學家[[普罗克洛]]，他考慮[[环面]]和一個和環面軸心平行的平面相交產生的圖形，他所觀測到的，大部份這類的截面會包括一個或是兩個[[卵形 …

…随机的，也不是由算法决定的。相反，状态是经由嵌入在普朗克尺度的时空几何中的一种“不可计算”的过程选择的，是时空结构的内在特性。彭罗斯声称这些信息是[[柏拉图主义|柏拉图式]]的，代表着纯粹的数学真理，进而与彭罗斯关于三个世界（物理世界、精神世界和柏拉图数学世界）的思想有关。在《{{le|意识的阴影|Shadow …

…上學是指哲學的基本法則。形上學關注理論哲學的核心問題，如基礎、前提、成因、第一原因和基本結構，如所有真實存在的意義和目的。形上學被[[尼采]]稱之為「柏拉圖主義」。 …

哥德爾相信連續統假設是錯的，而他對於連續統假設相容性的證明，只表示了ZF系統的公理有缺陷。哥德爾是一個柏拉圖主義者，因此獨立於一個命題的可證性而宣稱其正確或錯誤，對他來說並無問題。寇恩也傾向於反對連續統假設。 …

直觉逻辑是比经典逻辑弱的系统。经典逻辑把自身关注于在抽象的、柏拉图主义意义上为真的公式，而直觉逻辑只在可以为它构造一个证明的时候认为公式为真。公式α ∨ ¬α示例了这种区别；它是经典逻辑的一个定理而不是直觉逻辑的定理。尽管 …