Math Logic and Foundations Foundations

• Arche  - Unit within the School of Philosophical and Anthropological Studies at the University of St. Andrews. Provides a focal point for the active and successful philosophical research culture which exists at St. Andrews.
• Century of Controversy over the Foundations of Mathematics  - Focuses on foundations of mathematics, discusses connections with physics, and proposes a program of research for the next century. Talk delivered by Greg Chaitin at the Umass-Lowell in 1999.
• Foundations of Mathematics  - Automated e-mail list for discussing foundations of mathematics. Subscriptions and postings upon approval of the moderator.
• Foundations of Mathematics Textbook/Reference  - Resource center organized as a book as opposed to an encyclopedia, dictionary, directory, or link collection.
• Hilbert II  - Forming a free, worldwide mathematical knowledge base that contains mathematical theorems and proofs in a formal correct form. Project is in tradition of Hilbert's program.
• Mizar  - Includes links to download system, Journal Formalized Mathematics, list of conferences, and mathematical library.
• Practical Foundations of Mathematics  - Collects the methods of construction of the objects of twentieth century mathematics. With instructions on how to order copy.