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
Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Access Statistics: 313 Abstract Views  -  Detailed Statistics
Created: Fri, 11 Sep 2009, 10:31:09 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.