《不列颠百科全书》,九版;“测量”条。
2011.数学和生理学研究表明,经验空间只是许多可想象情形中的一个实际案例,关于其特殊性质,只有经验才能告知我们。——马赫,恩斯特
《通俗科学讲演录》(芝加哥,1910年),第205页。
数学与生理学之研究表明,经验空间者,不过众可思议情形中之一实际案例,其特殊性唯经验能示吾辈。——马赫,恩斯特
《通俗科学讲演录》(芝加哥,1910年),二百五页。
2012.常见的定义“公理是不证自明的真理”——如果它有任何意义的话——意味着我们称之为公理的命题已经根据我们的经验和直觉得到了认可。从这个意义上说,数学没有公理,因为数学是一门形式学科,支配它的是形式蕴含而非实质蕴含。——威尔逊,E.b.
《美国数学会会刊》,第2卷(1904-1905年),第81页。
俗谓“公理者,自明之真理”,若有义,则谓吾辈所名公理之命题,已由经验与直觉认可。就此义言,数学无公理,盖数学为形式之学,统之者形式蕴含,非实质蕴含也。——威尔逊,E.b.
《美国数学会会刊》,二卷(1904-1905年),八十一页。
2013.对不证自明的命题进行证明,在门外汉看来可能是一种有些无聊的消遣。对此我们可以回应说,一个明显的命题是否能从另一个明显的命题中推出,往往绝非不证自明;因此,当我们用一种不明显的方法去证明明显的事物时,我们实际上是在发现新的真理。但更有趣的反驳是,自从人们尝试证明明显的命题以来,他们发现其中许多都是假的。自明性常常只是鬼火,若我们把它当作向导,定会误入歧途。——罗素,伯特兰
《近期关于数学原理的研究》;《国际月刊》,第4卷(1901年),第86页。
证自明之论,于门外汉观之,似为无谓之事。对此可答曰:一显论是否出自他显论,往往非自明;故以不显之法证显者,实乃发新理也。然更趣之驳曰:自人试证显论以来,方知多为虚妄。自明者常如鬼火,若奉为导,必入迷途。——罗素,伯特兰
《近期关于数学原理的研究》;《国际月刊》,四卷(1901年),八十六页。
2014.[欧几里得平行公理]问题如今与化圆为方和用直尺圆规三等分角问题处于同一境地。就数学界而言,这个着名的平行问题已经一劳永逸地解决了。——扬,约翰·韦斯利
《代数与几何的基本概念》(纽约,1911年),第32页。
[欧氏平行公理]之问题,今与化圆为方、直尺圆规三等分角同列。就数学界而言,此着名之平行问题,已一劳永逸地解决矣。——扬,约翰·韦斯利
《代数与几何的基本概念》(纽约,1911年),三十二页。
2015.如果欧几里得的假设是真的,那么那些距离我们无限遥远的空间部分的构造——“无穷远平面上的几何”——就像这个房间任何部分的几何一样为我们所熟知。在这个无限且完全可知的空间中,宇宙至少在无限且完全可知的时间的某一部分里存在着。如此一来,我们至少拥有了关于宇宙某些方面的真实知识;这些知识在浩瀚时空之中都是真实的。而罗巴切夫斯基及其后继者剥夺了这一点。如今的几何学家对无限远处实际存在的空间的性质一无所知;对过去或未来永恒中当前空间的属性也一无所知。诚然,他知道欧几里得所假定的定律是真实的,其精确性是任何直接实验都无法企及的,不仅在我们所在的这个地方是如此,在任何天文学家都无法想象的遥远地方也是如此;但他所知道的只是“此时此地”的情况;超出这个范围的“彼时彼地”,他目前一无所知,但最终可能会了解更多。——克利福德,w.K.
《演讲与论文集》(纽约,1901年),第1卷,第358-359页。
若欧氏之设为真,则距吾辈无限远之空间构造——“无穷远平面之几何”——亦如室内任何部分之几何,为吾辈熟知。在这无限且尽知之空间中,宇宙至少于无限且尽知之时之一段存焉。如此,吾辈至少有关于宇宙之真识;此识于浩瀚时空皆为真。然罗巴切夫斯基及其后继者夺之。今之几何学家,对无限远处实存空间之性一无所知;对往昔或未来永恒中当前空间之性,亦一无所知。诚然,彼知欧氏所设之律为真,其精密度非任何直接实验所能及,不仅于此地为然,于任何天文学家难想象之远处亦如是;然彼所知者,唯“此时此地”耳;超出此界之“彼时彼地”,彼目前无知,然终可多知也。——克利福德,w.K.
《演讲与论文集》(纽约,1901年),一卷,三百五十八至三百五十九页。
2016.事实是,其他几何体系是可能存在的,但归根结底,这些其他体系并非空间本身,而是其他空间测量方法。空间只有一个,尽管我们可以构想许多不同的流形——这些都是为确定空间而发明的装置或理想构造。——卡鲁斯,保罗
《科学》杂志,第18卷(1903年),第106页。
实则,他种几何体系固可能有,然究其实,此诸体系非空间本身,乃他法以量空间耳。空间唯此一个,纵吾辈可构多种流形——皆为定空间而设之术或理想构造也。——卡鲁斯,保罗《科学》杂志,十八卷(1903年),百六页。
2017.正如我先前所说,从哲学角度来看,非欧几何尚未常获充分理解,那么我现在必须强调,它在数学科学中已得到普遍认可;事实上,在许多情况下,例如在现代函数论中,它被用作一种极为便捷的工具,用于直观呈现高度复杂的算术关系。——克莱因,F.《高观点下的初等数学》(莱比锡,1909年),第2卷,第377页。
昔吾尝言,非欧几何自哲学观之,尚未常得尽解,今则必强调:其于数学之学,已为众所公认。实则,于多端之用,如近代函数论中,常以之为至便之具,以直观表繁复之算术关系。——克莱因,F.
《高观点下的初等数学》(莱比锡,1909年),二卷,三百七十七页。
2018.物理科学中的一切——从引力定律到桥梁建造,从分光镜到航海术——都将因“我们的实际空间是欧几里得空间”这一假设存在任何显着误差而发生深刻改变。因此,物理科学被观察到的真实性,构成了压倒性的经验证据,表明这一假设即便并非绝对正确,也非常接近正确。——罗素,伯特兰
《几何基础》(剑桥,1897年),第6页。
物理之学中诸事,自引力律至造桥,自分光镜至航海术,若“吾辈所处实空间为欧氏空间”之设稍有大差,则皆将剧变。故物理之学所察之真,实为强证,示此设纵非确然,亦甚近真。——罗素,伯特兰
《几何基础》(剑桥,1897年),六页。