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

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

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

82 名前：１３２人目の素数さん [2011/07/03(日) 18:19:16.06 ]
>>79
メタ世界とか対象の世界というのは仮の表現であって、
そういった言葉を一切持ち出さずに
両者を普通の数学をするように集合論の中で定義して、
メタとか対象とかモデルなんて用語を一切に用いずに
構成することは可能。
メタとか対象とかモデルって用語は、
ベクトル空間を扱うときに、速度とか加速度などと
現実のイメージに対応する用語を使うようなもの。
>>81
基礎付けは完成しています。
ＺＦＣ、ＮＦ、トポス。




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

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