gptkbp:wrote
|
Gandy, R. O. (1988). The Confluence of Ideas in 1936. In The Universal Turing Machine: A Half-Century Survey.
Gandy, R. O. (1980). Church's Thesis and Principles for Mechanisms. In The Kleene Symposium.
Gandy, R. O. (1995). Some Reflections on the Mechanistic Thesis.
|