The social machine of mathematics
1 hour 10 mins,
1.00 GB,
MPEG-4 Video
640x360,
29.97 fps,
44100 Hz,
1.95 Mbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Martin, U
Wednesday 12th July 2017 - 14:30 to 15:30 |
|---|
| Created: | 2017-07-26 13:24 |
|---|---|
| Collection: | Big proof |
| Publisher: | Isaac Newton Institute |
| Copyright: | Martin, U |
| Language: | eng (English) |
| Distribution: |
World
(downloadable)
|
| Explicit content: | No |
| Aspect Ratio: | 16:9 |
| Screencast: | No |
| Bumper: | UCS Default |
| Trailer: | UCS Default |
| Abstract: | How does mathematics come about? Formal proof is only part of the story, and in this paper I present the results of highly interdisciplinary work, using philosophy, social scence and history alongside computer science research in artificial intelligence, argumentation theory and verification, to show the scope for new techniques to support concept formation and argument finding, while highlighting the roles that risk, doubt, error, explanation and group knowledge play in the human production and use of mathematics.
Related Links https://www.cs.ox.ac.uk/people/ursula.martin/- Ursula Martin, University of Oxford |
|---|---|
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video * | 640x360 | 1.95 Mbits/sec | 1.00 GB | View | Download | |
| WebM | 640x360 | 861.84 kbits/sec | 441.86 MB | View | Download | |
| iPod Video | 480x270 | 524.79 kbits/sec | 269.06 MB | View | Download | |
| MP3 | 44100 Hz | 251.3 kbits/sec | 128.84 MB | Listen | Download | |
| Auto | (Allows browser to choose a format it supports) | |||||