Mathematics (38)

Categories:

See Also:
Regular Links:

http://www.meta-religion.com/Mathematics/Philosophy_of_mathematics/19_century_logic.htm
19th Century Logic between Philosophy and Mathematics Open in a new browser window
   Online article by Volker Peckhaus.
   http://www.meta-religion.com/Mathematics/Philosophy_of_mathematics/19_century_logic.htm
http://home.adelphi.edu/~cshpm/
Canadian Society for History and Philosophy of Mathematics Open in a new browser window
   Bulletin, members' pages, meetings.
   http://home.adelphi.edu/~cshpm/
http://plato.stanford.edu/entries/mathematics-constructive/
Constructive Mathematics Open in a new browser window
   Constructive mathematics is distinguished from its traditional counterpart, classical mathematics, by the strict interpretation of the phrase `there exists' as `we can construct'. In order to work constructively, we need to re-interpret not only the exis
   http://plato.stanford.edu/entries/mathematics-constructive/
http://ios.org/articles/foundations_phil-of-mathematics.asp
Foundations: Philosophy of Mathematics Open in a new browser window
   A study guide on the Philosophy of Mathematics provided by The Objectivist Center, including a study guide on the subject.
   http://ios.org/articles/foundations_phil-of-mathematics.asp
http://plato.stanford.edu/entries/hilbert-program/
Hilbert's Program Open in a new browser window
   In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathematics. From the Stanford Encyclopedia, by Richard Zach.
   http://plato.stanford.edu/entries/hilbert-program/
http://www.iol.ie/~peter/
Holistic Math Open in a new browser window
   An enlarged paradigm of mathematical reality that includes psychology as an integral component.
   http://www.iol.ie/~peter/
http://plato.stanford.edu/entries/mathematics-inconsistent/
Inconsistent Mathematics Open in a new browser window
   Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework of a (non-classical) logic which can tolerate the presence of a contradiction without turning every sente
   http://plato.stanford.edu/entries/mathematics-inconsistent/
http://plato.stanford.edu/entries/mathphil-indis/
Indispensability Arguments in the Philosophy of Mathematics Open in a new browser window
   From the fact that mathematics is indispensable to science, some philosophers have drawn serious metaphysical conclusions. In particular, Quine and Putnam have argued that the indispensability of mathematics to empirical science gives us good reason to b
   http://plato.stanford.edu/entries/mathphil-indis/
http://plato.stanford.edu/entries/logic-intuitionistic/
Intuitionistic Logic Open in a new browser window
   Intuitionistic logic encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics, beginning in [1907]. Because these principles also underly Russian recursive analysis and the construc
   http://plato.stanford.edu/entries/logic-intuitionistic/
http://www.mmsysgrp.com/mathstrc.htm
Mathematical Structures Group Open in a new browser window
   Research topics include mathematical models and theories in the empirical sciences, models and theories in mathematics, category theory, and the use of mathematical structures in theoretical computer science. Bibliographic data.
   http://www.mmsysgrp.com/mathstrc.htm
http://plato.stanford.edu/entries/geometry-19th/
Nineteenth Century Geometry Open in a new browser window
   Philosophical-historical survey of the development of geometry in the 19th century. From the Stanford Encyclopedia, by Roberto Toretti.
   http://plato.stanford.edu/entries/geometry-19th/
http://www.friesian.com/goedel/
On Gödel's Philosophy of Mathematics Open in a new browser window
   A paper by Harold Ravitch, Los Angeles Valley College.
   http://www.friesian.com/goedel/
http://philtar.ucsm.ac.uk/philosophy_of_mathematics/individual_philosophers/
PHILTAR - Philosophy of Mathematics Open in a new browser window
   Links to pages on individual philosophers.
   http://philtar.ucsm.ac.uk/philosophy_of_mathematics/individual_philosophers/
http://www.ex.ac.uk/~PErnest/
Paul Ernest's Page Open in a new browser window
   Based at School of Education, University of Exeter, United Kingdom, includes the text of back issues of the Philosophy of Mathematics Education Journal, and other papers on the philosophy of mathematics and related subjects.
   http://www.ex.ac.uk/~PErnest/
http://www.cs.washington.edu/homes/gjb/doc/philmath.htm
Philosophy of Mathematics Class Notes Open in a new browser window
   Notes to a class by Carl Posy at Duke University, Fall 1992.
   http://www.cs.washington.edu/homes/gjb/doc/philmath.htm
http://www.ex.ac.uk/~PErnest/soccon.htm
Social Constructivism as a Philosophy of Mathematics Open in a new browser window
   Article by Paul Ernest.
   http://www.ex.ac.uk/~PErnest/soccon.htm
http://www.mmsysgrp.com/strctcat.htm
Structuralism, Category Theory and Philosophy of Mathematics Open in a new browser window
   By Richard Stefanik (Washington: MSG Press,1994).
   http://www.mmsysgrp.com/strctcat.htm
http://www.st-andrews.ac.uk/academic/philosophy/arche/math.shtml
The Logical and Metaphysical Foundations of Classical Mathematics Open in a new browser window
   Arché Research Project at the University of St Andrews. Description of the project, sponsors, researchers and publications.
   http://www.st-andrews.ac.uk/academic/philosophy/arche/math.shtml
http://meaningofmath.blogspot.com
The Philosophical Implications of Mathematics Open in a new browser window
   This weblog examines what we can learn about our humanness from the act of doing mathematics.
   http://meaningofmath.blogspot.com
http://www.rbjones.com/rbjpub/philos/maths/
The Philosophy of Mathematics Open in a new browser window
   Notes by R.B. Jones of foundations, problems, logicism and philosophers of mathematics.
   http://www.rbjones.com/rbjpub/philos/maths/

Last Updated: