哲学ラジオ 2021年6月22日ネタ帳

哲学ラジオ#13 でお話させていただけることになりました。

大西琢朗さんとたどる論理と直観の過去・現在・未来@Clubhouse

以下、ネタ帳です。これらすべてについては話せないと思いますが。

イアン・ハッキング『知の歴史学』出口康夫・大西琢朗・渡辺一弘訳、岩波書店、2012年

イアン・ハッキング『数学はなぜ哲学の問題になるのか』金子洋之・大西琢朗訳、森北出版、2017年

森田真生『計算する生命』新潮社、2021年

久保明教『機械カニバリズム』講談社選書メチエ、2018年

G. フレーゲ『フレーゲ著作集2 算術の基礎』野本和幸・土屋俊編訳、勁草書房、2001年

M.ダメット『真理という謎』藤田晋吾訳、勁草書房、1986年

K. Hartnett, 「「異世界からきた」論文を巡って」 Wired, 2016

S. Ornes, How Close Are Computers to Automating Mathematical Reasoning? Quanta Magazine, 2020

[ブログ] 「人間の理解を超えた証明」は証明だろうか

[ブログ] 【発掘】ライプニッツ対デカルト

[ブログ] 「論理が開く世界ー京都新聞夕刊「人文知のフロンティア」寄稿」

[ブログ] 森田真生『計算する生命』

[YouTube] 2020年度論理学上級II「証明論的意味論入門」

京都大学オンライン公開講義「立ち止まって、考える」シーズン1

京都大学オンライン公開講義「立ち止まって、考える」シーズン2