[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
91: 2013/08/03(土) NY:AN:NY.AN ID:oKXwvdVD(1) AAS
>>89
ホメオパシーとか原子1個も入ってないくらい薄めた水で金取る詐欺だろ？
92: 2013/08/03(土) NY:AN:NY.AN ID:??? AAS
画像ﾘﾝｸ[jpg]:livedoor.blogimg.jp
童貞きゅむこれでオナニーしな
93(1): 2013/08/03(土) NY:AN:NY.AN ID:??? AAS
偏差値70ない底辺きゅむがいくら吠えても無駄WWW
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
95(2): 2013/08/03(土) NY:AN:NY.AN ID:??? AAS
> 全ての公理的集合論は型理論を内包している
> なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
> それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ
全く理解してない証拠を晒してるのは君ね
>>76
俺は死ねとは言わないよ
もっと醜態晒して見せてくれ
96(1): 2013/08/03(土) NY:AN:NY.AN ID:B0LODvQC(1/3) AAS
>>95
は？
完璧に内包されてんじゃん？
お前が持ってきた引用は
集合族と型理論が等価であるという証拠
ラッセル古いとか言ってる低学歴は自殺もんだなＷＷＷＷＷＷ
97(1): 2013/08/03(土) NY:AN:NY.AN ID:B0LODvQC(2/3) AAS
>>95
お前まだ理解出来てないのかＷＷＷＷＷＷＷ
これ、完璧に俺の言ってる事そのものだから
>>94
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
98: 2013/08/03(土) NY:AN:NY.AN ID:B0LODvQC(3/3) AAS
>>93
お前偏差値50しかない鳥取大だろ？ん？
99: 2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs(1/5) AAS
こいつが根拠にしてる「特許」は審査されずに廃棄されてる
つまり正しさが認められてない
100: 2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs(2/5) AAS
635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて
はいブンケー低学歴確定しました
ベキ集合知らないのは高卒
101: 2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs(3/5) AAS
>>77
＞と矛盾するんだよな
0点
十分性が示されてない
102: 2013/08/03(土) NY:AN:NY.AN ID:??? AAS
ニートきゅむ
103: 2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs(4/5) AAS
635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて
はいブンケー低学歴確定しました
ベキ集合知らないのは高卒
104: 2013/08/03(土) NY:AN:NY.AN ID:??? AAS
メコスジ伝
105: 2013/08/03(土) NY:AN:NY.AN ID:4LDfFYVs(5/5) AAS
メコスジーノ
106: 2013/08/04(日) NY:AN:NY.AN ID:gjZn9zWb(1) AAS
自称()慶応理工学研究科博士課程のｹﾞﾛﾌﾞｽ指原ヲタが
2chｽﾚ:joke
107: 2013/08/04(日) NY:AN:NY.AN ID:??? AAS
【定期】きゅむまた発狂してんな
2chｽﾚ:akb
108(9): 2013/08/04(日) NY:AN:NY.AN ID:??? AAS
>>96
君の「集合族」は独自定義だろうね
意味が分からん
>>97
相変わらず酷い言語感覚だね
109(2): 2013/08/04(日) NY:AN:NY.AN ID:??? AAS
>>76
外部ﾘﾝｸ:researchmap.jp
> 定義 2.13 型理論の言語 L^T は以下の要素を持つ
・・・
> * 任意の項τに対し、ある n が存在して項σが type n であり、項τが type n+1 を持つ時
> のみ論理式 σ∈τ は有意味な論理式となる。
x∪{x} = {y | y∈x or y∈{x}}
変数ｙのtypeは何になるかね？
110(1): 2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4(1/4) AAS
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
上下前次1-新書関写板覧索設栞歴
あと 653 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s