Enlaces a sitios |
|
|
| |
A Century of Controversy over the Foundations of Mathematics A transcript of a lecture by Gregory Chaitin on mathematical foundations.
| 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 New Zealand.
| Clay Mathematics Institute (CMI) private nonprofit foundation dedicated to increasing and disseminating mathematical knowledge.
|
Electronic Colloquium on Computational Complexity Online archive for research in computational complexity.
|
| |
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 and resources from German universities.
|
Mizar Project Project attempting to reconstruct mathematical vernacular.
| Modern Development of the Foundations of Mathematics Work by Kurt Gödel, 1961.
|
SIAM | Society for Industrial and Applied Mathematics Is an international community of 14,000+ individual members. Almost 500 academic, manufacturing, research and development, service and consulting organizations, government, and military organizations worldwide are institutional members.
|
|