Enlaces a sitios |
|
|
| |
A Century of Controversy over the Foundations of Mathematics A transcript of a lecture by Gregory Chaitin discussing the philosophical and logical debates surrounding the foundations of mathematics.
| American Mathematical Society The American Mathematical Society (AMS) is dedicated to advancing research and connecting the diverse global mathematical community.
|
Canterbury Mathematical Association Supporting teachers and promoting mathematics in Canterbury, New Zealand. Organisers of student competitions, teacher education and other initiatives.
| Clay Mathematics Institute (CMI) private nonprofit foundation dedicated to increasing and disseminating mathematical knowledge.
|
CSC - IT Center for Science CSC is a Finnish center of expertise in ICT that provides internationally high-quality ICT expert services for research, education, and public administration.
|
| |
Electronic Colloquium on Computational Complexity (ECCC) Electronic Colloquium on Computational Complexity (ECCC)
|
FOM Home Page closed, moderated, e-mail list for discussing foundations of mathematics.
|
Foundations of mathematics | Britannica The study of the logical and philosophical basis of mathematics, including whether the axioms of a given system ensure its completeness and its consistency.
|
London Mathematical Society learned society for mathematics with a nationwide membership.
|
Math-Net: The German Mathematical Information Service Provides access to mathematical information, resources, publications, and preprints from German universities and research 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.
|
|