[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
803(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/07(土)10:56 ID:8WzaZQff(14/27) AAS
>>802
つづき
§5 有限の立場での∀と∃の意味づけ
こんどは,∀XF(X)とか∃xF(X)という形の命題の
真偽について考える。
自由変数は含まないが,∀や∃を含む命題の真偽は,
じつは,一般に,次の3つの場合にわかれる:
省27
804(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/07(土)11:02 ID:8WzaZQff(15/27) AAS
>>802-803
ゲンツェン (1936).か
おサルは、えらく古い話をしっているなー（＾＾
赤 摂也先生、培風館ねー
おサルは、三歳児なのに、よく知っているね〜ｗ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
赤攝也（せき せつや）
省10
811: 2019/09/07(土)17:48 ID:g5ZGoduN(6/8) AAS
>>802-804
工業高校卒は論理が分からないから
支離滅裂な連想で検索するね
だから馬鹿のままなんだよｗ
単に自然数論では自然数の全体の集まりなんて扱わないということ
集合論では集合の全体の集まり（集合でない）なんて扱わないのと同じ
836(3): 2019/09/08(日)07:00 ID:bH+0Hw/z(1/4) AAS
>>804
>>803は、いろいろ問題があるね
＞3) 真とも偽とも決定できぬ場合
＞∀や∃を含まぬ命題については,
＞3)の場合はあり得なかった。
「∀や∃を含まぬ命題」は、正しくは
「∀や∃を含まぬ”自然数論の”命題」だろう
省22
892(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)09:25 ID:w2gV7wtr(3/38) AAS
>>886
>私はあなたがピエロと呼ぶ人物ではありません
まあ、その言い分を一応は認めます
>少なくとも「自然数論の真偽の定義」という言葉で
>何をいおうとしてるのかは明確でないですね
"「自然数論の真偽の定義」という言葉"?
意味不明。「自然数論の真偽の定義」を、私は使ったことがない
省9
955(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:55 ID:w2gV7wtr(22/38) AAS
>>950
(引用開始)
ID:w2gV7wtrは完全に数学板依存症になってますね
数学板の自分の立てたスレに数学情報を書き込むことで
「俺は数学が分かってる！」と思い込んでいい気分になる
ようです
でも、はっきりいってそれは自分一人の勘違いです
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s