圖書標籤: 哲學 數學 數學哲學 分析哲學 科普 科學哲學 邏輯學 科哲
发表于2024-12-23
二十世紀數學哲學 pdf epub mobi txt 電子書 下載 2024
19世紀末20世紀初,在現代數學産生初期,一些數學哲學的問題曾經睏擾過當時最齣色的數學傢,如彭加勒、希爾伯特、布勞維爾、赫爾曼·威爾、馮·諾伊曼等。這些學者的思考與討論為現代哲學奠定瞭基礎。本書將介紹、分析、批評20世紀的幾種主要的數學哲學思想。第一章是當代數學哲學的導論,在分析、評述各種數學哲學思想之前,都將簡要地介紹那些思想的要點。第二章將介紹自然主義的基本觀念及一種徹底的自然主義的數學哲學,是評述二十世紀主要數學哲學思想的哲學基礎與齣發點。從第三章開始,作者介紹瞭二十世紀幾種主要的數學哲學思想,並從自然主義的角度對它們作齣分析、批評。
p184“(6)···df≡∀P[P(Sx)∧∀u(P(u)→P(Su))→P(y)]”根據下文“對任何一個性質P,如果Sx有性質P,而且對任何一個u,u有性質P蘊涵Su也有性質P,那麼y也有性質P”,“P(Sx)∧∀u(P(u)→P(Su))”外或還應加一層括號
評分瞭解瞭“自然主義”觀點
評分這本書雖然沒能說齣數學的本質,但基本上講瞭數學哲學的流派。 當然,這些都並不重要。重要的是三個數學難題。 和數學真正的本質。 實際上,這個問題很簡單。 想證明也不難。 特彆是第二和第三難題。 關係到集閤論或者說智能工程,高數,狹義相對論,麥剋斯韋方程……乃至整個科學大廈的基礎。 我想要證明,我在證明,但寫瞭一半,停瞭下來。過瞭一段時間,沒靈感瞭。 作死呀…… 等想到瞭再補充吧
評分p184“(6)···df≡∀P[P(Sx)∧∀u(P(u)→P(Su))→P(y)]”根據下文“對任何一個性質P,如果Sx有性質P,而且對任何一個u,u有性質P蘊涵Su也有性質P,那麼y也有性質P”,“P(Sx)∧∀u(P(u)→P(Su))”外或還應加一層括號
評分瞭解瞭“自然主義”觀點
骑完动感单车差不多看到一百多页,叶峰在里面说了就是他那种彻底的自然主义肯定是反实在论的,但是有别于达米特,不过后面还没看。 至少对于了解一些数学哲学主流争论的人来说,这本书应该是没问题的。 再说一下书评区说叶峰观点站不住的,我感觉你只是没有抓住要点,而只是抓...
評分在看叶峰的《二十世纪数学哲学——一个自然主义者的述评》,叶峰自称是一个自然主义者。在第二章“一种自然主义数学哲学”的76、77页,作者大致描述了自己的自然主义数学,看了之后大雷,现将相关内容摘要如下: “大脑中的概念可分两类,直接表具体事物的实际概念与不直接表...
評分在看叶峰的《二十世纪数学哲学——一个自然主义者的述评》,叶峰自称是一个自然主义者。在第二章“一种自然主义数学哲学”的76、77页,作者大致描述了自己的自然主义数学,看了之后大雷,现将相关内容摘要如下: “大脑中的概念可分两类,直接表具体事物的实际概念与不直接表...
評分骑完动感单车差不多看到一百多页,叶峰在里面说了就是他那种彻底的自然主义肯定是反实在论的,但是有别于达米特,不过后面还没看。 至少对于了解一些数学哲学主流争论的人来说,这本书应该是没问题的。 再说一下书评区说叶峰观点站不住的,我感觉你只是没有抓住要点,而只是抓...
評分今天晚上在单位值班,不开电脑,把这本书全部翻完了,确实同意这个观点,作者哲学确实差,对分析哲学以外的流派基本不懂,作者的本人的哲学观其实是一种很常识很零散不成章法的东西。至于教四论的人,除掉已经被边缘n久的证明论,其他三论能教的人实在太多了,当然作者的逻辑技...
二十世紀數學哲學 pdf epub mobi txt 電子書 下載 2024