Sponsored Links:
Intuitionistic Logic (Popularity:  )
http://plato.stanford.edu/entries/logic-intuitionistic/
Intuitionistic logic encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic ...
|
Indispensability Arguments in the Philosophy of Mathematics (Popularity: )
http://plato.stanford.edu/entries/mathphil-indis/
From the fact that mathematics is indispensable to science, some philosophers have drawn serious metaphysical conclusions. In particular, Quine and ...
|
Constructive Mathematics (Popularity: )
http://plato.stanford.edu/entries/mathematics-constructive/
Constructive mathematics is distinguished from its traditional counterpart, classical mathematics, by the strict interpretation of the phrase `there exists' as ...
|
Inconsistent Mathematics (Popularity: )
http://plato.stanford.edu/entries/mathematics-inconsistent/
Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework ...
|
Nineteenth Century Geometry (Popularity: )
http://plato.stanford.edu/entries/geometry-19th/
Philosophical-historical survey of the development of geometry in the 19th century. From the Stanford Encyclopedia, by Roberto Toretti.
|
Social Constructivism as a Philosophy of Mathematics (Popularity: )
http://www.ex.ac.uk/~PErnest/soccon.htm
Article by Paul Ernest.
|
Paul Ernest's Page (Popularity: )
http://www.ex.ac.uk/~PErnest/
Based at School of Education, University of Exeter, United Kingdom, includes the text of back issues of the Philosophy of ...
|
PHILTAR - Philosophy of Mathematics (Popularity: )
http://philtar.ucsm.ac.uk/philosophy_of_mathematics/individual_philosophers/
Links to pages on individual philosophers.
|
Mathematical Structures Group (Popularity: )
http://www.mmsysgrp.com/mathstrc.htm
Research topics include mathematical models and theories in the empirical sciences, models and theories in mathematics, category theory, and the ...
|
On Gödel's Philosophy of Mathematics (Popularity: )
http://www.friesian.com/goedel/
A paper by Harold Ravitch, Los Angeles Valley College.
|
Structuralism, Category Theory and Philosophy of Mathematics (Popularity: )
http://www.mmsysgrp.com/strctcat.htm
By Richard Stefanik (Washington: MSG Press,1994).
|
Holistic Math (Popularity: )
http://www.iol.ie/~peter/
An enlarged paradigm of mathematical reality that includes psychology as an integral component.
|
Hilbert's Program (Popularity: )
http://plato.stanford.edu/entries/hilbert-program/
In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should ...
|
19th Century Logic between Philosophy and Mathematics (Popularity: )
http://www.meta-religion.com/Mathematics/Philosophy_of_mathematics/19_century_logic.htm
Online article by Volker Peckhaus.
|
The Philosophy of Mathematics (Popularity: )
http://www.rbjones.com/rbjpub/philos/maths/
Notes by R.B. Jones of foundations, problems, logicism and philosophers of mathematics.
|
Alfred Tarski Centenary Conference (Popularity: )
http://www.mimuw.edu.pl/TARSKI/
Stefan Banach International Mathematical Center, Warsaw, Poland; 28 May -- 1 June 2001.
|
PMP2002 (Popularity: )
http://www.vub.ac.be/CLWF/PMP2002/
Perspectives on Mathematical Practices, an International Conference on the Philosophy of Mathematics. Brussels University (VUB), Belgium; 24--26 October 2002.
|
20th WCP: Philosophy of Mathematics (Popularity: )
http://www.bu.edu/wcp/MainMath.htm
Papers given at the Twentieth World Congress of Philosophy; Boston, Massachusetts, USA; 10--15 August 1998.
|
Foundation of the Formal Sciences IV (Popularity: )
http://www.math.uni-bonn.de/people/fotfs/IV/
The History of the Concept of the Formal Sciences. Rheinische Friedrich-Wilhelms-Universität Bonn, Germany; 14--17 February 2003.
|
The Nature of Mathematical Proof (Popularity: )
http://www.royalsoc.ac.uk/event.asp?id=1334
A Royal Society Discussion Meeting. London, UK; 18--19 October 2004.
|
