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

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

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

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

宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...