計算とは何か

本日読了。

計算とは何か (math stories)

計算とは何か (math stories)

数学基礎論が専門の新井先生が、アルゴリズムを含む「計算」について解釈をする。冒頭の目的である「数学学習の地図を得る」にあっているのかナゾである。アルゴリズムの数は可算無限なので、アルゴリズム的に求められる数はごくわずかであるとのこと。途中では有限桁の近似を求める計算方法を出しているので、どんな実数でも有限桁の近似でよければ、手続きは可算無限になるのでは?