[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
880(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/08(日)18:22 ID:KY2miv9A(22/23) AAS
>>877 補足
自然数論なんて
>>793で
"自然数論は自然数全体の集合の存在を前提した理論ではない"
を茶化すために
>>802で
前原昭二先生を引用しただけで
集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
こちらとしてはね
そんなものは、いまの大学数学科の教程にないし
オワコンでしょう？ 違いますか？（＾＾；
でも、数学史として、こういう議論もあったということは
知っておいても良いとは思いますよ
（参考）
外部ﾘﾝｸ:www.jstage.jst.go.jp
自然数論の無矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
95(5): 2019/08/26(月)07:26 ID:IVhPobmv(5/16) AAS
>>76
>無限に用意した数列から正しい数列を選ぶことができなければ、いくら用意しても無意味
>”正しい数列を選ぶことができる”とおサルに錯覚させるのが、時枝の手法の特徴で、実際には”できない”のです
>不成立の手法なのです
前スレ>>880とそれが意味するところを理解できてないのだろう
理解できていればこのような世迷言は出てこないはず
しかしバカザルやド素人はさもありなんとして、おっちゃんも理解してなかったのは驚きｗ
おっちゃんホントに数学科卒？ｗ
97(1): 2019/08/26(月)07:41 ID:IVhPobmv(6/16) AAS
前スレ>>880
商射影R^N→R^N/〜が存在し、選択公理を仮定すればその切断も存在する
なので
任意のしっぽに対し、先頭任意項を0埋めしたR^Nの元を作ればよい
後は言わなくても分かるだろう
バカザルはそんなことも分からずに不成立不成立と喚くだけのキチガイ
886(1): 2019/09/09(月)07:11 ID:uwfnXwUu(1/60) AAS
>>877
私はあなたがピエロと呼ぶ人物ではありません
>あなたは、前原昭二先生の 1979の投稿論文が間違っていると言いたいわけ？
少なくとも「自然数論の真偽の定義」という言葉で
何をいおうとしてるのかは明確でないですね
>>880
>"自然数論は自然数全体の集合の存在を前提した理論ではない"
>を茶化すために前原昭二先生を引用しただけで
自然数論をご存じないなら黙ったほうがいいですね
見当違いな間違いを書くあなたが恥をかきますよ
887(2): 2019/09/09(月)07:15 ID:uwfnXwUu(2/60) AAS
>>880
＞そんなものは、いまの大学数学科の教程にない
ウソはいけませんね
ありますよ あなたが知らないだけです
＞オワコンでしょう？ 違いますか？
違いますね 現役ですから
957(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)18:24 ID:w2gV7wtr(24/38) AAS
>>956 補足
１）経緯は下記です（＾＾
２）であなたのいう「自然数論」は、
2019年の現在では
数理論理学あるいは数学基礎論になっているってことですよ
（経緯引用）
>>880
集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
そんなものは、いまの大学数学科の教程にないし
オワコンでしょう？ 違いますか？（＾＾；
でも、数学史として、こういう議論もあったということは
知っておいても良いとは思いますよ
>>887
＞そんなものは、いまの大学数学科の教程にない
ウソはいけませんね
ありますよ あなたが知らないだけです
＞オワコンでしょう？ 違いますか？
違いますね 現役ですから
>>893
＞そんなものは、いまの大学数学科の教程にない
>ウソはいけませんね
>ありますよ あなたが知らないだけです
はい
2019年あるいは、近年でも良いです
例示願います
>＞オワコンでしょう？ 違いますか？
>違いますね 現役ですから
多くの大学数学科の教程で、「自然数論」はやらないでしょう？ｗ
新井 敏康先生の2019年の主要な研究テーマが、「自然数論」なのですか？
それって、証明ある？ｗ（＾＾；
(引用終り)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.053s