- Alan Turing Home Page
Large website dedicated to Alan Turing (1912-1954) founder of computer science
PHILTAR - Philosophy of Mathematics
Links to pages on individual philosophers.
Conference on Programmes in Mathematics
University of Hertfordshire, Watford Campus in Aldenham, UK; 13--14 July 1999.
Demonstration and Proof
Page that includes a discourse presented by Brown in 1973, on the distinction between a demonstration and a proof.
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.
Journal devoted specifically to philosophy of mathematics. Contents starting vol.1 (1993) and abstracts starting vol.5 (1997) are available on-line.