Péter on Church's thesis, constructivity and computers
From MaRDI portal
Publication:2117808
Cites work
- scientific article; zbMATH DE number 3139757 (Why is no real title available?)
- scientific article; zbMATH DE number 3144511 (Why is no real title available?)
- scientific article; zbMATH DE number 3161176 (Why is no real title available?)
- scientific article; zbMATH DE number 3728250 (Why is no real title available?)
- scientific article; zbMATH DE number 3506145 (Why is no real title available?)
- scientific article; zbMATH DE number 3266563 (Why is no real title available?)
- scientific article; zbMATH DE number 3299723 (Why is no real title available?)
- scientific article; zbMATH DE number 3066801 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- An Unsolvable Problem of Elementary Number Theory
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- GRAPHSCHEMATA UND REKURSIVE FUNKTIONEN
- General recursive functions of natural numbers
- Gödel's philosophical challenge (to Turing)
- Kalmár's argument against the plausibility of Church's thesis
- Lev Arkad'evich Kaluzhnin (1914--1990)
- On some recent criticism of Church's thesis
- Philosophy of mathematics
- Recursive Functions and Constructive Mathematics
- Recursive Predicates and Quantifiers
- The developments of the concept of machine computability from 1936 to the 1960s
- Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion
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)
