[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)

なぜ悪質な永久機関ビジネスはなくならないのか？４ http://rio2016.5ch.net/test/read.cgi/sci/1375192413/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

74: ご冗談でしょう？名無しさん [] 2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb >>72 ＞ZF集合論は型理論とは別の体系だし まーだそんな事言ってんのか？ 低学歴キチガイＷＷＷＷＷＷＷＷ 全ての公理的集合論は型理論を内包している なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ 無限公理がどうかしたか？ん？ 全く理解してない証拠を晒してどうする？ん？ http://rio2016.5ch.net/test/read.cgi/sci/1375192413/74

94: ご冗談でしょう？名無しさん [sage] 2013/08/03(土) NY:AN:NY.AN ID:??? >>74 岩波数学辞典に執筆するクラスの専門家すら低学歴だからデタラメというやつに言っても聞かないと思うが ZFと型についてはバカペディアはこんな感じだね http://en.wikipedia.org/wiki/Russell%27s_paradox#Set-theoretic_responses > ZFC is silent about types, although some argue that Zermelo's axioms tacitly presuppose a background type theory. 他に、講義資料で校正が足りない感じだが http://researchmap.jp/mu1x9nhhd-21099/#_21099 公理論的集合論 お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）授業要旨 http://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105 5ページ下側 > ラッセルのパラドックスを解決するため、いくつかの解決策が提案された。 > (1) 古典論理は保持するが、包括原理を制限する。 > 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま > 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論） > 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論） > (2) 包括原理を保持するが、古典論理を制限する。 http://rio2016.5ch.net/test/read.cgi/sci/1375192413/94

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.019s