Péter on Church's thesis, constructivity and computers

DOI10.1007/978-3-030-80049-9_43OpenAlexW3183385960MaRDI QIDQ2117808

Máté Szabó

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-80049-9_43

zbMATH Keywords

Church's thesisconstructivityRózsa Péter

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Lev Arkad'evich Kaluzhnin (1914--1990)
• On some recent criticism of Church's thesis
• General recursive functions of natural numbers
• Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion
• Kalmár's Argument Against the Plausibility of Church's Thesis
• Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
• The Developments of the Concept of Machine Computability from 1936 to the 1960s
• Recursive Functions and Constructive Mathematics
• GRAPHSCHEMATA UND REKURSIVE FUNKTIONEN
• An Unsolvable Problem of Elementary Number Theory
• Recursive Predicates and Quantifiers
• Philosophy of mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Péter on Church's thesis, constructivity and computers