あと自分自身で理解出来た数学の定理で驚いたのは、やはりゲーデルの不完全性定理でしょうか。ざっくりいうと、無矛盾な公理系は、自分自身の無矛盾性を証明できない、事が証明されました^^)/
Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。
