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

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

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

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

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

昆虫綱半翅目(はんしもく)同翅亜目セミ科Cicadidaeの昆虫。体長は雄32~39ミリメートル、雌23~28ミリメートル。体は黒色で、茶色や緑色の斑紋(はんもん)がある。雄の腹部は大きく、空洞で、発...

ヒグラシの用語解説を読む