巨大数探索スレッド13

[0079 １３２人目の素数さん 2017/12/16(土) 13:30:05.26 ID:gmpfSCpV]

>>76
∃a(BB(n)=a)ではなくBB(n)=aが証明可能、つまりBB(n)=0,BB(n)=1,...の内のいずかが証明可能
であり※は誤り、という主張です