Péter on Church's thesis, constructivity and computers
From MaRDI portal
Publication:2117808
DOI10.1007/978-3-030-80049-9_43OpenAlexW3183385960MaRDI QIDQ2117808FDOQ2117808
Authors: Máté Szabó 
Publication date: 22 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-80049-9_43
Cites Work
- Title not available (Why is that?)
- Philosophy of mathematics
- Recursive Predicates and Quantifiers
- GRAPHSCHEMATA UND REKURSIVE FUNKTIONEN
- Title not available (Why is that?)
- An Unsolvable Problem of Elementary Number Theory
- General recursive functions of natural numbers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Recursive Functions and Constructive Mathematics
- Lev Arkad'evich Kaluzhnin (1914--1990)
- Title not available (Why is that?)
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- On some recent criticism of Church's thesis
- Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Gödel's philosophical challenge (to Turing)
- Kalmár's argument against the plausibility of Church's thesis
- The developments of the concept of machine computability from 1936 to the 1960s
- Title not available (Why is that?)
This page was built for publication: Péter on Church's thesis, constructivity and computers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117808)
