Mathematics
Categories
- Brown, George Spencer (5)
- Conferences (9)
- Journals (3)
Links
Hilbert's Program
http://plato.stanford.edu/entries/hilbert-program/
In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathematics. From the Stanford Encyclopedia, by Richard Zach.
19th Century Logic between Philosophy and Mathematics
http://www.meta-religion.com/Mathematics/Philosophy_of_mathematics/19_century_logic.htm
Online article by Volker Peckhaus.
The Philosophy of Mathematics
http://www.rbjones.com/rbjpub/philos/maths/
Notes by R.B. Jones of foundations, problems, logicism and philosophers of mathematics.