The Three Philosophies

Platonism
“Platonists, such as Kurt Gödel, hold that numbers are abstract,necessarily existing objects, independent of the human mind” (Anglin(1994) p. 218)
Formalism
“Formalists, such as David Hilbert (1862-1943), hold thatmathematics is no more or less than mathematical language. It is simplya series of games…” (Anglin (1994) p. 218)
Intuitionism
“Intuitionists, such as L. E. J. Brouwer (1882-1966), hold thatmathematics is a creation of the human mind. Numbers, like fairy talecharacters, are merely mental entities, which would not exist if therewere never any human minds to think about them.” (Anglin (1994) p. 218)

W. S. Anglin [1994] (1996). Mathematics. A Concise History and Philosophy, Corrected 2nd printing edition, New York: Springer Verlag. ISBN 0387942807.  Chapter 39 Foundations contains concise descriptions, for the 20th century, of Platonism (with respect to Gödel), Formalism (with respect to Hilbert), and Intuitionism (with respect to Brouwer).

//在Wikipedia上看到,很有感触,就摘下来了。

Yeah!! Wikipedia终于解禁了!!

热爱Wiki的朋友们,英文版本的维基百科终于解禁啦!
我不惜开通了出国流量给大家截了图,还注册了一个账号,感兴趣的大家去试试吧!!

以下摘自月光博客
做为一个快速发展的多语言版本的网络百科全书,维基百科全书计划自2001年1月15日开始上线,截至到今天,英文版维基百科已有183万个条目,而所有语言的版本累加起来超过500万个条目。
维基百科全书允许大众的广泛参与,大部分网页都可以由任何人进行修改,是一个典型的用户贡献内容的网站。中文维基百科自2005年就无法访问中间曾经有段时间中文维基百科可以访问,但是目前的状况是依旧无法访问。
测试英文维基百科,可以点这个链接看看。