巨大数探索スレッド14

[0231 １３２人目の素数さん 2018/08/26(日) 13:36:37.67 ID:T0UhBmfF]

>>228
◯◯言語の特定の表現が実数が定義されてるかされてないか
なんて考える必要はない
言語自体の定義が正しくされてるかだけを
(考えたい人が)考えれば良い

>>229
ちゃんと定義された物だと
チューリングマシン語