Inter-universal geometryとABC予想(シン応援スレ) 92

テンプレです
>よって、背理法により、2γ−log(5/2)＜γ である
>故に、γ−log(5/2)＜0 である
>ところで、2γ−log(5/2)＞0 が得られているから、−log(5/2)＞−γ
>の両辺にγを足せば、γ−log(5/2)＞0 である
>故に、γ−log(5/2)＞0 と S[m]−γ＜0 とを組合せれば
>S[m]−γ＜γ−log(5/2)＜0 を得る

テンプレ入りです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない！

テンプレ入りです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎｗｗ（＾＾

テンプレ入りです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない

これもテンプレ入りかな？
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>１）”Nは無限集合ですから”がダメ
>２）デカルト先生は R^2でデカルト積 (r1,r2) ｜r1,r2∈R
>　を考えた故事をしらないんだね
>　”Rは無限集合ですから”って デカルト先生に言ってあげようｗ

テンプレ入りです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
>　完備であることの証明はできない

>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾
もテンプレ入りで

テンプレ入りかな？
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）

テンプレ入りです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？

ヤンボーマーボー
天気予報

２８℃
晴れのちくもり

>>56
>天かす入りです
これ使わせて貰おっと

２８℃
晴れのちくもり

>>81
しゃーないな、特別だぞw

２２℃
くもり

天カス入りです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている

ウマそうやねw

バカチョンw
👇
IUT理論の形式化検証 一縷の緊張も心配も見えない （すでに）勝者の余裕ある姿😁

IUTgtrってマスチョンの別垢？w

朝鮮の人が名前に「哲」「敏」「仁」「貞」「正」などというの漢字を好むのは何故にですか？

２３℃
くもり

>>88
おまえはしぬがよゐ。

よゐこは早く寝ようw

ﾊﾟﾊﾟﾊﾟﾊﾟﾊﾟｱｧｯｰｰｰﾝ!!!
ー(>>89)(>>90)ー∴∵

ﾊﾟｱｧｯ-ﾝｯ!!!
ー(>>88)ー・

ジュニーザピンボール

|
|≡333（遁走）

都合悪くなって流しにきたか
ドワンゴ在日w

>>101の慚鬼の穢念で時空が歪んでるな‥

つまんねー知的障害ジジイだな
まあIUT代表って感じが出てていいね

>>105
早く４ね世界の嫌われ者🐭獄凶惨盗漢jin認知戦工作野郎

>>106
精神分裂朝鮮人ワラタ

>>107
おまえ差別用語書き込み常習犯過ぎるよな
通報しとこうか？
てめえの場合は被害を受けてる側が開示請求一発で通るからな

Why would someone seek to formalize a proof they don't understand?

深圳指数
+２．５３％

>>108
脅迫された

>>106
脅迫こえええ

>>113
匿名で連日連日特定の人の名誉を毀損し続けてやがる卑怯者がなんて？

しかも根拠も無く出自決めつけ＆特定民族に対する侮蔑用語連呼とか、もうね。
こっちもテメエを決めつけて懲らしめてやったけどな！

てめえのくせに被害者面すんな！
気持ち悪いんだよ！（無慈悲）

責任を果たさない者が自由を主張したがる世の常。

ブーメランしてる人がいるね

ショルツがSSだとか言ってた人たち居たね
そういえば

きも

>>121
自分が理解できないことを「下らない」の一言で済ませられる人乙w

>>122
ん？「自分が理解できないこと」とは？
君の警察主義権威主義独善を嫌ってることを
「君が理解されない」と思うのはあまりにも唯我独尊
誰も君を理解しようとはしないんだよ
嫌われるか好かれるかだけ

意味不明
ニワカのオレオレエセ人生訓ww
そういやIUTファンって中身ゼロの自己啓発系多いよね

しかもIUT擁護ファンってめっちゃダブルスタンダードばかり
数スレ見るだけで矛盾やブーメラン
論理性が著しく欠如してるからこそIUTファンなんかね

尊師本人が他責主義のダブスタおじさんだからな

尊師本人が他責主義のダブスタおじさんだからな

オコチャマ

ベン図は集合が4つのときは同じ楕円で線対称に描け、5つのときは楕円て回転させれば一致するように描けるらしい。
詳しく調べもしないで批判できるのは、何チャマなのだろうか？
ポッチャマ

楕円て→楕円で

>>128
論破されて遠吠えっすかw

いずれにせよクダラン

素数のときに回転して一致する図が描けることが分からない人乙w

角川歴彦（ＫＡＤＯＫＡＷＡ元会長）、夏野剛を提訴wwwwwwwwwwwwwwwwwwwwwwwww [398059782]
https://greta.5ch.io/test/read.cgi/poverty/1781578379/

>>133
クダランからどうでもいいんですよ

くだらなくないことを力説してもムダ

分からないことを下らないと言い切れる精神は、下らないとは言えないか？

>>137
それを考える価値がないからね

私の感覚では分からないことは沈黙するのが妥当という認識だな。IUT然り

考える力がないのはまた違う。

>>129
描いて

>>139
君の規範は聞き飽きたね

ノイマンみたいなやり取りを貴方が出来るのなら、下らないとどうぞ言って下さいw
逸話を知らなければ調べたらどう？

>>143
ホラまた勝手に他人に強制する
下らない人格

描くのメンドイから調べてくれ。
調べるのが面倒なら、この話は終わり。

他人のネタを主観で評価する人格は、下らなくないのか。

>>145
ならないのと同じで
君が嘘つきなだけ

主観じゃないと言うのなら、根拠を出さないとねぇw
今のところ根拠がゼロに等しいよね。

>>146
嘘ネタではねクダランとしか言えまい

>>148
はぁ
君の規範では
言った者に挙証責任はないわけだね
クダラン

2000年くらいに話が進んだって言ったでしょ？

>>151
君が言っただけね

他人に強制はするわ
自分には甘甘だわ
ほんと
クダラン人格

Branko Grunbaum って人が5つの楕円のベン図を考案したらしい。
具体的な人名を出せば十分でしょ。

自分に激甘な人乙www
自分ルールで5chを生きる人。

>>154
全然？
人にやらせようとするだけで何もしない人乙

>>155
きみが５ｃｈでは異常だと自覚した方がイイよ

とりあえず、あなたは具体的な根拠を何ひとつ挙げず、主観で語っている。
とても数学徒とは思えない所業の数々www

異常が正常で、正常が異常ね、了解。

>>158
根拠って
下らない話だってこと？
それ私の感覚なんだけど
誰に証明することでもないんだがね

>>158,159
君は何か「正統」があるだろうあるべきだと思ってるだけ
５ｃｈでは異常だね

まあ、俺は具体的な根拠は出したから。
数学徒らしいのはこっちってことw

異端の人乙w

>>162
根拠はこれだと嘘を書いただけではどうしようもないね君
>>163
君は「正統」の立場に立ちたいだけの下らない人格

>>162
では具体的に5個と7個と11個ででベン図を描いてよ

具体的な人名まで出して、根拠じゃないことはないだろうw
俺は正当だとは思っちゃいないが、あなたは異端だと思うよw

>>166
無いね
具体的に5，7，11で図を描いてよ

あのさぁ、なんで調べないかね？
調べても出てこないのなら話は分かるがね…。

それが描けたら次は13と17と19で描いて
下らないことがだんだん分かってくるかもよ

5は普通に出る。星形のやつ。
7,11はおそらくメンドイ。

>>168
君の規範では
挙証責任は君には無いってことだね

別に一纏めで証明できてるから良いだろう。
その証明を知らないから、簡単に下らないと言えるんだろう。

>>172
知る必要も無いほど下らないからね

5集合の場合の人名を挙げたら、挙証責任になるだろう。
素数のバージョンの定理もあるって、サイトに書いてあったからそれで十分。

永遠に自分の分からないことを下らないと言っていれば良いさ。
あなたの人生がいずれそうなっていくのだから。

>>174
全然？
君が5，7，11のベン図見せてくれたらいいだけなのにしないのは
下らない人格である証左
>>175
分かる必要も無いモノを分かりたいとは思わないね
下らない

俺はリンクを貼るのが好きじゃないんだよ。
簡単に調べたら出てくるものを見ないのは、理解し難い態度だね。

君も彼の人同様
尻もしないことを引用して悦に入っているだけ

>>177
はいはい
挙証責任から逃げる人乙

imgurとかもよく知らんし。

論文はあるらしいから、それで十分。
俺の責任は果たした。
>>131も言ってることだしねw

あれは関係ないか…。
まあ、挙げるもんは挙げたから俺は満足。

>>181
クダラン
ところで>>131が何か言ったの？ ID:J0h79nxd は程度の低いただのIUTアンチだろ

>>182
あれって？

それのこと。
誰が誰に対して言ってるのか分からんから、まあ良いわ。
俺に何か言ったところで、もう何も出てこんよw

とりあえず、巨大数でも語ってなよ。
俺は語ることがなくなったから、また探す。

>>185
アレと言えばソレ
蒟蒻問答か

ああそれがあれと言いたかったか
そこは分かった

IUT擁護の脅迫おじさん
ボロクソに論破されたので
都合悪くなってログを流すw

精神病じゃんこいつw

●違いが放置した💩スレを２つ埋めた

ベン図は境界をギザギザにしていいなら
ｎがいくらでも対応できる

これ豆な

だから同じ形や円を拡張した楕円等で考えるのだろう。

素数の定理は制限して出した結果なのだろう。

>>193-194　楕円にする意図が不明

真円→楕円と条件を緩めているのではないか。
実際に描ける集合のバリエーションが増えているようだ。

>>196
なぜ、条件の緩め方がそれなんだ？

真円から緩めたら楕円が妥当なんじゃないの。

>>198　君、高卒ド素人？

わかんね。
第三者に意見を求む。

真円で描けない図が存在するから、楕円に緩めたら描けてハッピーって話じゃないんかね。

集合が素数じゃないと回転対称に描けないけど、素数なら描けてハッピーなんじゃないの。

ハッピハッピー

。

>>202　対称性にこだわる理由がわからん　●違い？

少しずつ条件を緩めて、良さげな定理が出そうなところに設定したんじゃないの。

>>206　何言ってんだ　このド素人

第三者に論破されたと言われて、ムキになっているのかw

IUG、IUTなどを応援していたら
自分の立場を危うくするのでは

分からないことは何も言わないに限る。

ゲスヤバ夫でゲス、イーヒッヒ。

俺の偽物がw