計算機科学哲学とは、計算機科学についての考察から生ずる哲学的問題に関する学問分野である。
プログラミングという行為のみを対象としている訳ではなく、計算機システムの開発や保守を支援する概念や方法の、全体的な研究を意味すると理解されている。 [1]
物理学哲学や数学哲学の様に、計算機科学哲学を発展させようとする幾つかの試み[2]にも関わらず、計算機科学哲学の内容、目的、焦点、或は話題についての方向性はまだ存在しない。
以上の様に、計算機科学哲学は、計算機システムを実装や分析に就いての概念や方法の発明に関連するメタ活動を扱う分野である。 [3] 目次
1 関連記事
2 脚注
3 参考文献
4 外部リンク
関連記事
計算機援用証明
人工知能哲学