23/12/15 11:03:19.49 NkEr3tnM.net
>>503
>相変わらずメッチャクチャwwwwwww
出ました ストローマン
論点ずらし
１）そもそも、>>456 「直観主義でラッセルのパラドックスが回避できるってなんだよ
a = { x | x ∉ x }という集合の存在から矛盾が証明できないってこと？わいはできるぞ」
だった
２）>>454 ”数学の基礎として公理的な集合論の代替として機能する”
”カテゴリ論理は現在、直観主義論理の型理論に基づいて明確に定義された分野”
”これは、直観主義論理の二重否定の法則を認めないことで
"ラッセルのパラドックス"は回避できるのです（常識ですよ）”
の直後に、上記は投稿されたのです
３）そもそも、いま圏論ロジック→直観主義論理 がいろいろ議論されているのに
そこに対して、”直観主義ではラッセルのパラドックスが回避できていないぞ”と 突っかかってくる
それって、「あんた 何考えているの？」レベルの暴挙でしょ？ （確立されている数学に対して、岩にぶつかっていくみたいなこと）
で、河東氏ゼミの話だった
すべての疑問点を解消して一歩一歩進むべし
それを、全数学勉強に広げて、一歩一歩だという人がいた
しかし、いまの直観主義がいい例で
直観主義とラッセルのパラドックスの関係
それを、自分で調べるべしでしょ？
それは、一歩一歩でなく、探索的に読まないとね
そういう勉強もできないと、結局数学落ちこぼれじゃないの？