Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Scuola Superiore di Catania Corso interdisciplinare “Philosophy and Theoretical Computer Science” a.a. 2013-2014 Coordinatore: Catalano Dario 1. Intro, Church-Turing and Extended Church-Turing Theses 2. Complexity issues in the Turing Test and Chinese Room 3. Human mathematical insight and NP-complete problems / Penrose views 4. Syntax and semantics / knowledge and the problem of logical omniscience 5. PAC-learning and the problem of induction 6. Kolmogorov complexity and the foundations of probability 7. Quantum computing and the Many-Worlds Interpretation 8. New notions of mathematical proof / mathematical definiteness 9. Complexity and time; closed time like curves 10. Economics and bounded rationality 11. Digital versus analog / Is the universe a computer? 12. TCS issues in the free will vs. determinism debate 13. Discussion of Deutschos The Beginning of Infinity/ other misc. topics Ufficio didattico e-mail: [email protected] www.scuolasuperiorecatania.it 1