Download Philosophy and Theoretical Computer Science

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript 
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
Related documents