1st starと不完全性定理

寝坊してから、読もうと思っていた論文読み。
NHKで宇宙っぽい番組がやっていたので途中から見た。1st starがどうこうと言った話をしていたが、よく分からない所もあったので、多分録画してあるはずだから今度見よう。
数学ガール三冊目読了。どうやって不完全性定理へと話を持って行くかが気になっていたけど、面白かった。