The Plymouth Student Scientist
Document Type
Engineering, Computing and Mathematics Article
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.
Publication Date
2021-07-08
Publication Title
The Plymouth Student Scientist
Volume
14
Issue
1
First Page
405
Last Page
451
ISSN
1754-2383
Deposit Date
July 2021
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.
Recommended Citation
Stiles, Adam
(2021)
"Mathematical constraints and their philosophical impact,"
The Plymouth Student Scientist: Vol. 14:
Iss.
1, Article 10.
DOI: https://doi.org/10.24382/wxqg-4h93
Available at:
https://pearl.plymouth.ac.uk/tpss/vol14/iss1/10
