Szabó, Máté (2021) Péter on Church's Thesis, Constructivity and Computers. [Preprint]

Preview

Text szabo_-_peter_on_churchs_thesis_constructivity_computers.pdf Download (386kB) | Preview

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.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Szabó, Máté 0000-0001-7721-1103
Keywords:	Church's Thesis, Church Turing Thesis, Constructivity, History of Logic, Computer Science, Rózsa Péter
Subjects:	Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > History Specific Sciences > Mathematics > Logic Specific Sciences > Computation/Information Specific Sciences > Computer Science General Issues > History of Philosophy of Science General Issues > Technology
Depositing User:	Mate Szabo
Date Deposited:	21 May 2022 20:00
Last Modified:	21 May 2022 20:00
Item ID:	20637
DOI or Unique Handle:	https://doi.org/10.1007/978-3-030-80049-9_43
Subjects:	Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > History Specific Sciences > Mathematics > Logic Specific Sciences > Computation/Information Specific Sciences > Computer Science General Issues > History of Philosophy of Science General Issues > Technology
Date:	2021
URI:	https://philsci-archive.pitt.edu/id/eprint/20637

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item