Panel on future directions for Big Proof
Duration: 52 mins 37 secs
Share this media item:
Embed this media item:
Embed this media item:
About this item
Description: |
Gowers, W
Shankar, N PIon, P Friday 14th July 2017 - 14:30 to 15:30 |
---|
Created: | 2017-07-26 15:48 |
---|---|
Collection: | Big proof |
Publisher: | Isaac Newton Institute |
Copyright: | Gowers, W - Shankar, N - PIon, P |
Language: | eng (English) |
Distribution: | World (downloadable) |
Explicit content: | No |
Aspect Ratio: | 16:9 |
Screencast: | No |
Bumper: | UCS Default |
Trailer: | UCS Default |
Abstract: | The ambitious goal of the Newton Institute Big Proof programme is to bring together mathematicians, logicians, and computer scientists engaged in developing and applying proof technology. This panel will draw together the thinking of the workshop participants as a contribution to a key expected output of the programme: a concrete, long-term research agenda for making computational inference a basic technology for formalising, creating, curating, and disseminating mathematical knowledge in digital form.
Chair: Natarajan Shankar, Lead organiser of the Newton Institute Big Proof programme, a staff scientist in the Computer Science Laboratory at SRI International and creator of the PVS verification system. Panellists to include Professor Sir Tim Gowers FRS, Fields medallist and widely read thinker on mathematical issues, and Dr Patrick Ion, formerly editor of Mathematical Reviews, and founding member of the IMU’s " International Mathematical Knowledge Trust” |
---|
Available Formats
Format | Quality | Bitrate | Size | |||
---|---|---|---|---|---|---|
MPEG-4 Video | 640x360 | 1.93 Mbits/sec | 763.47 MB | View | Download | |
WebM | 640x360 | 1.49 Mbits/sec | 591.74 MB | View | Download | |
iPod Video | 480x270 | 522.17 kbits/sec | 201.24 MB | View | Download | |
MP3 | 44100 Hz | 249.8 kbits/sec | 96.36 MB | Listen | Download | |
Auto * | (Allows browser to choose a format it supports) |