Philosophy of computer science
The philosophy of computer science is concerned with the philosophical questions that arise within the study of computer science. There is still no common understanding of the content, aim, focus, or topic of the philosophy of computer science, despite some attempts to develop a philosophy of computer science like the philosophy of physics or the philosophy of mathematics.
The Church-Turing thesis and its variations are central to computation theory. Since, as an informal notion, the concept of effective calculability does not have a formal definition, the thesis, although it has near-universal acceptance, cannot be formally proven. The implications of this thesis is also of philosophical concern. Philosophers have interpreted the Church–Turing thesis as having implications for the philosophy of mind.
P vs NP problem
The P vs NP problem is an unsolved problem in computer science and mathematics. It asks whether every problem whose solution can be verified in polynomial time can also be solved in polynomial time. Most computer scientists believe that P ≠ NP. Apart from the reason that after decades of studying these problems no one has been able to find a polynomial-time algorithm for any of more than 3000 important known NP-complete problems, philosophical reasons that concern its implications may have motivated this belief.
If P = NP, then the world would be a profoundly different place than we usually assume it to be. There would be no special value in "creative leaps", no fundamental gap between solving a problem and recognizing the solution once it's found. Everyone who could appreciate a symphony would be Mozart; everyone who could follow a step-by-step argument would be Gauss.
- Tedre, Matti (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
- Turner, Raymond (January 2008). "The Philosophy of Computer Science". Journal of Applied Logic – via ResearchGate.
- Copeland, B. Jack. "The Church-Turing Thesis". Stanford Encyclopedia of Philosophy.
- Hodges, Andrew. "Did Church and Turing have a thesis about machines?".
- Copeland, B. Jack (November 10, 2017). "The Church-Turing Thesis". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
- For a good place to encounter original papers see Chalmers, David J., ed. (2002). Philosophy of Mind: Classical and Contemporary Readings. New York: Oxford University Press. ISBN 978-0-19-514581-6. OCLC 610918145.
- William I. Gasarch (June 2002). "The P=?NP poll" (PDF). SIGACT News. 33 (2): 34–47. CiteSeerX 10.1.1.172.1005. doi:10.1145/564585.564599. Retrieved 26 September 2018.
- Rosenberger, Jack (May 2012). "P vs. NP poll results". Communications of the ACM. 55 (5): 10.
- Matti Tedre (2014). The Science of Computing: Shaping a Discipline. Chapman Hall.
- Scott Aaronson. "Why Philosophers Should Care About Computational Complexity". In Computability: Gödel, Turing, Church, and beyond.
- Timothy Colburn. Philosophy and Computer Science. Explorations in Philosophy. M.E. Sharpe, 1999. ISBN 1-56324-991-X.
- A.K. Dewdney. New Turing Omnibus: 66 Excursions in Computer Science
- Luciano Floridi (editor). The Blackwell Guide to the Philosophy of Computing and Information, 2004.
- Luciano Floridi (editor). Philosophy of Computing and Information: 5 Questions. Automatic Press, 2008.
- Luciano Floridi. Philosophy and Computing: An Introduction, Routledge, 1999.
- Christian Jongeneel. The informatical worldview, an inquiry into the methodology of computer science.
- Jan van Leeuwen. "Towards a philosophy of the information and computing sciences", NIAS Newsletter 42, 2009.
- Moschovakis, Y. (2001). What is an algorithm? In Enquist, B. and Schmid, W., editors, Mathematics unlimited — 2001 and beyond, pages 919–936. Springer.
- Alexander Ollongren, Jaap van den Herik. Filosofie van de informatica. London and New York: Routledge, 1999. ISBN 0-415-19749-X
- Tedre, Matti (2014), The Science of Computing: Shaping a Discipline Taylor and Francis.
- Ray Turner and Nicola Angius. "The Philosophy of Computer Science". Stanford Encyclopedia of Philosophy.
- Matti Tedre (2011). Computing as a Science: A Survey of Competing Viewpoints. Minds & Machines 21, 3, 361–387.
- Ray Turner. Computational Artefacts-Towards a Philosophy of Computer Science. Springer.
- The International Association for Computing and Philosophy
- Philosophy of Computing and Information at PhilPapers
- A draft version of Philosophy of Computer Science by William J. Rapaport
- Philosophy of Computation at Berkeley