笑わない数学 10/11

コラッツ予想。へー、整数論でこんな問題があったのか。入口は優しいのだが、実は懸賞金がかけられるほどの難問。整数論だと数学的帰納法を使いたくなるが、確かにこれでは帰納法は使いづらい。
偶数は演算途中で必ず奇数になるので、奇数だけ調べれば良い、と言う尾形さんのアイディア、良いと思う、そして、証明してみる。最初はクリアだが、だんだん霧の中へ。尾形さん、よく巨大数を暗唱したな。
それから、妥協の証明が紹介されるが、未だに完璧な証明はまだ。
#次回は1+1=2か？という疑問。もはや数学ではなく哲学。