Is proof dead in the age of computers?

Gough, John 2008, Is proof dead in the age of computers?, Vinculum, vol. 45, no. 1, pp. 12-17.

Title	Is proof dead in the age of computers?
Author(s)	Gough, John
Journal name	Vinculum
Volume number	45
Issue number	1
Start page	12
End page	17
Total pages	6 p.
Publisher	The Mathematical Association of Victoria
Place of publication	Brunswick, Vic.
Publication date	2008
ISSN	0157-759X
Keyword(s)	proof theory automatic theorem proving induction (Mathematics) logic, Symbolic and mathematical -- Study and teaching mathematics -- Study and teaching (Secondary)
Summary	Some knowledge of what it means to construct a proof is an extremely important part of mathematics. All mathematics teachers and students should have some exposure to the ideas of proof and proving. This paper deals with the issue of creating proofs in mathematics problems.
Language	eng
Field of Research	130208 Mathematics and Numeracy Curriculum and Pedagogy
HERDC Research category	C3 Non-refereed articles in a professional journal
Persistent URL	http://hdl.handle.net/10536/DRO/DU:30019041

Document type:	Journal Article
Collection:	School of Education

Access Statistics:	295 Abstract Views - Detailed Statistics
Created:	Fri, 11 Sep 2009, 10:31:09 EST

Deakin Research Online