[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
10: 狸 ◆2VB8wsVUoo [age] 2013/11/24(日)17:03:13.78 AAS
狸
48: 2013/11/30(土)08:49:07.78 AAS
同語反復じゃねえか。
何を言いたいのか、
整理してみな。
126: 2014/03/08(土)12:48:38.78 AAS
MSRIって凄いですな 日本で言えば,京大のリポジトリで過去のRIMS研究集会の講演内容を公開してる感じなのかな
148(1): 2014/04/03(木)18:28:01.78 AAS
>>147
> 実数の集合がその例ですね。非可算かつ自然な順序関係によって整列される
？
216(1): 2014/04/07(月)07:07:01.78 AAS
選択公理→ハーンバナッハ→バナッハタルスキ
だから、選択公理のせいではないとは言えない
225: 2014/04/10(木)14:04:13.78 AAS
選択公理も含めて、どの公理もその独立性は直感的に明らかだと思うんだが、
独立だと思っていたら実は独立でなかったというような公理はなにかあったの？
310: 2014/05/02(金)21:31:12.78 AAS
＞公理系の矛盾と言うより、言語そのものに内在したパラドクス
述語論理のような論理学や言語の部分も公理や推論規則を立てて
形式的に扱うべきだ、というのがツェルメロ・フレンケル・スコーレムや
ゲーデル・ノイマン以後の集合論の考え方。
そうしないと、「きっと独立に違いない」とただ信じることは出来ても独立性を証明することはできない。
＞公理系の場合も或る程度それに似たことができるのではないかな？
「或る程度」、多少はね。ただモデルがあるかどうかはっきりせず、
意味論を後から考えないといけないような場合には一般には難しい。
476: ￥ ◆2VB8wsVUoo 2017/05/16(火)16:37:06.78 ID:gCXIlyDM(26/30) AAS
￥
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s