再帰プログラムの意味論について

摘要

計算とはなにか，という問いに対して，今のところ，誰もか合意するような直接的，一般的かつ数学的な回答は知られていない。 計算の理翰においても，あれ、は現実のコンピュータ（電子計算機のみならず電卓でも算盤でも構わないが）においても　 我々は，計算を，なhらかの表現を介して理解し，分析し′利用して、るのであって，計算そ甲もの隼ついての普遍的な畠式化があるわけではないのである。