TRENDS IN MATHEMATICS THE DEATH OF PROOF

First Page		Document Content
Date: 2011-03-22 01:03:23 Philosophy of mathematics Proof theory Logical syntax Model theory Computer-assisted proof Mathematical proof Theorem Mathematician William Thurston Mathematics Logic Mathematical logic		TRENDS IN MATHEMATICS THE DEATH OF PROOF Add to Reading List Source URL: www.math.uh.edu Download Document from Source Website File Size: 599,79 KB Share Document on Facebook

	BULLETIN (New Series) OF THE AMERICAN MATHEMATICALSOCIETY Volume 30, Number 2, April 1994 ON PROOF AND PROGRESS IN MATHEMATICS WILLIAM P. THURSTON DocID: 1stR7 - View Document
	CURRICULUM VITAE Caroline Mary Series Mathematics Institute, Warwick University, Coventry CV4 7AL, UK www.warwick.ac.uk/staff/C.M.Series Off. + Sec. + Fax +44 (0 DocID: 1p9me - View Document
	arXiv:math/0503081v1 [math.HO] 4 MarMATHEMATICAL EDUCATION WILLIAM P. THURSTON Note: This article originally appeared in the Notices of the AMS), 844– DocID: 1dluj - View Document
	Situation Assessment for Capitol Lake Management Conducted for the Washington State Department of Enterprise Services By the William D. Ruckelshaus Center December 19, 2014 DocID: 1a8Wu - View Document
	Situation Assessment for Capitol Lake Management Conducted for the Washington State Department of Enterprise Services By the William D. Ruckelshaus Center December 19, 2014 DocID: 19jRg - View Document