Hesaplanabilirlik, Makine Zekâsı ve Metamantık

Eserler

1. 186"On Computable Numbers, with an Application to the Entscheidungsproblem"Alan TuringSırada
2. 187"An Unsolvable Problem of Elementary Number Theory"Alonzo ChurchSırada
3. 188The Essential TuringB. Jack Copeland (ed.)Sırada
4. 189"Intelligent Machinery"Alan TuringSırada
5. 190"Computing Machinery and Intelligence"Alan TuringSırada
6. 191"Minds, Brains, and Programs"John SearleSırada
7. 192"Psychologism and Behaviorism"Ned BlockSırada
8. 193"Can Machines Think?"Daniel DennettSırada
9. 194"A Note on the Entscheidungsproblem"Alonzo ChurchSırada
10. 195Introduction to MetamathematicsStephen KleeneSırada
11. 196"Church's Thesis and Principles for Mechanisms"Robin GandySırada
12. 197"On Possibilities in the Calculus of Relatives"Leopold LöwenheimSırada
13. 198"Some Remarks on Axiomatized Set Theory"Thoralf SkolemSırada
14. 199"The Completeness of the First-Order Functional Calculus"Leon HenkinSırada
15. 200"Skolem and the Skeptic"Paul BenacerrafSırada
16. 201"Investigations in the Foundations of Set Theory I"Ernst ZermeloSırada
17. 202"Models and Reality"Hilary PutnamSırada
18. 203"Putnam's Paradox"David LewisSırada