Computability - Computability

Japanese: 計算可能性 - けいさんかのうせい（英語表記）computability

Computability is a mathematically formulated concept of functions that can be calculated concretely using functions on discrete structures such as natural numbers. A common feature of all calculations is that they process symbols mechanically, according to predefined rules, without relying on chance or originality. Therefore, computable functions are the same as functions that can be calculated by an (idealized) computer with an unlimited amount of memory.
[history]
The concept of computability emerged in the 1930s as a culmination of various proposals by leading logicians such as Gödel, Turing, Alonzo Church (1903-95), and Stephen C. Kleene (1909-94) in an attempt to answer the question of what computation is.

Source: Heibonsha World Encyclopedia, 2nd Edition Information

Japanese:

計算可能性とは，自然数等の離散構造上の関数で具体的に計算できる関数を数学的に定式化した概念である。あらかじめ与えられた規則に従い，偶然や独創性によらず機械的に記号を処理することがあらゆる計算に共通の特徴である。そのため，計算可能な関数は，メモリーがいくらでもある(理想化された)コンピューターで計算できる関数と一致する。
[歴史]
　計算可能性の概念は，計算とは何かという問いに答えようとする試みを通じて,1930年代にゲーデル，チューリング，チャーチAlonzo Church(1903-95)，クリーネStephen C.Kleene(1909-94)等の有力な論理学者のさまざまの提案を集大成し得られたものである。

出典　株式会社平凡社世界大百科事典第２版について　情報

<<: Calculating machine - Calculating machine

>>: Silicate minerals - silicate minerals