[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
74(1): 2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb(1/3) AAS
>>72
＞ZF集合論は型理論とは別の体系だし
まーだそんな事言ってんのか？
低学歴キチガイＷＷＷＷＷＷＷＷ
全ての公理的集合論は型理論を内包している
なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ
無限公理がどうかしたか？ん？
全く理解してない証拠を晒してどうする？ん？
94(1): 2013/08/03(土) NY:AN:NY.AN ID:??? AAS
>>74
岩波数学辞典に執筆するクラスの専門家すら低学歴だからデタラメというやつに言っても聞かないと思うが
ZFと型についてはバカペディアはこんな感じだね
外部ﾘﾝｸ:en.wikipedia.org
> ZFC is silent about types, although some argue that Zermelo's axioms tacitly presuppose a background type theory.
他に、講義資料で校正が足りない感じだが
外部ﾘﾝｸ:researchmap.jp
公理論的集合論
お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）授業要旨
外部ﾘﾝｸ:researchmap.jp
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s