回台大數學系首頁

數學::數學哲學::觀念文章   






19 th Century Logic Between Philosophy and Mathematics 
  http://www.phil.uni-erlangen.de/~p1phil/personen/peckhaus/te......位址過長    | 英 |
一篇文章,討論新邏輯或(數理邏輯)在十九世紀後半發展的過程,著重在英國/德國,數學/哲學界,背景與脈絡下之分析。除了註解,沒有其他連結。V. Peckhaus 1998年的文章。
20th WCP: Philosophy of Mathematics 
  http://www.bu.edu/wcp/MainMath.htm    | 英 |
這裡有九篇數學哲學的網上文章。發表於1998年第20屆的國際哲學家大會上,並收在大會的專屬文章檔案網站--Paideia Project,那裡還有各領域共900多篇文章。
A history of set theory   (集合論簡史)
  http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Begin......位址過長    | 英 |
聖安德魯數學史網站中歷史主題區的一頁。
CECM Research: Philosophy of Mathematics and Visualization   (實驗數學與視覺化之哲學)
  http://www.cecm.sfu.ca/projects/PhilVisMath/    | 英 |
傳統的哲學議題:感知/思想、直覺、感知與知識的性質。由於近年來以實驗或模擬的方式研究數學(與其他理論科學)又受到新的挑戰。尤其是電腦實驗或模擬的視覺化結果,本身的知識論地位蒙昧不明,這裡是一些討論的文章,此網頁隸屬於拿大Simon Fraser大學的「實驗與構作數學中心」。
Course Outline(D. Bucsescu)   (Paragone 課程大綱)
  http://acnet.pratt.edu/~arch543p/outline.html    | 英 |
這是某探討「時間空間與因果律」建築課程的課程大綱網頁,其中蒐羅了一些關於這些課題的文章,與數學哲學有關的包括:牛頓〈絕對與相對空間、時間與運動〉;柏克萊〈牛頓空間學說的批評〉;Poincare〈幾何與空間〉;A.N.Whitehead〈空間時間與相對論〉〈空間與運動〉;(後現代)科學哲學家M. Serre〈哲學與數學:泰利斯看到什麼?〉、〈幾何的起源〉。
Frege’s Logic, Theorem, and Foundations for Arithmetic   (弗雷格之邏輯、定理與算術基礎)
  http://plato.stanford.edu/entries/frege-logic/    | 英 | 史丹福哲學百科 |
史丹福大學哲學百科網站的條目。討論Frege對算術基礎之觀點。
Indispensability Arguments in the Philosophy of Mathematics   (數學哲學中的「不可欠缺」論)
  http://plato.stanford.edu/entries/mathphil-indis/    | 英 | 史丹福哲學百科 |
科學廣泛使用數學,而且應用趨勢越來越強越深入。由於數學如此不可或缺,一些哲學家(蒯恩Quine,普特南Putnam)因此可論證(如蒯恩的整體論)數學物體的存在。收錄在史丹福哲學百科的本文,即在討論關於蒯恩-普特南不可欠缺論證的正反意見。
On Gödel's Philosophy of Mathematics(H. Ravitch)   (哥德爾的數學哲學)
  http://www.friesian.com/goedel/    | 英 |
本文在闡述分析哥德爾衛護古典伯拉圖主義式的數學觀。
Principia Mathematica   (《數學原理》)
  http://plato.stanford.edu/entries/principia-mathematica/    | 英 | 史丹福哲學百科 |
史丹福大學哲學百科網站的條目。介紹數學哲學的名著,懷德海與羅素合著的《數學原理》,涵蓋其背景、內容與意義,另外還有初版的檔案照片。
Prisoner’s Dilemma   (囚犯悖論)
  http://plato.stanford.edu/entries/prisoner-dilemma/    | 英 | 史丹福哲學百科 |
史丹福大學哲學百科網站的條目。介紹今日對局論的核心議題─囚犯悖論之內涵、推廣與各種論題。
Russell's Paradox   (羅素詭論)
  http://plato.stanford.edu/entries/russell-paradox/    | 英 | 史丹福哲學百科 |
史丹福大學哲學百科網站的條目。介紹十九世紀末數學基礎嚴格化運動中最知名的羅素詭論,包括它的歷史與意義。
The Church-Turing Thesis   (丘奇─圖靈論題)
  http://plato.stanford.edu/entries/church-turing/    | 英 | 史丹福哲學百科 |
史丹福大學哲學百科網站的條目。「任一有效計算皆能被圖靈機實現」通稱為丘奇─圖靈論題。本文介紹該論題之內容與歷史,並且討論常見的誤解。
Turing machine    (圖靈機)
  http://plato.stanford.edu/entries/turing-machine/    | 英 | 史丹福哲學百科 |
史丹福大學哲學百科網站的條目。圖靈機是計算機器的一種抽象呈現,丘奇─圖靈論題告訴我們「任一有效計算皆能被圖靈機實現」。因此在這個資訊世紀中,它成為認知科學、心靈哲學與科學哲學最感興趣的議題之一。本頁介紹它的觀念與演進。
Nineteenth Century Geometry   (十九世紀幾何學)
  http://plato.stanford.edu/entries/geometry-19th/#3    | 英 | 史丹福哲學百科 |
這是史丹福大學哲學百科網站的條目,文章含括了幾個重要的課題:非歐幾何、投影幾何、Klein的Erlangen綱領、公設化與黎曼幾何。
Bertrand Russell   (羅素)
  http://plato.stanford.edu/entries/russell/    | 英 | 史丹福哲學百科 |
史丹福大學哲學百科網站的條目。介紹羅素在邏輯、分析哲學與社會政治哲學的工作,並附有羅素的年表與各種參考資料。
Gottlob Frege   (弗雷格)
  http://plato.stanford.edu/entries/frege/    | 英 | 史丹福哲學百科 |
史丹福大學哲學百科網站的條目。介紹現代邏輯奠基者,德國邏輯學家Frege的生平,他在邏輯與語言哲學上的貢獻,並附有其著作年表與各種參考資料。
MIA Philosophy Resource from Andy Blunden   (知識的價值--小哲學圖書館)
  http://www.marxists.org/reference/subject/philosophy/index.h......位址過長    | 英 |
這個小哲學圖書館收藏許多哲學家的著作全文或節文,與數學基礎有關的有羅素的《數理邏輯的重要性》,凱因斯《純歸納》,希爾伯特《數學基礎》,布勞爾《直覺主義講稿》,哥德爾《由哲學看數學基礎》,圖林《計算機器與智慧》,另外有愛因斯坦,波爾,海森堡,論物理基礎的文章。還有許多其他知名哲學家。有趣的是這個號稱馬克斯主義者的旗艦網站中,還收藏有非常非常豐富的資料。這些可都是熱情的義工,在這個不收費,不營利的網站中,努力工作的結果。



網路資源搜尋引擎


本頁最後修訂時間: Apr/20/2002.