超时空逆袭当代青年的奇幻之旅热门推荐 第452章(第1页)
客观真实性的数学家,那可就是坚定的柏拉图主义者啦选择公理和物理世界运行背后的数学有关系哦,不过在物理理论里,这一点还没被充分认识呢。
现在嘛,就别被这个问题过度困扰啦。
要是选择公理能通过这种或那种无懈可击的数学推理方式解决,那它的真理性可就是完全客观的事实啦。
这样的话,不管是选择公理本身,还是它的否命题,都属于“柏拉图世界”这个范畴。
反过来,如果这个公理只是观念或者任意决断的产物,那么绝对数学形式化的柏拉图世界就既不会包含选择公理本身,也会排斥它的否命题,就算它允许存在像“由选择公理可知,事情将会如此这般”或者“由如此这般的数学系统的规则可知,选择公理的确是一个定理”这样的命题。
属于柏拉图世界的数学命题,一定是那些有客观真理性的命题哟。
确实,阿蒂亚觉得数学客观性就是数学柏拉图主义要强调的东西呢。
只要说某个数学命题有柏拉图式的实在性,就是说在客观意义上它完全是真的啦。
对其他的数学观念,像数字7这个概念,或者整数的乘法法则,或者某个有无限多个元素的集合概念,我们也可以这么理解,就是它们都有柏拉图式的实在性,因为它们都是客观的观念呀。
阿蒂亚觉得,柏拉图式的存在就是一种客观存在,所以不应该被看成是“神秘”或者“非科学”的,尽管有些人是这么认为的。
和选择公理的情况差不多,要判断某个具体的数学对象有没有客观实在性,有时候会非常微妙而且很技术化呢。
不过就算这样,也不是说只有数学家才能充分理解很多数学概念的确定性哦。
大名鼎鼎的曼德布罗特集,它的不同细微部分可有意思啦!
这个集合的结构那叫一个精细,不过可不是人工设计出来的哦,而是由超级简单的数学规则生成的。
咱先不聊这个规