一般化

一般化と∃除去の仮定の解消

存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっていま...

一般化の雰囲気

∃除去の話の続き。∃除去、導入の推論規則を読んだだけだと、どうしてそれが必要なのかが感じられない。なんとなく、人が法則を一般化させる認識が根底にはあるんだろうな、とは感じられますが、しっくりはこない。一般化の雰囲気参考にしている本にこん...

股関節おじさんの勉強部屋