ガロア第一論文と乗数イデアル他関連資料スレ12

ガロア第一論文と乗数イデアル他関連資料スレ12 (888ﾚｽ)
上下前次 1-新
抽出解除ﾚｽ栞

10(20): 01/01(水)10:05 ID:2b7XvZNh(10/10) AAS
つづき

・自然数 ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
　『形式的な定義自然数の公理
　以上の構成(注ノイマン構成)は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
　例えば、0 := {}, suc(a) := {a} と定義したならば、
　0 := {}
　1 := {0} = {{}}
　2 := {1} = {{{}}}
　3 := {2} = {{{{}}}}
　と非常に単純な自然数になる』
省25

11(3): 01/05(日)20:22 ID:SzCW+7H2(1) AAS
>>10
>『{}∈{{{}}} は偽』とか、勝手な妄想を沸かす。
『{}∈{{{}}} は真』とか勝手な妄想を沸かすど素人さんが数学語っちゃダメじゃね？

285(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/15(水)14:57 ID:ZCTGHyhi(2/11) AAS
>>281 ID:cDKFP1/O
>嫌味な問題

>>283 ID:zEkLeAcw
>>>281
>君は認知機能に問題がありそうだな
>数学は諦めたら？　無理だから

あららのらｗ；ｐ）
ID:cDKFP1/O は、プロ数学者のOTK 世界的な多変数関数論の大家でしょ？

囲碁のプロ棋士に対して「囲碁は諦めたら？　無理だから」って
倒錯もここまで来たら滑稽もいいところだｗｗｗ
省2

358(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/17(金)10:33 ID:MEr9oV+O(1/6) AAS
>>352-357
>結局、最後は力で決まる　無駄を承知でやりまくることでしか結果はでない
>数学者は馬鹿でなくてはならない、といった人がいる
>要するに、常に効率のいい方法を求める利口になるな、ということ
>新しい結果を出す最適の方法なんか存在しない

ふっふ、ほっほ
おサルさん>>7-10

１）公開処刑進行中なｗｗ；ｐ）
２）おっさんな
　「結局、最後は力で決まる　無駄を承知でやりまくることでしか結果はでない」
省34

386(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/18(土)10:38 ID:yCcyDMub(3/12) AAS
つづき

>集合2^Xの選択公理を用いて、Xの濃度の部分的な値のみを用いている。
>では、最初からXの濃度で済ますことが出来るかと言えば、おそらく無理。

そこ、おサルさん>>7-10の勘違いでしょうね；ｐ）
　>>292の定理　選択公理⇒整列定理証明で
『空でない集合Xの任意の空でない部分集合Yをその元∃y∈Yに対応させる写像f(Y)=yの存在が選択公理により保証される』
と書いたでしょ、おかしな事を書いている・・ｗ；ｐ）
後で、ほじくらせて貰いますよ、乞うご期待（＾＾

(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省31

407(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/18(土)19:49 ID:yCcyDMub(8/12) AAS
>>400
(引用開始)
私は見ず知らずの他人に構って
あたかも小中高の教師の如く頻繁に他人を比較する
貴様のような教師根性の持ち主が大嫌いなのだ
貴様は世間が数学の得意な人ばかりで
構成されている訳ではないことが分からないから、
>>1におサルっていわれているんだよw
このアホ
(引用終り)
省3

460(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/19(日)20:15 ID:RlRmaz0L(8/9) AAS
>>445
(引用開始)
5チャンでは即興で思い付いたことを書いている
以前他のスレでやったが、周期Pに属する実数全体 P∩R という
零集合上で実解析的に考えれば、有理数体Q上
πとeは代数的独立であることが示せる
(引用終り)

どうもです
スレ主です

おっちゃんお元気そうでなによりです。
省7

464(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/19(日)20:57 ID:RlRmaz0L(9/9) AAS
>>441
>　Jechの証明のfから上記の性質を持つfに改造できればいいってことで
>　多分いろいろやり方はありそうだけ
>　（たとえばfが半順序になるところまでなんとか持って行って
>　　ツォルンの補題を経由して証明するとか）
>　一番簡単なのはJechの証明の方法でとにかく整列しちゃうってことですかね
>　ということで意図が分かると、
>　阪大工学部卒の凡人が貶すほど酷いものでもないとわかりますね

おサルか？ｗ >>7-10
自分が書いた証明を、他人になりすまして
省33

473(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/20(月)15:58 ID:7RKCNKc8(1/6) AAS
＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ）

さて >>465 より
(引用開始)
”we can do by induction, using a choice function f for the family S of all nonempty subsets of A.”
ああ、ごめんごめん。きみ、英語全く読めないニホンザルだったな。翻訳しとくわ。
「Aのすべての空でない部分集合の族Sに対する選択関数fを用いて、帰納的に行うことができる。」
(引用終り)

それでなおサルさんよ>>7-10
省40

485(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/21(火)16:52 ID:N2eH+PDU(1/6) AAS
>>484
＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/

ご苦労様です
ちょっと出かけていました
さあ　続けようか

有名なケネス・キューネンの海賊版を覗いてみた
下記 1)2)と4)を見たが、本件の記述はあまりなかった
（ 3)は、期待できそうになかったので、海賊版検索はしなかった）
省22

510(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/22(水)16:07 ID:XJPGzntw(4/4) AAS
>>508
(引用開始)
じゃ、fを表に出しなよ
A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…
↓
f(A),f(A∖f(A)),f((A∖f(A))∖f(A∖f(A))),…
定義域の集合族を{A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…}に制限したいらしいけど
それ中のfを全部消さないと、循環論法でアウトだから
(引用終り)

ふっふ、ほっほｗ；ｐ）
省34

541(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/23(木)14:34 ID:OWxAi42s(9/12) AAS
>>538
>間違い読みしてるうちは正しく理解できないよ

ふっふ、ほっほ
　>>533より
”＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

おれは、
自分が何をどこまで理解しているかを
示そうとしてはいない！ｗｗ
省12

561(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/24(金)10:23 ID:BCvEAUed(2/10) AAS
”＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

>>10より再録
・自然数 ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
　『形式的な定義自然数の公理
　以上の構成(注ノイマン構成)は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
　例えば、0 := {}, suc(a) := {a} と定義したならば、
　0 := {}
　1 := {0} = {{}}
省23

566(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/24(金)11:36 ID:BCvEAUed(5/10) AAS
”＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

>>563
(引用開始)
>では、集合Ｒの性質はどうか？
>・>>547にあるように、ZF＋可算選択公理と、下記がEquivalent
こじつけ
選択公理無しで言える性質もいくらでもある
選択公理有りで言える性質もいくらでもある
省23

568(1): 01/24(金)12:40 ID:Y9e4pxHo(5/7) AAS
>>566
>x0,x1,x2・・・ ,x なる加算無限長の集積列が作れて
xの左隣の項は何？

>>>564は、テンプレ>>10に入れたし、勝負ありでしょ？ｗ；ｐ）
「ABC予想を証明した」と言ったら証明したことになると？

569(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/24(金)14:16 ID:BCvEAUed(6/10) AAS
”＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

>>567
>選択公理の要否は命題毎の各論

おっさん
某私大数学科修士を鼻にかけて
基礎論自慢をして
弥勒菩薩氏から、”基礎論婆”と呼ばれるも
その実、大学１年の基礎論から詰んでいたってこと？？ｗ；ｐ）
省28

572(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/24(金)15:13 ID:BCvEAUed(7/10) AAS
>>526 追加
(引用開始)
www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_13.pdf
TAIKEI-BOOK : 2019/1/1(22:21) 東北大尾畑研
第13章整列集合
定理13.18 (超限帰納法)
略す
ふつうの数学的帰納法は超限帰納法の整列集合Xとして自然数Nをとったものである
また超限帰納法は証明だけではなく定義にも用いられる
たとえば整列集合を定義域とする写像f(x)を{f(y)|y≺x}を用いて定義する手法がある
省21

573: 現代数学の系譜雑談 ◆yH25M02vWFhP 01/24(金)16:36 ID:BCvEAUed(8/10) AAS
>>572
>近藤友祐氏は、神戸大学工学部出身らしい
>だれか、「工学部では、数学の難しいことを教えないだろう」とか、テメエのレベルも省みず宣うやつがいるが
>だれが見ても、おサルより>>7-10 近藤友祐氏のレベルが上でしょｗ；ｐ）

こんな優秀な人たちと、自分を比べるつもりはないが
いまどき、学部数学科に行かなくとも、数学で優秀な人はたくさんいるよ

例えば
武田秀一郎氏：東京理科大機械工学卒で、アメリカの大学修士から、いま大阪大学数学 Associate Professor
渕野昌氏：早稲田化学科卒の後、同数学科に学士入学して、後ベルリン自由大学へ（学部数学科１〜２年は飛ばしてねｗ）
山下真由子氏：工学部計数工学科へ進学する ”4年次に進級せず修士課程への飛び入学”（つまりは、数学科学部の経験なしｗｗｗ）
省31

642(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/26(日)17:49 ID:57hfZFiX(9/17) AAS
”＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”

ふっふ、ほっほ

>>638-641
ふーん、ID:odIYHPQg と ID:b1A8rVdb と
箱入り無数目のあほ二人が、揃ったか
ID:b1A8rVdb が、おサルさん>>7-10
ID:odIYHPQg が、おサルの連れ

さて >>641より
省17

730(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 01/28(火)13:06 ID:C6l4Y3jA(4/8) AAS
”＜公開処刑続く＞
（『 ZF上で実数はどこまで定義可能なのか？』に向けてと
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜あほ二人は、選択公理−選択関数が全く分かっていない＞

血の巡りの悪い人がいるね

>>720-727

おサルさ>>7-10
必死で論点をチラシて、ゴマカシているけどｗ

で、>>717より
>a choice function f for the family S of "all" nonempty subsets of A.
省13

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 2.262s*