Enlaces a sitios |
|
| |
Britannica.com: Foundations of Mathematics describes the study of the logical and philosophical basis of mathematics.
| Canterbury Mathematical Association organisers of student competitions, teacher education and initiatives in mathematics education.
|
Century of Controversy Over the Foundations of Mathematics, A transcript of a lecture given by Greg Chaitin.
| Clay Mathematics Institute (CMI) private nonprofit foundation dedicated to increasing and disseminating mathematical knowledge.
|
CSC Mathematical Topics Finnish IT center for Science, owned by the Ministry of Education.
|
| |
Electronic Colloquium on Computational Complexity (ECCC) Electronic Colloquium on Computational Complexity (ECCC)
|
e-Math e-Math
|
FOM Home Page closed, moderated, e-mail list for discussing foundations of mathematics.
|
Foundations of Mathematics 1927 presentation by David Hilbert.
|
Foundations of Mathematics: Value and Quantity overview of the players in the struggle to redefine the foundations of mathematics.
| London Mathematical Society learned society for mathematics with a nationwide membership.
|
Math-Net providing results of mathematical research and development, teaching material, and information about working mathematicians and mathematical institutions.
| Mizar Project attempting to reconstruct mathematical vernacular.
|
Modern Development of the Foundations of Mathematics in the Light of Philosophy by Kurt Gödel, 1961.
| QED Project working to build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge.
|
|