計算しうる数(読み)ケイサンシウルカズ

デジタル大辞泉 「計算しうる数」の意味・読み・例文・類語

けいさんしうるかず【計算しうる数】

原題On Computable Numbers英国数学者チューリングによる論文。1936年発表。ドイツの数学者ヒルベルトが提示した決定問題が解けないことを証明すると同時に、今日のコンピューター基礎となる理論を提唱した。

出典 小学館デジタル大辞泉について 情報 | 凡例

今日のキーワード

自動車税・軽自動車税

自動車税は自動車(軽自動車税の対象となる軽自動車等および固定資産税の対象となる大型特殊自動車を除く)の所有者に対し都道府県が課する税であり、軽自動車税は軽自動車等(原動機付自転車、軽自動車、小型特殊自...

自動車税・軽自動車税の用語解説を読む

コトバンク for iPhone

コトバンク for Android