数学基礎論・数理論理学　その19

数学基礎論・数理論理学　その19 (550ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

513(1): 2024/11/30(土)01:48 ID:YdT6e84K(2/6) AAS
>>511
有限文字列ではなくて再帰的な構造をもつ有限木ね
それがどういう振る舞いをするのかを数理論理学の連中はこぞって研究してるんだから、有限だからつまらないとか言うなら帰ってくれ

514(1): 2024/11/30(土)02:01 ID:patZX5z4(3/5) AAS
>>513
研究対象なのはその意味についてです
しかしその意味が無価値ではどうしようもない