Surreal Numbers in Coq(slides,pdf) - yoriyukiの日記読んでみました。面白そうな概念なんですが、ここで紹介されているスライドだと「Coqで表現するには」ってところに比重がおかれていて、これを使ってどういう議論をするかってことはほとんどないのが残…

id:yoriyukiさんの不完全性定理の話 - くるるの数学ノートなんて予告をしてから二ヶ月たってます。正直何を書こうとしたのか完全には思い出せませんが、適当に書いてみます。と思ったのですが、書いてみたら私以外の誰にもわからない文章になってしまったの…