|
- Alan Turing Home Page
Large website dedicated to Alan Turing (1912-1954) 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; 13--14 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/4-03EXCU.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 on-line.
http://www.umanitoba.ca/pm/
|
|
|