数学基礎論・数理論理学 その19at MATH
数学基礎論・数理論理学 その19
- 暇つぶし2ch221:132人目の素数さん
24/05/09 11:53:54.98 1s3pLI9I.net
>>218
>ゲーデルコーディングで、でこれ以上無いほど完全に具体的かと
やっぱそれか
サンクス
さまざまな定義の帰納的関数に対してどうゲーデル数を指定するのか
できそうには思うけどよくわからないなあ
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch