2016-04-20から1日間の記事一覧
『ゲーデルと20世紀の論理学』第4巻第2章(Web版 http://fuchino.ddo.jp/misc/goedel_et_logique_du_20e_siecle_4_I_2.pdf)定理2.17の前半、モストフスキ同型写像の一意性の証明を自分で書いてみた。教科書で行なわれている「後続点・極限点」といった場合…
『ゲーデルと20世紀の論理学』第4巻第2章(Web版 http://fuchino.ddo.jp/misc/goedel_et_logique_du_20e_siecle_4_I_2.pdf)定理2.17の前半、モストフスキ同型写像の一意性の証明を自分で書いてみた。教科書で行なわれている「後続点・極限点」といった場合…