F-nameのブログ

はてなダイアリーから移行し、更に独自ドメイン化しました。

完全性。

数理論理学ではゲーデルの不完全性定理などで用いられる用語。この定理は難解(大学の理系の教養課程を経験していない私にとって)で、生半可な理解しかしていない人間が、その「誤解」を基に噴飯ものの議論をしていることが時々ある。定義からしてかなりな程度に数学理論の把握が必要なことは明らか(私のような大学の数学に殆ど触れたことがない人間にも)だが、それが欠けている模様。分からないことは分からないと意識するのは知的生活に必須の技能の筈だと考えるけれど。