CEU Electronic Theses and Dissertations, 2009
| Author | Henk, Csaba |
|---|---|
| Title | A model theoretic analysis of the Church-Turing Thesis |
| Summary | We present recursion theory in terms of hereditarily finite sets. We use this as a basis for a purely model theoretic defiition of decidability, using the notion of an end extension. Finally we show an argument for why it is not necessary to postulate the Church-Turing Thesis as a standalone hypothesis, by outlining a much more fundamental and paradigmatic hyptothesis of modern mathematics and tracing back the Church-Turing Thesis to this latter hypothesis. |
| Supervisor | Andréka, Hajnal; Németi, István |
| Department | Mathematics PhD |
| Full text | https://www.etd.ceu.edu/2009/tphhec01.pdf |
Visit the CEU Library.
© 2007-2021, Central European University