巨大数探索スレッド14

巨大数探索スレッド14at MATH

巨大数探索スレッド14 - 暇つぶし2ch234:１３２人目の素数さん
18/08/26 13:24:47.82 LuvNeHxc.net
ただ単に記号の集まりと言うのであればFOSTによる記述の判別をFOSTで記述するのは可能で、
無矛盾性の強さやモデルの取り方の問題だったりする。
ラヨ関数で言うFOSTは何らかの宇宙を前提とした話だろう

次ページ

続きを表示

1を表示