- Title
- Exploratory experimentation: digitally-assisted discovery and proof
- Creator
- Borwein, Jonathan Michael
- Relation
- Proof and Proving in Mathematics Education: the 19th ICMI Study p. 69-96
- Relation
- New ICMI Study Series 15
- Publisher Link
- http://dx.doi.org/10.1007/978-94-007-2129-6_4
- Publisher
- Springer
- Resource Type
- book chapter
- Date
- 2012
- Description
- The mathematical community (appropriately defined) faces a great challenge to re-evaluate the role of proof in light of the power of current computer systems, the sophistication of modern mathematical computing packages, and the growing capacity to data-mine on the internet. Added to those are the enormous complexity of many modern mathematical results such as the Poincaré conjecture, Fermat’s last theorem, and the classification of finite simple groups. With great challenges come great opportunities. Here, I survey the current challenges and opportunities for the learning and doing of mathematics. As the prospects for inductive mathematics blossom, the need to ensure that the role of proof is properly founded remains undiminished. Much of this material was presented as a plenary talk in May 2009 at the National Taiwan Normal University Workshop for ICMI Study 19 “On Proof and Proving in Mathematics Education.”
- Subject
- mathematics; proof; data mine; computer systems; challenges
- Identifier
- http://hdl.handle.net/1959.13/1038256
- Identifier
- uon:13527
- Identifier
- ISBN:9789400721289
- Rights
- The final publication is available at www.springerlink.com
- Language
- eng
- Full Text
- Hits: 817
- Visitors: 966
- Downloads: 183
| Thumbnail | File | Description | Size | Format | |||
|---|---|---|---|---|---|---|---|
| View Details Download | ATTACHMENT03 | Author final version | 1 MB | Adobe Acrobat PDF | View Details Download |