先日、次の論文はかなり野心的なことを試みているようだと、この日記に書きました*1。 Gregory Landini “Logicism's ‘Insolubilia’and Their Solution by Russell's Substitutional Theory,” in Godehard Link ed., One Hundred Years of Russell's Paradox:…

野崎昭弘 『解ける問題 解けない問題』、講談社、2009年 『哲学論叢』、京都大学哲学論叢刊行会編、第36号、2009年 前者は、アルゴリズム、決定不能性に関する読み物。