Original language | English |
---|---|
Pages (from-to) | 357-362 |
Number of pages | 6 |
Journal | Philosophical Studies |
Volume | 28 |
Issue number | 5 |
DOIs | |
State | Published - 1975 |
Keywords
- Churchs thesis
- Computability
- Mathematical functions
- Mathematical logic
- Mathematical procedures
- Natural numbers
- Numerals
- Recursive functions
- Turing machines