回台大數學系首頁

數學::數學哲學::專家網站   






||  機構  |  期刊  |  數理邏輯  ||



機構


Kurt Godel Society   (哥德爾學會)
  http://www.logic.tuwien.ac.at/kgs/home.html    | 英 | 專家 |
研究哥德爾的機構網站。
The Austrian Ludwig Wittgenstein Society (ALWS)   (維根斯坦學會(奧地利))
  http://www.sbg.ac.at/phs/alws/alws.htm    | 英 |
對於英文使用者,奧地利的維根斯坦學會網站較方便。另可參看德文之德國維根斯坦學會網站
The Bertrand Russell Society   (羅素學會)
  http://www.users.drew.edu/~jlenz/brs.html    | 英 | 專家 |
研究羅素的機構網站,其中的網上羅素著作連結區,值得使用。


期刊


Experimental Mathematics   (實驗數學期刊)
  http://www.expmath.org/    | 英 | 專家 | 有目錄 可下載 |
由於廿世紀數學的風貌以完備嚴格優雅為宗,數學學子總是忘記(甚至鄙夷)實驗在數學發現中的重要地位,而在電腦日益普遍的今日,不管是數學猜測的形成、驗證或否證,以電腦做數學實驗更顯得重要。《Experimental Mathematics》就是在這樣的觀點下出版的數學期刊。
Philosophia Mathematica   (數學哲學期刊)
  http://www.umanitoba.ca/pm/    | 英 | 專家 | 有目錄 不能下載 |


數理邏輯


AiML: Advances in Modal Logic   (模態邏輯的發展)
  http://turing.wins.uva.nl/~mdr/AiML/    | 英 | 專家 |
模態邏輯的機關網站,專家使用。
Mathematical Logic around the world   (數理邏輯網路資源)
  http://www.uni-bonn.de/logic/world.html    | 英 | 專家 |
一個研究型的數理邏輯網路資源頁,內容包括文章、期刊、遍佈世界的研究群、活動、組織、工作以及一些不那麼專業的連結區。由波昂大學數理邏輯群與維也納大學邏輯學院共同維護。



網路資源搜尋引擎


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