まんが/ラビリンス [再アップ] マンガ 2.c「不完全性定理③-論理主義・直観主義」 2020年7月11日 susumu Labyrinth-2.c「不完全性定理③-論理主義・直観主義」 を、少し書き換えて、再アップしました。 Labyrinth-2.c「不完全性定理③-論理主義・直観主義」 関連記事『数学の現象学〈新装版〉』鈴木 俊洋本:『科学哲学への招待』野家啓一 ちくま学芸文庫マンガ:6.c「ラムダ計算1」マンガ 12.f 命題論理-6 完全系マンガ10.c 論理学3 ペロポネソス戦争本:今年(2015年)読んだ本マンガ 6.d 「ラムダ計算2 β簡約・カリー化」本『ソークラテースの思い出』クセノフォン 佐々木理訳 岩波文庫