The role of explanation in mathematical research
50 mins 49 secs,
738.79 MB,
MPEG-4 Video
640x360,
29.97 fps,
44100 Hz,
1.93 Mbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Pease, A
Friday 14th July 2017 - 09:00 to 10:00 |
|---|
| Created: | 2017-07-26 15:12 |
|---|---|
| Collection: | Big proof |
| Publisher: | Isaac Newton Institute |
| Copyright: | Pease, A |
| Language: | eng (English) |
| Distribution: |
World
(downloadable)
|
| Explicit content: | No |
| Aspect Ratio: | 16:9 |
| Screencast: | No |
| Bumper: | UCS Default |
| Trailer: | UCS Default |
| Abstract: | Co-authors: Andrew Aberdein (Florida Institute of Technology), Ursula Martin (University of Oxford)
Mathematical practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice - for example the community question answering system MathOverflow contains nearly 70,000 mathematical conversations, and polymath collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of "soft" aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss our investigations into these resources, focusing on ways in which explanation and argumentation are used by mathematicians in both proofs and other mathematical contexts. |
|---|---|
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video * | 640x360 | 1.93 Mbits/sec | 738.79 MB | View | Download | |
| WebM | 640x360 | 692.32 kbits/sec | 257.76 MB | View | Download | |
| iPod Video | 480x270 | 520.63 kbits/sec | 193.78 MB | View | Download | |
| MP3 | 44100 Hz | 249.79 kbits/sec | 93.06 MB | Listen | Download | |
| Auto | (Allows browser to choose a format it supports) | |||||