0256132人目の素数さん
2018/08/27(月) 21:25:05.45ID:9m9VXVjKたとえば対角化してラヨ関数になるFOSTでビジービーバー関数を定義するさい、解読をどう定義します?
「強い言語」というのが数学的にはっきりしないという話です。
ビジービーバー関数をFOSTで定義するだけなら自然言語で「オラクルで停止するチューリングマシンのコードが与えられている」、とか言っておけばいいんですけど
自然言語による定義を受け入れてもこの先がはっきりしないんです。
選択公理をを「認める」か「認めない」かとか、どちらかが矛盾しているのか、していないのかとか