No label defined (Q4934276)
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 1390011
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1390011 |
Statements
14 November 2000
0 references
computability
0 references
Church-Turing thesis
0 references
history
0 references
0.7780497670173645
0 references
0.7682328224182129
0 references
Many times current presentations and papers rush blurringly through the contributions of the pioneers of computability theory (Gödel, Turing, Church, Kleene, Post, and others): the credits for various basic results, when not plainly wrong are often done mingling unprecisely some of these names. The paper of Robert Soare is a much needed guide in the history of early computability theory with a focus on the terminology of the basic concepts. The paper is written in a clear and elegant style and the discussion on the appropriate terminology is done with authority and convincing arguments. This is recommended reading for anyone interested in mathematical logic or theoretical computer science. For the entire collection see [Zbl 0923.03001].
0 references
