Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1076085
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Step by Recursive Step: Church's Analysis of Effective Calculability |
scientific article; zbMATH DE number 1076085 |
Statements
Step by Recursive Step: Church's Analysis of Effective Calculability (English)
0 references
17 March 1998
0 references
Church's Thesis
0 references
Church
0 references
Bernays
0 references
Gödel
0 references
Kleene
0 references
Rosser
0 references
Turing
0 references
Post
0 references
0.7908013463020325
0 references
0.7809399366378784
0 references
