計算機科学哲学

ウィキペディア

計算機科学哲学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/03/04 08:41 UTC 版)

計算機科学哲学（けいさんきかがくてつがく）とは、計算機科学についての考察から生ずる哲学的問題に関する学問分野である。計算機システムの開発や保守を支援する概念や方法の全体的な研究を意味すると考えられている^[1]。物理学哲学や数学哲学の様に、計算機科学哲学を発展させようとする試み^[2]にもかかわらず、計算機科学哲学の内容、目的、焦点、話題についての方向性はまだ存在しない。

以上の様に、計算機科学哲学は、計算機システムを実装や分析に就いての概念や方法の発明に関連するメタ活動を扱う分野である^[3]。

関連項目

• 計算機援用証明
• 人工知能の哲学（英語版）
• 情報哲学
• 数学の哲学
• 科学哲学
• 技術哲学

脚注

1. ^ Turner
2. ^ Tedre, Matti (2014). The Science of Computing: Shaping a Discipline. Chapman Hall 
3. ^ “Archived copy”. 2009年2月18日時点のオリジナルよりアーカイブ。2009年4月17日閲覧。

参考文献

• 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, https://books.google.fr/books?id=I2tYBQAAQBAJ  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. [1]

外部リンク

• 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