Clay Mathematics Institute (CMI)
private nonprofit foundation dedicated to increasing and disseminating mathematical knowledge.
Electronic Colloquium on Computational Complexity (ECCC)
FOM Home Page
closed, moderated, e-mail list for discussing foundations of mathematics.
London Mathematical Society
learned society for mathematics with a nationwide membership.
Mizar Project
attempting to reconstruct mathematical vernacular.
Modern Development of the Foundations of Mathematics in the Light of Philosophy
by Kurt Gödel, 1961.
Home 
Atrás 
Arriba
