Foundations Of Mathematics
Suggested Books
| Eric Weisstein's World of Mathematics Glossary of terms. Material ranges from undergraduate to research level. | |
| 03: Mathematical logic and foundations From The Mathematical Atlas, a resource of mathematics maintained by David Rusin.Extensive resources related to logic and set theory. | |
| Henry Wolkowicz: Interesting Sites Related to Mathematics A list maintained by Henry Wolkowicz. | |
| Mathematics Multicultural Education Bibliography Annotated Bibliography of Multicultural Issues in Mathematics Education, byPatricia S. Wilson, Julio C. Mosquera P., Marilyn E. Strutchens, and Annicia J. | |
| Mathematical Logic around the world A rich collection of links to logic-related websites. | |
| Poincaré Conjecture -- from MathWorld A widely accessible statement of the Poincaré Conjecture and its implications,with various links and references for further inquiry. | |
| Foundations of Computational Mathematics (FoCM) A nonprofit organization that supports and promotes research on foundations ofcomputational mathematics. | |
| FoCM'05 Foundations of Computational Mathematics. Universidad de Cantabria, Santander,Spain; 30 June -- 9 July 2005. | |
| Foundations of Computational Mathematics International Research Group for Computational Mathematics. | |
| Philosophy Pages: Wittgenstein Discussion by Garth Kemerling of the life and works of Ludwig Wittgenstein, withtopical links to additional information. Includes an online version of the ... | |
| TEXTBOOKS, LECTURE NOTES AND TUTORIALS IN MATHEMATICS A collection of links by alex_stef@yahoo.com to free mathematics textbooks,lecture notes and tutorials. | |
| Jules Henri Poincaré [Internet Encyclopedia of Philosophy] 19th century French philosopher of science. | |
| Wittgenstein From the MacTutor History of Mathematics archive. Well referenced. | |
| Mathematics Archives - Topics in Mathematics - Logic & Set Theory Category of Topics in Mathematics (MathArchives). | |
| Luitzen Egbertus Jan Brouwer Article from the Stanford Encyclopedia of Philosophy, by Mark van Atten.Includes biographical timeline and a summary of Brouwer's intuitionism. | |
| Foundations of Mathematics. Mathematical Logic. By K.Podnieks (Hyper)textbook for students in mathematical logic, by Karlis Podnieks. | |
| Harvard University Press/Mathematics Subject Index Mathematics Subject Index. Searchable catalogue, online ordering. | |
| LRC Mathematics Program Department of Mathematics. | |
| Foundations of Mathematics This is a site for studying foundations of mathematics, or it can be used as areference material. The site is structured as contents pages of a book on the ... | |
| Institute for History and Foundations of Science Institute for the History and Foundations of Science, based in the Netherlands. | |
| Practical Foundations of Mathematics An account of the foundations of mathematics (algebra) and theoretical computerscience, from a modern constructive viewpoint by Paul Taylor. | |
| Institute for History and Foundations of Science Masters program in History and Philosophy of Science, faculty and contactinformation, links to publications. | |
| Mathematical Logic Group, Freiburg Institute for Mathematical Logic and Foundations of Mathematics. | |
| MacTutor History of Mathematics: Alfred Whitehead Biography of this logician and philosopher by JJ O'Connor and EF Robertson.Traces the relationship between his private life and his writings. | |
| Frege's Logic, Theorem, and Foundations for Arithmetic Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic,Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Crispin ... | |
| On the Foundations of Mathematics Conference in honor of Jan Mycielski. University of Colorado at Boulder, USA;1--2 June 2002. | |
| Foundations Study Guide: Philosophy of Mathematics -- Objectivist ... A study guide on the Philosophy of Mathematics provided by The Objectivist Center,including a study guide on the subject. | |
| GOEDEL'96 Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel'sLegacy. Brno, Czech Republic; 25--29 August 1996. | |
| Lesniewski's System of the Foundations of Mathematics Background information on Lesniewski's work. | |
| Mathematical Logic at Penn State Mathematical Logic. | |
| Logic and Mathematics Essay on the nature of logic and its relationship to the philosophy of mathematics,written by Stephen G. Simpson. | |
| The Logical and Metaphysical Foundations of Classical Mathematics Arché Research Project at the University of St Andrews. Description of the project,sponsors, researchers and publications. | |
| Midwest Philosophy of Mathematics Workshop An annnual conference. Last meeting: University of Notre Dame, Indiana, USA;22--23 November 2003. | |
| Department of Mathematics and Statistics Offers programs with options in pure and applied mathematics, and applied statistics.Research encompasses core areas of analysis, computational mathematics, ... | |
| Homepage Henk Barendregt Radboud University Nijmegen - Lambda calculus, type theory and formalisingmathematical vernacular. | |
| Karl Menger Biography, bibliography, fields of research and references. | |
| Who are Boole, Fitch, and Tarski? Brief biographies of the logicians whose names appear in Barwise and Etchemendy'stextbook Language, Proof and Logic. | |
| COMPUTABILITY LOGIC: a theory of interactive computation HOMEPAGE Main online source on computability logic, - a recently emerged formal theory ofcomputational tasks and resources. Maintained by G.Japaridze. | |
| Foundational Theories in Mathematics Department of Mathematics, University of Trento, Italy; 3--7 September 2001. | |
| Wiley-VCH - MLQ - Mathematical Logic Quarterly Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik.Publisher's site. Table of contents from 2000. Full text to subscribers. | |
| What It All Means: A Science of Consciousness, the Semeiotics of ... A Science of Consciousness: the Semiotics of Mind, and the Elements of PersonalPhilosophy - Steven Zenith's work in semiotics. | |
| Glossary of People: Br An entry from the Encyclopedia of Marxism. | |
| The Value of Knowledge: a Miniature Library Marxists.org collection of texts from the history of philosophy tracing thedevelopment of ideas on the relation between consciousness and matter; includes 120 ... | |
| EEVL Mathematics Section | |
| GJ Chaitin Home Page IBM Research. | |
| Faculty Floyd Boston University - philosophy of language, philosophy of mathematics, Wittgenstein. | |
| UM Department of Mathematics: Michigan Mathematics: Logic and ... Logic and Foundations. | |
| PHILTAR - Philosophy of Mathematics/Individual Philosophers Links to pages on individual philosophers. | |