数学とはなにか、という議論をする中で、「形式化」というアイデアが出てきました。形式化によって数学の完全性や無矛盾性を証明することはできませんでしたが、数学をきっちりと定義したり、機械で実行するのにはとても有用な方法で、こ … 続きを読む マンガ-3.a 「チューリングマシン① チューリングマシン」