0068132人目の素数さん垢版 | 大砲2019/03/07(木) 22:54:06.55ID:tG2uoACx BB(10^100)が原理的に計算可能というのは認めるが。 巨大数スレで計算可能数を定義したと言い張るなら、計算不能な表現が入ってる時点でアウトや。 計算可能な表現のみでBB(10^100)を表現できたときにはじめてf(BB(10^100)も計算可能数として認められる。