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.

Attached Files
Name Description MIMEType Size Downloads

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

Document type: Journal Article
Collections: Faculty of Arts and Education
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.

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 364 Abstract Views, 0 File Downloads  -  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