Book chapter 840 views
On the constructive and computational content of abstract mathematics
Mathesis Universalis, Computability and Proof, Volume: Synthese Library - Studies in Epistemology, Logic, Methodology, and Philosophy of Science
Swansea University Author: Ulrich Berger
Abstract
This essay describes an approach to constructive mathematics based on abstract i.e. axiomatic mathematics. Rather than insisting on structures to be explicitly constructed, constructivity is dened by the sole requirement that proofs have computational content. It is shown that this approach is compa...
Published in: | Mathesis Universalis, Computability and Proof |
---|---|
Published: |
2019
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa50301 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
first_indexed |
2019-05-13T10:26:30Z |
---|---|
last_indexed |
2019-10-01T14:16:51Z |
id |
cronfa50301 |
recordtype |
SURis |
fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2019-10-01T11:50:58.4880843</datestamp><bib-version>v2</bib-version><id>50301</id><entry>2019-05-09</entry><title>On the constructive and computational content of abstract mathematics</title><swanseaauthors><author><sid>61199ae25042a5e629c5398c4a40a4f5</sid><ORCID>0000-0002-7677-3582</ORCID><firstname>Ulrich</firstname><surname>Berger</surname><name>Ulrich Berger</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-05-09</date><deptcode>SCS</deptcode><abstract>This essay describes an approach to constructive mathematics based on abstract i.e. axiomatic mathematics. Rather than insisting on structures to be explicitly constructed, constructivity is dened by the sole requirement that proofs have computational content. It is shown that this approach is compatible with restricted forms of classical logic and choice principles.</abstract><type>Book chapter</type><journal>Mathesis Universalis, Computability and Proof</journal><volume>Synthese Library - Studies in Epistemology, Logic, Methodology, and Philosophy of Science</volume><publisher/><keywords>constructive mathematics, realizability, program extraction, choice principles</keywords><publishedDay>27</publishedDay><publishedMonth>8</publishedMonth><publishedYear>2019</publishedYear><publishedDate>2019-08-27</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2019-10-01T11:50:58.4880843</lastEdited><Created>2019-05-09T22:55:52.1594745</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Ulrich</firstname><surname>Berger</surname><orcid>0000-0002-7677-3582</orcid><order>1</order></author></authors><documents/><OutputDurs/></rfc1807> |
spelling |
2019-10-01T11:50:58.4880843 v2 50301 2019-05-09 On the constructive and computational content of abstract mathematics 61199ae25042a5e629c5398c4a40a4f5 0000-0002-7677-3582 Ulrich Berger Ulrich Berger true false 2019-05-09 SCS This essay describes an approach to constructive mathematics based on abstract i.e. axiomatic mathematics. Rather than insisting on structures to be explicitly constructed, constructivity is dened by the sole requirement that proofs have computational content. It is shown that this approach is compatible with restricted forms of classical logic and choice principles. Book chapter Mathesis Universalis, Computability and Proof Synthese Library - Studies in Epistemology, Logic, Methodology, and Philosophy of Science constructive mathematics, realizability, program extraction, choice principles 27 8 2019 2019-08-27 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2019-10-01T11:50:58.4880843 2019-05-09T22:55:52.1594745 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ulrich Berger 0000-0002-7677-3582 1 |
title |
On the constructive and computational content of abstract mathematics |
spellingShingle |
On the constructive and computational content of abstract mathematics Ulrich Berger |
title_short |
On the constructive and computational content of abstract mathematics |
title_full |
On the constructive and computational content of abstract mathematics |
title_fullStr |
On the constructive and computational content of abstract mathematics |
title_full_unstemmed |
On the constructive and computational content of abstract mathematics |
title_sort |
On the constructive and computational content of abstract mathematics |
author_id_str_mv |
61199ae25042a5e629c5398c4a40a4f5 |
author_id_fullname_str_mv |
61199ae25042a5e629c5398c4a40a4f5_***_Ulrich Berger |
author |
Ulrich Berger |
author2 |
Ulrich Berger |
format |
Book chapter |
container_title |
Mathesis Universalis, Computability and Proof |
container_volume |
Synthese Library - Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
publishDate |
2019 |
institution |
Swansea University |
college_str |
Faculty of Science and Engineering |
hierarchytype |
|
hierarchy_top_id |
facultyofscienceandengineering |
hierarchy_top_title |
Faculty of Science and Engineering |
hierarchy_parent_id |
facultyofscienceandengineering |
hierarchy_parent_title |
Faculty of Science and Engineering |
department_str |
School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science |
document_store_str |
0 |
active_str |
0 |
description |
This essay describes an approach to constructive mathematics based on abstract i.e. axiomatic mathematics. Rather than insisting on structures to be explicitly constructed, constructivity is dened by the sole requirement that proofs have computational content. It is shown that this approach is compatible with restricted forms of classical logic and choice principles. |
published_date |
2019-08-27T04:01:43Z |
_version_ |
1763753174989012992 |
score |
11.016235 |