計算（けいさん、）とは、明確に定義されたあらゆる種類の算術的または非算術的な計算である。 計算の一般的な例には、方程式の求解やコンピュータアルゴリズムの実行がある。
計算を実行する機械的または電子的な装置（あるいは歴史的には人間）はコンピュータとして知られる。計算機科学は計算の研究を扱う学術分野である。
導入 数学的命題が「明確に定義される」べきだという考えは、少なくとも1600年代から数学者たちによって論じられてきたが、 適切な定義への合意は得難かった。 候補となる定義が1930年代に複数の数学者によって独立に提案された。 最もよく知られた変形は数学者アラン・チューリングによって形式化された。彼は明確に定義された命題または計算を、チューリングマシンの初期化パラメータによって表現できるあらゆる命題として定義した。 他の（数学的に等価な）定義として、アロンゾ・チャーチのラムダ定義可能性、ハービランド・ゲーデル・クリーネの一般帰納性、エミール・ポストの1定義可能性がある。
今日、この明確に定義される性質を示す形式的な命題または計算は「計算可能」（computable）と呼ばれ、命題または計算そのものは「計算」（computation）と呼ばれる。
チューリングの定義は「明確に定義される」性質を、すべての整式な代数的命題や現代のコンピュータプログラミング言語で書かれたすべての命題を含む非常に大きな種類の数学的命題に配分した。
この定義が広く採用されているにもかかわらず、この定義のもとで明確に定義されない数学的概念もいくつか存在する。これには停止問題やビジービーバーゲームが含まれる。計算可能な命題と「計算不可能な」命題の両方を把握できる「明確に定義される」のより強力な定義が存在するかどうかは未解決問題のままである。計算不可能な命題の研究は超計算の分野である。
計算可能な数学的命題の例： C++、Python、Javaを含む現代のプログラミング言語で特徴づけられるすべての命題 電子コンピュータ、電卓、そろばんで実行されるすべての計算 解析機関上で実行されるすべての計算 チューリングマシン上で実行されるすべての計算 数学の教科書に掲載されているほとんどの数学的命題と計算
計算可能でない数学的命題の例： チューリングマシンに一意にエンコードできないほど不明確な計算や命題（「ポールはジョーの2倍私を愛している」） 明確に定義されているように見えるが、それを解くチューリングマシンが存在しないことが証明できる問題（停止問題など）
計算は、コンピュータと呼ばれる閉じた物理系の内部で生じる純粋に物理的なプロセスとして見ることができる。チューリングの1937年の証明『』は、計算可能な命題と特定の物理的システム（一般にコンピュータと呼ばれる）の間に形式的な等価性があることを示した。そのような物理システムの例として、チューリングマシン、厳格な規則に従う人間の数学者、デジタルコンピュータ、機械式計算機、アナログコンピュータなどがある。
計算の代替的説明
写像的説明 計算の代替的説明はヒラリー・パトナムらの著作に見られる。ピーター・ゴドフリー＝スミスはこれを「単純な写像説（）」と名付けた。 グァルティエロ・ピッチーニによるこの説の要約は、物理システムの状態と計算の間に「ミクロ物理的状態が計算状態間の状態遷移を反映する」ような写像が存在するとき、そのシステムが特定の計算を実行していると言えると述べる。
意味論的説明 ジェリー・フォーダーなどの哲学者は、 計算の必要条件として意味論的内容を要するさまざまな計算の説明を提案してきた（すなわち、任意の物理システムと計算システムを区別するのは、計算のオペランドが何かを表すことである）。この考えは、写像説の汎計算論-すべてがすべてを計算しているという考え-への論理的抽象化を防ごうとするものである。
機械論的説明 グァルティエロ・ピッチーニは機械論哲学に基づく計算の説明を提案する。それによれば、物理的計算システムは設計上物理的計算——（機能的機構による）「媒体独立的」（medium-independent）な乗り物（vehicle）の規則に従った操作——を実行する機構の一種である。「媒体独立性」は、その性質が複数の実現者と複数の機構によって例化されうること、また機構の入出力も多重に実現可能であることを要求する。
数学的モデル
計算理論では、多様な数理計算モデルが開発されてきた。代表的な計算機の数学的モデルとしては以下のものがある。 状態モデル：チューリングマシン、プッシュダウンオートマトン、有限状態オートマトン、PRAM 関数モデル：ラムダ計算 論理モデル：論理型プログラミング 並行モデル：アクターモデル、プロセス計算
ジュンティはこれらを計算システムと呼び、それらすべてが離散時間と離散状態空間を持つ数学的力学系であると論じる。
関連項目 計算主義
計算可能性理論 超計算
数値計算
注釈
参考文献