Recipes, algorithms, and programs

Minds and Machines

Volumn 11, Issue 2, 2001, Pages 219-237

  Cleland, Carol E ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

Action; Algorithm; Computer program; Effective procedure; Precisely specified instruction; Quotidian procedure; Symbol; Turing machine

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAM LISTINGS; PROCEDURE ORIENTED LANGUAGES; TURING MACHINES;

QUOTIDIAN PROCEDURE;

COMPUTER SCIENCE;

EID: 0035336875     PISSN: 09246495     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011251504223     Document Type: Article

References (13)

1. Biuso, Julia (1997), Italian Cooking, Newport Beach: C.J. Publishing.
2. Cleland, Carol E. (1993). 'Is the Church-Turing Thesis True?', Minds and Machines 3, pp. 283-212.
3. Cleland, Carol E (1995), 'Effective Procedures and Computable Functions', Minds and Machines 5, pp. 9-23.
4. Colburn, Timothy (1999), 'Software, Abstraction, and Ontology', The Monist 82, pp. 3-19.
5. Copeland, Jack (1998) 'Turing's O-machines, Searle, Penrose and the Brain,' Analysis 58.2, pp. 129-131.
6. Fetzer, James (1988), 'Program Verification: The Very Idea', Communications of the ACM 32, pp. 1048-1063.
7. Fetzer, James (1991), 'Philosophical Aspects of Program Verification? 'Minds and Machines 1 pp. 197-216.
8. Goodman, Nelson (1983), Fact, Fiction and Forecast, Cambridge: Harvard University.
9. Hennie, Fred (1977), Introduction to Computability, Reading: Addison-Wesley.
10. Kripke, S. A. (1982), Wittgenstein on Rules and Private Language, Oxford: Blackwell.
11. Minsky, Marvin (1967), Computation: Finite and Infinite Machines, Englewood Cliffs: Prentice-Hall.
12. Smith, N. K., trans., Kant's Critique of Pure Reason (V, 1), New York: St. Martins.
13. Turing, Alan (1939), 'Systems of Logic based on Ordinals', Proceedings of the London Mathematical Society series 2, 45, pp. 161-228.