Mathematical constraints and their philosophical impact
| dc.contributor.author | Stiles, Adam | |
| dc.date.accessioned | 2021-07-08T20:22:21Z | |
| dc.date.available | 2021-07-08T20:22:21Z | |
| dc.date.issued | 2021 | |
| dc.identifier.citation |
Stiles, A. (2021) ‘Mathematical constraints and their philosophical impact’, The Plymouth Student Scientist, 14(1), pp. 405-451. | en_US |
| dc.identifier.uri | http://hdl.handle.net/10026.1/17327 | |
| dc.description.abstract |
This paper investigates some of the constraints encountered in mathematics. It proves the incompleteness theorems. It investigates or discusses theorem proving procedures, complexity, undecidability, undefinability, and covers some examples of independent formulas. Some dialogue on the influence of these concepts on the development of mathematics, and on mathematical philosophy since the 20th century is included. This paper should give any person with an interest in philosophy sufficient understanding to discuss mathematical philosophy with mathematicians. | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | University of Plymouth | en_US |
| dc.rights | Attribution 3.0 United States | * |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0/us/ | * |
| dc.subject | mathematical constraints | en_US |
| dc.subject | incompleteness theorems | en_US |
| dc.subject | complexity | en_US |
| dc.subject | undecidability | en_US |
| dc.subject | undefinability | en_US |
| dc.subject | independent formulas | en_US |
| dc.subject | mathematical philosophy | en_US |
| dc.title | Mathematical constraints and their philosophical impact | en_US |
| dc.type | Article | en_US |
| plymouth.issue | 1 | |
| plymouth.volume | 14 | |
| plymouth.journal | The Plymouth Student Scientist |
Files in this item
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as Attribution 3.0 United States