Potential Infinity and the Church Thesis Export

@article{Mos07, abstract = {In this paper we consider a "mathematical" proof of the Church Thesis. The proof is based on very weak assumptions about intuitive computability and the FM-representability theorem from [11]. It develops and improves the argument mentioned in [12]. Our argument essentially depends on the mathematical model of the world we are in.}, address = {Amsterdam, The Netherlands, The Netherlands}, author = {Mostowski, Marcin}, citeulike-article-id = {3662145}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1366757}, issn = {0169-2968}, journal = {Fundamenta Informaticae}, keywords = {church-turing, infinity, potential, thesis}, number = {1-3}, pages = {241--248}, posted-at = {2008-11-22 19:48:55}, priority = {0}, publisher = {IOS Press}, title = {Potential Infinity and the Church Thesis}, url = {http://portal.acm.org/citation.cfm?id=1366757}, volume = {81}, year = {2008} }

TY - JOUR ID - Mos07 L3 - citeulike-article-id:3662145 N2 - In this paper we consider a "mathematical" proof of the Church Thesis. The proof is based on very weak assumptions about intuitive computability and the FM-representability theorem from [11]. It develops and improves the argument mentioned in [12]. Our argument essentially depends on the mathematical model of the world we are in. IS - 1-3 JF - Fundamenta Informaticae SN - 0169-2968 AD - Amsterdam, The Netherlands, The Netherlands EP - 248 TI - Potential Infinity and the Church Thesis PB - IOS Press VL - 81 SP - 241 KW - church-turing KW - infinity KW - potential KW - thesis AU - Mostowski, Marcin PY - 2008/// UR - http://portal.acm.org/citation.cfm?id=1366757 ER -