まんが/ラビリンス [再アップ] マンガ 2.c「不完全性定理③-論理主義・直観主義」 2020年7月11日 susumu Labyrinth-2.c「不完全性定理③-論理主義・直観主義」 を、少し書き換えて、再アップしました。 Labyrinth-2.c「不完全性定理③-論理主義・直観主義」 関連記事『数学の現象学〈新装版〉』鈴木 俊洋本:『科学哲学への招待』野家啓一 ちくま学芸文庫マンガ 10.f 論理学 6 パラドックスマンガ 12.k 命題論理学11 演繹定理Labyrinth-2.b「不完全性定理②-無限の技・集合」2016年に読んだ本ー古代ギリシア『記号創発ロボティクス』谷口忠大 講談社選書メチエマンガ9.c 知識表現3 プロダクションシステム