http://bit.ly/qkFoIp が解けたので証明書きます。f(a, b, c, d)=(|a-b|, |b-c|, |c-d|, |d-a|)とする。証明したいのは、任意の自然数の組(a, b, c, d)に対して、自然数nが存在してf^n(a, b, c, d)=(0, 0, 0, 0)が成り立つこと。帰納法を使うと、任意の自然…

@kururu_goedel: @mr_konn 本当にAgda2で書いてくると思いませんでした……。よく考えたら僕Agda2読めない。2011-09-06 23:20:40 via Seesmic to @mr_konn @kururu_goedel: @_reaf ゲーデルの不完全性定理によって、ではなく、不完全性定理が存在を保証してい…