http://pub.cozmixng.org/~the-rwiki/rw-cgi.rb?cmd=view;name=RHG%C6%C9%BD%F1%B2%F1%3A%3A%C5%EC%B5%FE+Sound+Stageからリンクされていて、びっくりした。
どなたがこのような辺境ページをお読みくださっているだろうか。
先日の問題(id:Nabetani:20050211#p2 )は、拡張切符問題という名前がついたようだが、それにしても、
有限手順で証明(または否定)できることは言える
とあるのに驚いた。
今日もバスの中で有限手順で証明する方法を考えていたんだが、今のところさっぱりわからない。
a≦51
b≦51^2
c≦51^4
d≦51^8
について調べればいいかとも思ったが、そうであることを示す方法が思いつかないので意味ないか。うーむ。
数学の素養が足りない……