Péter on Church's Thesis, Constructivity and Computers

In Liesbeth De Mol, Andreas Weiermann, Florin Manea & David Fernández-Duque (eds.), Connecting with Computability. Proceedings of Computability in Europe. pp. 434-445 (2021)
  Copy   BIBTEX

Abstract

Abstract The aim of this paper is to take a look at Péter's talk "Rekursivität und Konstruktivität" delivered at the Constructivity in Mathematics Colloquium in 1957, where she challenged Church's Thesis from a constructive point of view. The discussion of her argument and motivations is then connected to her earlier work on recursion theory as well as her later work on theoretical computer science.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An Argument against the Plausibility of Church's Thesis.László Kalmár - 1959 - In A. Heyting (ed.), Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam 1957. Amsterdam: North-Holland. pp. 72-80.
Porte Jean. Quelques pseudo-paradoxes de la “calculabilité effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 332–334.Kalmár László. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 72–80.Peter Rózsa. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 226–233.Mendelson Elliott. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Rekursivität und konstruktivität.R. Ö. Z. S. A. Pfiter - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 226.
Constructive mathematics, Church's Thesis, and free choice sequences.David A. Turner - 2021 - In L. De Mol, A. Weiermann, F. Manea & D. Fernández-Duque (eds.), Connecting with Computability. CiE 2021. Lecture Notes in Computer Science, vol 12813.
Computational Tractability and Conceptual Coherence.Paul Thagard - 1993 - Canadian Journal of Philosophy 23 (3):349-363.
Computability in Quantum Mechanics.Wayne C. Myrvold - 1995 - In Werner DePauli-Schimanovich, Eckehart Köhler & Friedrich Stadler (eds.), The Foundational Debate: Complexity and Constructivity in Mathematics and Physics. Dordrecht, Boston and London: Kluwer Academic Publishers. pp. 33-46.
Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings.J. P. Myers, Michael J. O'donnell & Association for Symbolic Logic - 1992 - Springer Verlag.
Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam 1957.A. Heyting (ed.) - 1959 - Amsterdam: North-Holland.
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.

Analytics

Added to PP
2021-07-13

Downloads
10 (#395,257)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mate Szabo
University of Oxford

Citations of this work

No citations found.

Add more citations

References found in this work

An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Recursive predicates and quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.
After Thirty Years.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):674-674.

View all 6 references / Add more references