前回こんなことを書いたけれど更に完全性定理について cut-elimination.hatenablog.com Troelstra先生の本を読んで線形論理の代数的意味論の完全性定理を勉強しているところなのだけれど、 Lectures on Linear Logic (Lecture Notes Book 29) (English Editi…

大西琢朗先生の以下のブログ記事が面白かった。 takuro-logic.hatenablog.com タフコ先生の論理的実在論に関する論文を批判している。形而上学の議論を論理学に当て嵌めただけで、論理学そのもののおもしろさを見逃しているのではないか、というような内容。…

不完全性定理やチューリングマシンの停止性の議論を使って人間の心は機械以上のものであると主張する人がちょくちょくいる。有名なのが大数学者・物理学者のロジャー・ペンローズ大先生である。モギケン先生もこう言っている。 チューリングマシンに万能性が…

スパイ・ファミリーのアニメを見ている。マンガは読んでいない。アーニャが動き回るシーンの作画が良いと感じる。かわいい。まあ声の演技は媚びすぎだが。 本作の根本的な欠陥としては、最近のアニメにありがちだが、マンガ的な表現を何も考えずそのままアニ…

ちょっと前に「チューリングラブ」という歌が流行った。 www.youtube.com 歌詞も映像も謎が多い。 コンセプトとしては理科系の言葉や発想で恋愛を歌うということなんだろうが、なんか「理系」というイメージのもといろんなものがごっちゃになっている。 アニ…

Troelstra先生の"Lectures on Linear Logic"を読んで線形論理の代数的意味論を勉強している。 Lectures on Linear Logic (Lecture Notes Book 29) (English Edition) 作者:Troelstra, A. S. Center for the Study of Language and Inf Amazon いま本では大幅…