まんが/ラビリンス [再アップ] マンガ 2.c「不完全性定理③-論理主義・直観主義」 2020年7月11日 susumu Labyrinth-2.c「不完全性定理③-論理主義・直観主義」 を、少し書き換えて、再アップしました。 Labyrinth-2.c「不完全性定理③-論理主義・直観主義」 関連記事『数学の現象学〈新装版〉』鈴木 俊洋本:『科学哲学への招待』野家啓一 ちくま学芸文庫マンガ：6.c「ラムダ計算１」マンガ 13.f コンピュータの歴史6 ヨーロッパの解析マンガ-4.b 「作戦会議」マンガ 11.E 構文規則5 文脈自由文法マンガ-3.a 「チューリングマシン① チューリングマシン」マンガ 6.e 「ラムダ計算4 Yコンビネータ・チャーチ数」
