現代思想2023年7月号
現代思想
《
計算
》とはなにか
木原貴行
の数学の様々な分野(
解析学
など)全般を計算可能性に基づいて再考する歴史などの話がおもしろかった
数学における《計算可能性》の厳密化、抽象化、そして発展