巨大数探索スレッド13

[0076 １３２人目の素数さん 2017/12/16(土) 11:18:04.65 ID:qKav/W7S]

>>66 もっと詳しく。urlでもいい。
>>69 公理とモデルごっちゃにしてない？
>>73 >>25は別に∃a(BB(n)=a)が証明不能とは言ってない。
BB(n)=0,BB(n)=1,...の内のいずれも証明不能なのは>>57の通り>>25の※から導けるけど。