Bulletin, members' pages, meetings.
In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finit...
Intuitionistic logic encompasses the principles of logical reasoning which were used by L. E. J. Br...
From the fact that mathematics is indispensable to science, some philosophers have drawn serious me...
Constructive mathematics is distinguished from its traditional counterpart, classical mathematics, ...
Inconsistent mathematics is the study of the mathematical theories that result when classical mathe...
Philosophical-historical survey of the development of geometry in the 19th century. From the Stanfo...
A paper by Harold Ravitch, Los Angeles Valley College.
An enlarged paradigm of mathematical reality that includes psychology as an integral component.
Online article by Volker Peckhaus.
Notes by R.B. Jones of foundations, problems, logicism and philosophers of mathematics.
This weblog examines what we can learn about our humanness from the act of doing mathematics.