なぜ悪質な永久機関ビジネスはなくならないのか？４

>>77
＞と矛盾するんだよな

0点
十分性が示されてない

ニートきゅむ

635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) NY:AN:NY.AN ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて


はいブンケー低学歴確定しました
ベキ集合知らないのは高卒

メコスジ伝

メコスジーノ

自称()慶応理工学研究科博士課程のｹﾞﾛﾌﾞｽ指原ヲタが
http://ikura.2ch.net/test/read.cgi/joke/1375551098/

【定期】きゅむまた発狂してんな
http://awabi.2ch.net/test/read.cgi/akb/1375560639/

>>96
君の「集合族」は独自定義だろうね
意味が分からん

>>97
相変わらず酷い言語感覚だね

>>76
http://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105
> 定義 2.13 型理論の言語 L^T は以下の要素を持つ
　・・・
> * 任意の項τに対し、ある n が存在して項σが type n であり、項τが type n+1 を持つ時
> 　のみ論理式 σ∈τ は有意味な論理式となる。

x∪{x} = {y | y∈x or y∈{x}}
変数ｙのtypeは何になるかね？

>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

>>109
だからさぁ
査読論文持って来いよ
日本語の講義資料なんつーのは論外

低学歴が「かね」とか書いても無意味だっつのＷＷＷＷ

高卒は素朴集合論レベルから進歩してないＷＷＷＷＷ

>>110
「x∈x」は型理論では文法違反で論理式ではない
ZF集合論では論理式として認められて基礎の公理に矛盾する
ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分

>>111
たまには君が論文持って来てはどうかね？
岩波数学辞典も引けない底辺未満には無理かね？

> ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分

後半部分は言い過ぎた
最後のセクションにちょっとだけだったな

>>114
だからどうした？
完全にお前が論破されてる事への反証でも何でも無い駄文書いてどうするんだ？ん？

>>115
全くどうでもいい
何の主張にも反論にもなってない