Please use this identifier to cite or link to this item:
https://hdl.handle.net/1959.11/392
Title: | Natural Reasoning in Mathematical Theorem Proving | Contributor(s): | Livingston, E (author) | Publication Date: | 2005 | Handle Link: | https://hdl.handle.net/1959.11/392 | Abstract: | The study of mathematical reasoning has been guided by complementary distinctions between deductive inference and individual reasoning, between objective logic and heuristic strategies, and between the context of justification and the context of discovery. This paper develops an alternative approach, examining the reasoning involved in proving mathematical theorems as belonging to a collectivity of mathematicians first and viewing individual theorem provers as taking part in that collective reasoning. Mathematical reasoning, in this way, is 'natural' to the collective practices of proving. An analogy of practice involving tangram puzzles is used to clarify the more mathematical aspects of the paper. The paper concludes by arguing that the congregational character of mathematical reasoning is sustained by individual theorem provers in, as, and through the material detail, material specificity, and material definiteness of mathematical argumentation. | Publication Type: | Journal Article | Source of Publication: | Communication and Cognition, 38(3/4), p. 319-344 | Publisher: | Communication & Cognition | Place of Publication: | Belgium | ISSN: | 0378-0880 | Fields of Research (FoR) 2008: | 160899 Sociology not elsewhere classified | Peer Reviewed: | Yes | HERDC Category Description: | C1 Refereed Article in a Scholarly Journal | Publisher/associated links: | http://www.e-webtec.com/cc/ |
---|---|
Appears in Collections: | Journal Article |
Files in This Item:
File | Description | Size | Format |
---|
Page view(s)
1,144
checked on Aug 3, 2024
Items in Research UNE are protected by copyright, with all rights reserved, unless otherwise indicated.