巨大数探索スレッド14

[0217 １３２人目の素数さん 2018/08/25(土) 23:54:48.11 ID:zmtUye6c]

>>210
結局
ある言語を定義して
その言語n文字で定義可能な最大の実数
をその言語のビジービーバー関数
とするわけだよね

今厳密に(細部まで含めて)定義出来てる言語って
チューリングマシン語とその派生以外に何がある？