この記事の問いと内容 論理と計算との間には深い関係がある。現在のコンピュータサイエンスでは、その応用範囲は広い。 ・計算可能であるとはどういうことか？ →理念 ・具体的には、どのようにして計算は行われるのか？ →計算モデル論 ・計算手順をうまく記…