Computational logic and the social
For centuries, the highest level of mathematics has been seen as an isolated creative activity, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. ‘Crowdsourc...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Published: |
Oxford University Press
2014
|
| _version_ | 1826256975624667136 |
|---|---|
| author | Martin, U |
| author_facet | Martin, U |
| author_sort | Martin, U |
| collection | OXFORD |
| description | For centuries, the highest level of mathematics has been seen as an isolated creative activity, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. ‘Crowdsourcing’ pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers, using programs designed to verify hardware, check proofs that are just too long and complicated for any human to comprehend. ‘Social machines’ are new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity. This paper outlines a research agenda for a new vision of a mathematics social machine, a combination of people, computers, and archives to create and apply mathematics, and places it in the context of verification research, computational logic and Roy Dyckhoff’s pioneering work on computer proof. |
| first_indexed | 2024-03-06T18:10:49Z |
| format | Journal article |
| id | oxford-uuid:02f4cbaa-bcb1-4f5e-b341-1421381c2c66 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T18:10:49Z |
| publishDate | 2014 |
| publisher | Oxford University Press |
| record_format | dspace |
| spelling | oxford-uuid:02f4cbaa-bcb1-4f5e-b341-1421381c2c662022-03-26T08:43:32ZComputational logic and the socialJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:02f4cbaa-bcb1-4f5e-b341-1421381c2c66Symplectic Elements at OxfordOxford University Press2014Martin, UFor centuries, the highest level of mathematics has been seen as an isolated creative activity, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. ‘Crowdsourcing’ pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers, using programs designed to verify hardware, check proofs that are just too long and complicated for any human to comprehend. ‘Social machines’ are new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity. This paper outlines a research agenda for a new vision of a mathematics social machine, a combination of people, computers, and archives to create and apply mathematics, and places it in the context of verification research, computational logic and Roy Dyckhoff’s pioneering work on computer proof. |
| spellingShingle | Martin, U Computational logic and the social |
| title | Computational logic and the social |
| title_full | Computational logic and the social |
| title_fullStr | Computational logic and the social |
| title_full_unstemmed | Computational logic and the social |
| title_short | Computational logic and the social |
| title_sort | computational logic and the social |
| work_keys_str_mv | AT martinu computationallogicandthesocial |