まんが/ラビリンス [再アップ] マンガ 2.d「不完全性定理④-ヒルベルト計画・形式化」 2020年7月25日 susumu [再アップ] マンガ 2.d「不完全2.d「不完全性定理④-ヒルベルト計画・形式化」を、少し書き換えて、再アップしました。 Labyrinth-2.d「不完全性定理④-ヒルベルト計画」 関連記事[再アップ] マンガ 2.c「不完全性定理③-論理主義・直観主義」本:『プロタゴラス』プラトン・中澤務訳 光文社文庫本:『プラグマティズム入門』伊藤邦武 ちくま新書:2・論理実証主義本『自然とギリシア人・科学と人間性』エルヴィン・シュレーディンガー(水谷淳訳) ちくま学芸文庫マンガ 13.h コンピュータの歴史8 階差機関・解析機関[再アップ]10.i 論理学 9 名辞論理学マンガ-5.b 「計算機と意味」中国語の部屋マンガ-5.a 「計算機と意味」