Infeasibility of solving finite mathematical problems
We prove that the decision problem for finite mathematical statements, though recursive, is infeasible in seemingly any realistic model of computation. In particular, we construct of a set of finite mathematical statements which can only be feasibly solved by programs long enough to explicitly encod...
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Dissertation |
| Jazyk: | English |
| Vydavateľské údaje: |
ProQuest Dissertations & Theses
01.01.2010
|
| Predmet: | |
| ISBN: | 9780494660690, 0494660694 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Shrnutí: | We prove that the decision problem for finite mathematical statements, though recursive, is infeasible in seemingly any realistic model of computation. In particular, we construct of a set of finite mathematical statements which can only be feasibly solved by programs long enough to explicitly encode a decision for each statement. This result was published in Hungarian, in 1973, by Michael Makkai and appears here for the first time in English. In this paper we: (1) elucidate Makkai’s proof as an adaptation of Gödel’s first incompleteness proof, (2) strengthen his 1973 result and (3) reflect on this result from the perspectives of computational complexity and algorithmic information theory (Kolmogorov complexity). |
|---|---|
| Bibliografia: | SourceType-Dissertations & Theses-1 ObjectType-Dissertation/Thesis-1 content type line 12 |
| ISBN: | 9780494660690 0494660694 |