Church's Thesis After 70 Years
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2006 |
| Editors | Adam Olszewski |
| Robert Janusz | |
| Jan Woleński | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1981041 |
About Church's Thesis After 70 Years
Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. . . .