数学纪闻录

第76章 数学为形式之学(1/2)

新笔趣屋【m.xbiquwu.com】第一时间更新《数学纪闻录》最新章节。

2004. 清晰地掌握空间概念是所有几何推理的首要前提;而这种概念的清晰性可以通过考察公理是否能在心智中呈现为自明的来检验。——休厄尔,威廉。

《归纳科学的哲学》,第一部分,第二卷,第四章,第四节(伦敦,1858年)。

明析空间之念,乃一切几何推理之首要前提;而此念之明,可验于公理是否自显于心为不证自明。——休厄尔,威廉。

《归纳科学的哲学》,第一部分,第二卷,第四章,第四节(伦敦,1858年)。

2005.几何公理既不是先天综合结论,也不是实验事实。它们是约定:在所有可能的约定中,我们的选择受实验事实的指引,但依然是自由的,唯一的限制是必须避免所有矛盾……换句话说,几何公理只是伪装起来的定义。

既然如此,人们该如何看待这个问题:欧几里得几何是真的吗?

这个问题毫无意义。这就好比问公制是真的而旧度量衡是假的,或者笛卡尔坐标系是真的而极坐标系是假的一样。——庞加莱,h.

《非欧几何》;《自然》杂志,第45卷(1891-1892年),第407页。

几何公理,非先天综合之论,亦非实验之实。乃约定也:于诸可能之约中,吾辈之选虽为实验所导,然仍自由,唯以避矛盾为限……易言之,几何公理者,伪装之定义耳。

既如此,则“欧氏几何为真乎”之问,实属无谓。犹问度量衡之公制为真、旧制为妄,或笛卡尔坐标为真、极坐标为妄也。——庞加莱,h.

《非欧几何》;《自然》杂志,四十五卷(1891-1892年),四百七页。

2006.我完全不认同这种观点(即公理是我们完全随意假定的命题,同样,基本概念归根结底也只是我们用来运算的任意符号),我认为这是所有科学的消亡:在我看来,几何公理并非任意的,而是合理的命题,它们通常源于空间直觉,其各自的内容和序列由权宜性理由所支配。——克莱因,F.

《高观点下的初等数学》(莱比锡,1909年),第2卷,第384页。

吾全然不契此说(谓公理乃随意假定之命题,基本概念终亦不过运算之符号),视之为众学之亡也:在吾观之,几何公理非任意,乃合理之论,多源于空间直觉,其各自之内容与次第,皆由权宜之理所辖。——克莱因,F.

《高观点下的初等数学》(莱比锡,1909年),二卷,三百八十四页。

2007.欧几里得第五公设[平行公理]

如果一条直线与两条直线相交,使得同旁内角小于两个直角,那么这两条直线如果无限延长,会在这两个内角所在的一侧相交。——欧几里得

《欧几里得几何原本十三卷》[t. L. 希思译本],第1卷(剑桥,1908年),第202页。

欧几里得第五公设[平行公理]

若一直线与两直线相交,使同旁内角小于二直角,则此两直线若无限延长,必于内角小处之侧相交。——欧几里得

《欧几里得几何原本十三卷》[希思译],一卷(剑桥,1908年),二百二页。

2008.必须承认,欧几里得的[平行]公理作为平行线理论的基础是不令人满意的。它既不能被视为简单的,也不能被视为不证自明的,因此它不符合公理的基本特征……——霍尔,h. S. 与史蒂文斯,F. h.

《欧几里得几何原本》(伦敦,1892年),第55页。

不得不承认,欧氏[平行]公理为平行线理论之基,实难令人满意。既不可谓简,亦不可谓自明,故不合公理之本旨……——霍尔,h. S. 与史蒂文斯,F. h.

《欧几里得几何原本》(伦敦,1892年),五十五页。

2009.我们仍然可以恰当地宣称,平行公理是允许我们描述空间关系的最简单假设,因此通常来说,概念和公理并非直觉的直接事实,而是出于权宜性理由选择的这些事实的理想化产物。——克莱因,F.

《高观点下的初等数学》(莱比锡,1909年),第2卷,第382页。

吾辈仍可断言,平行公理乃描述空间关系之最简假设。故概言之,概念与公理非直觉之直接事实,乃择自事实之理想化,以权宜为据也。——克莱因,F.

《高观点下的初等数学》(莱比锡,1909年),二卷,三百八十二页。

2010.我们空间的特征并非思维的必然,欧几里得公理的真实性——就它们将我们的空间与其他可想象的空间特别区分开来而言——必须且只能通过经验来确立。——鲍尔,R. S.

《不列颠百科全书》,第9版;“测量”条目。

吾辈所处空间之特征,非思维之必然。欧氏公理之真,就其别吾空间于他可思议之空间而言,必且唯由经验确之。——鲍尔,R. S.

本章未完,点击下一页继续阅读。

人气小说推荐More+

婚野失控
婚野失控
【先婚后爱x慵懒从容大佬x温软高敏千金x蓄谋已久】在众人眼中褚聿深是高高在上,难以接近的高岭之花——矜贵/克制/分寸感极强。年纪轻轻便接管了褚家继承人的位子,行事一向干净利落。褚聿深习惯在谈笑风声中给人定生死,也擅长把自己的情绪藏在他那温和从容的外表之下,从没见过他过喜或过怒的样子。他与岑家大小姐联姻,海城人民都以为这不过是一场有名无实的商业联姻。却不知,这位向来素有原则,冷静自持的大佬,在面对
泡芙太妃糖
直播算卦太准,成警局团宠了
直播算卦太准,成警局团宠了
【古穿今+直播+悬疑破案+冷脸萌+打脸+甜宠】清冷修仙大佬X傲娇病娇小狗修仙大佬姜梨初在飞升的时候,被雷劈到现代了。好消息,爹妈是有钱人。坏消息,穿过来那一刻刚死。不慌,虽说身死,但是道没消,靠着前世本事,竟然在网上一炮而红了!于是。“姜大师,我爸咋成天给我托梦哭呢?”“人死了才发现你不是他亲儿子,下一个。”“姜大师,我家狗最近这么老萎靡不振的?遛弯都不去了。”“你男朋友出轨,拿遛狗当幌子见女人
水泠铃
夫君娇弱无力?转头权倾朝野
夫君娇弱无力?转头权倾朝野
曲意绵这一生,只信两件事:一是刀能破案,二是钱能尽孝。直到那场雨,她在茶馆遇见楚淮舟。箭穿肩胛,血染白衣,他弱得风一吹就倒,却偏要在鬼门关里拉住她的手。“我帮你查案,你护我周全。“成交。”她以为只是合作,却不知从他踏入她江湖的那一刻起,她的刀、她的案、她的余生,都将与这个病弱公子纠缠不清。三六胡同的暗巷里,有人要他的命,也有人要她的命。当真相撕开,曲意绵才懂——他娇弱无力的皮囊下,藏着足以让她万
皿宝
穿越三年后,怀了死对头权臣的崽
穿越三年后,怀了死对头权臣的崽
【先婚后爱+甜宠+男主蓄谋已久+笨蛋美人小作精x年上爹系恋爱脑】沈稚岁是大夏王朝最尊贵的公主,此生最讨厌两个人。一是国子监总罚她抄书的古板夫子,二是处处与她作对的丞相之子陆昀止。一场荒唐梦后,她竟来到了三年后。不仅嫁给了她的死对头陆昀止,腹中还怀了他的孩子!本以为这是一场联姻,却不承想,这清冷孤傲的陆昀止,竟宠她入骨。——陆昀止察觉,近来他费尽心思才娶到夫人,有些不对劲。先前她总是待他客气疏离,
沈烟渚
老妇带全家摆摊,馋哭满城权贵
老妇带全家摆摊,馋哭满城权贵
*上辈子,周素兰为了好继母的名声,害死了自己的儿孙,可继子继孙出息后,她没福可享不说,反倒落了个横死街头的下场。一朝重生,周素兰下定决心,这一世,她只护着自己的儿孙,什么好名声不好名声,能当饭吃?*徐穗儿见义勇为,救起了落水的孩子,自己却没能从水里爬上来。好消息:没见阎王,她穿到古代了!坏消息:天崩开局,穿来这人家爹残娘瞎弟妹年幼,还家徒四壁!幸好还有好消息:奶奶能说会道一心护着他们,最关键的,
树洞里的秘密