2012年5月19日、23日、24日、6月2日の日記に続き、今日も Dummett さんについての逸話を、以下の文献から抜き出してご紹介致します。今日で Dummett さんの逸話の紹介を終わります。 ''Remembering Michael Dummett,'' in: Opinionator: Exclusive Online Co…

チャールズ・ペゾルド 『チューリングを読む コンピュータサイエンスの金字塔を楽しもう』、井田哲雄、鈴木大郎、奥居哲、浜名誠、山田俊行訳、日経BP社、2012年 この翻訳書は、次の二つの文献の注釈書です。 Alan Turing ''On Computable Numbers, with an …