Szabó, Máté
(2021)
Péter on Church's Thesis, Constructivity and Computers.
[Preprint]
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.
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Altmetric.com
Actions (login required)
|
View Item |