•  
  •  
 

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

Embargo Period

2024-07-08

Creative Commons License

Creative Commons Attribution 4.0 International License
This work is licensed under a Creative Commons Attribution 4.0 International License.

license.txt (5 kB)

Share

COinS