↓これのつづき。 cut-elimination.hatenablog.com ↓これの記事を順番に読んでいくシリーズ 現代思想 2023年7月号 特集=〈計算〉の世界 作者:森田真生,細谷曉夫,近藤和敬,フリードリヒ・キットラー,ユク・ホイ,谷村省吾 青土社 Amazon 今回の3つの論考はどれも大変おもしろかった! 私の興味のど真ん中の計算機の歴史と数理論理学の話である。 河西棟馬「「計算」概念の多元性 コンピュータ・サイエンス形成期を中心に」 技術史が専門の河西先生の論考。コンピュータ科学の初期の学者が計算の概念をどう捉えていたかが論じられている。 工学的な考え方をする人と論理学・人工知…