:: Haltyの日記帳 ::

天気も良いので鉄（くろがね）の鉱山の跡地に行ってみました。
ここで鉄が採取できたから地名が鉄になったわけで以前から気になっていました。
鉄公園の先の険しい山を登ると鉱山の入口が見えてきました。
まず、10mほど真下の降りてそれから斜めの細い通路が40mほど続くそうです。

数学者のメルセンヌは1644年に2＾67－１は素数だと主張しました。
これに関して異議を唱える者は、その後250年以上も現れなかったので「神秘的予想」だと言われていました。
しかし、1903年、コロンビア大学のフラック・ネルソン・コールが米国数学界の会合で素数ではないと言いました。
神秘が打ち砕かれた瞬間です。
パソコンが使える現在、私でも簡単に素数でないことが証明できました。
M=2**67-1
print(M)
for i in range(3,M,2):
if M % i == 0:
print("=",i,"x",M//i)
break