[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2chのread.cgiへ]
Update time : 02/23 22:34 / Filesize : 333 KB / Number-of Response : 1002
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]
|
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
基礎論なぜなにスレッド その{φ,{φ},{φ,{φ}}}
- 84 名前：１３２人目の素数さん mailto:sage [03/03/02 12:23]
- >>82
30年位昔に高橋先生が数学会賞をうけた高階論理の三段論法除去定理は
Henkin の general モデルを使ったもので standard model だけでは
十分でないことの証といえると思いますが、これも無意味なのでしょうか？
|
 |
[ 続きを読む ] / [ 携帯版 ] 
全部読む
次100
最新50
▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（；´∀｀）＜333KB
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef