Paul Cohen 教授の訃報が届きました。謹んで哀悼の意を表します。
LtU に載っているコメントによると、彼は数年前に集合論の記法を基にした新しいプログラミング言語について考えていたそうです。特にその言語を使って TeX の代わりになるものを構築することも計画していたようで、「数学の記法は集合論であり、プログラミング言語も集合論に基づくべきだ」という主旨の議論を行っていたそうです。