曇りなき眼で見定めブログ
id:cut_elimination
完全性定理の驚き
大西琢朗先生の以下のブログ記事が面白かった。 takuro-logic.hatenablog.com タフコ先生の論理的実在論に関する論文を批判している。形而上学の議論を論理学に当て嵌めただけで、論理学そのもののおもしろさを見逃しているのではないか、というような内容。 特に以下がなるほどである。 たとえば、論理学の基本的な定理で…