平方剰余の相互法則の証明が本当に２００通り以上知られていたらしい。 http://www.rzuser.uni-heidelberg.de/~hb3/rchrono.html

wikipedia:Paris–Harrington theorem 'strengthened finite Ramsey theorem'という定理がPA（一階のペアノ算術）からは証明できないらしい。PAで証明できない定理の例として、かなり面白いと思った。 wikipediaの記事にも書いてあるが、"strength finite Ram…

最近Pollardのρアルゴリズムという素因数分解アルゴリズムを知った。wikipedia:en:Pollard's rho algorithm今、自然数nの約数を見つけたいとする。数列をで定義する。数列はmod pでだいたいぐらいのオーダーでサイクルに入る。よって、をpで割った余りをi=1…