巨大数探索スレッド14

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

巨大数探索スレッド14 - 暇つぶし2ch221:１３２人目の素数さん
18/08/25 23:54:48.11 zmtUye6c.net
>>210
結局
ある言語を定義して
その言語n文字で定義可能な最大の実数
をその言語のビジービーバー関数
とするわけだよね
今厳密に(細部まで含めて)定義出来てる言語って
チューリングマシン語とその派生以外に何がある？

次ページ

続きを表示

1を表示