Neblux 知識グラフ
計算
計算とは、明確な規則に従って表象を操作または変換する過程であり、1930年代にチューリング機械やラムダ計算などのモデルによって形式化された。
概要
チャーチ＝チューリングのテーゼは、実効的計算可能な関数がチューリング機械で計算可能な関数と一致することを示唆し、計算可能性の境界を提示した。計算複雑性理論は問題を要する資源に基づいて分類し、P対NP問題などの未解決問題を通じてその限界を追究している。
なぜ重要か
計算の理論モデルは、アルゴリズム設計や計算量の評価に基礎を提供している。また、自然界や認知システムにおける規則的遷移を捉える概念として、物理学、生物学、認知科学にも援用されている。
何の上に築かれるか
どこへ導くか
関連する概念
- アルゴリズム概念
- 情報（シャノン理論）概念
- DNA（デオキシリボ核酸）応用
- 技術論理