未分類 一般化と∃除去の仮定の解消 存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。 例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっていま... 2023.10.04 未分類
暇つぶしに見て 一般化の雰囲気 ∃除去の話の続き。∃除去、導入の推論規則を読んだだけだと、どうしてそれが必要なのかが感じられない。なんとなく、人が法則を一般化させる認識が根底にはあるんだろうな、とは感じられますが、しっくりはこない。 一般化の雰囲気 参考にしている本にこん... 2023.10.01 暇つぶしに見て
未分類