[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 2chのread.cgiへ]
Update time : 06/02 04:20 / Filesize : 306 KB / Number-of Response : 546
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

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

475 名前：１３２人目の素数さん mailto:sage [2012/05/15(火) 08:16:44.18 ]
>>473
いや私はω1CKは存在しないのではないかとか
そういうことを考えている訳じゃないのです。
あと0から始めて帰納的に定義される順序数は
recursiveだ、とみたいなことがその論文に書いてありますが
私はそういう言葉の使い方をしていません。

>>474
普通は<ω, ＜>が再帰的に定義できないような
（つまりΣ1述語で表現できないような）最初の順序という風に定義すると思います。




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（；´∀｀）＜306KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef