[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
111(2): 2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4(2/4) AAS
>>109
だからさぁ
査読論文持って来いよ
日本語の講義資料なんつーのは論外
112: 2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4(3/4) AAS
低学歴が「かね」とか書いても無意味だっつのＷＷＷＷ
113: 2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4(4/4) AAS
高卒は素朴集合論レベルから進歩してないＷＷＷＷＷ
114(2): 2013/08/04(日) NY:AN:NY.AN ID:??? AAS
>>110
「x∈x」は型理論では文法違反で論理式ではない
ZF集合論では論理式として認められて基礎の公理に矛盾する
ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分
>>111
たまには君が論文持って来てはどうかね？
岩波数学辞典も引けない底辺未満には無理かね？
115(1): 2013/08/04(日) NY:AN:NY.AN ID:??? AAS
> ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分
後半部分は言い過ぎた
最後のセクションにちょっとだけだったな
116: 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(1/13) AAS
>>114
だからどうした？
完全にお前が論破されてる事への反証でも何でも無い駄文書いてどうするんだ？ん？
117: 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(2/13) AAS
>>115
全くどうでもいい
何の主張にも反論にもなってない
上下前次1-新書関写板覧索設栞歴
あと 646 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s