PhilSci Archive

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

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

[img]
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:
CreatorsEmailORCID
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 View Item