まんが/ラビリンス [再アップ] マンガ 2.d「不完全性定理④-ヒルベルト計画・形式化」 2020年7月25日 susumu [再アップ] マンガ 2.d「不完全2.d「不完全性定理④-ヒルベルト計画・形式化」を、少し書き換えて、再アップしました。 Labyrinth-2.d「不完全性定理④-ヒルベルト計画」 関連記事[再アップ] マンガ 2.c「不完全性定理③-論理主義・直観主義」『心の先史時代』スティーヴン ミズン 青土社マンガ8.c コンピュータ将棋3マンガ6.b「停止性問題」マンガ5.f「計算機と意味」 ハードプロブレムマンガ-5.d 「計算機と意味」クオリアマンガ 8.a コンピュータ将棋1本『ソークラテースの思い出』クセノフォン 佐々木理訳 岩波文庫