
 Alan Turing Home Page
Large website dedicated to Alan Turing (19121954) founder of computer science
http://www.turing.org.uk/turing/

PHILTAR  Philosophy of Mathematics
Links to pages on individual philosophers.
http://philtar.ucsm.ac.uk/philosophy_of_mathematics/individu...

Conference on Programmes in Mathematics
University of Hertfordshire, Watford Campus in Aldenham, UK; 1314 July 1999.
http://www.herts.ac.uk/humanities/philosophy/mathconf.html

Demonstration and Proof
Page that includes a discourse presented by Brown in 1973, on the distinction between a demonstration and a proof.
http://www.csus.edu/indiv/v/vonmeierk/403EXCU.html

Experimental Mathematics
A journal devoted to experimental aspects of mathematical research; now available electronically to subscribers. During the open trial period it is not necessary to be a subscriber to access articles electronically.
http://www.expmath.org/

Philosophia Mathematica
Journal devoted specifically to philosophy of mathematics. Contents starting vol.1 (1993) and abstracts starting vol.5 (1997) are available online.
http://www.umanitoba.ca/pm/


