[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 55 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
166(2): 2021/06/17(木)10:00 ID:fmi4nuTk(1/15) AAS
ID:40Ayiq4a が、おサルだね
>>158
(引用開始)
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない
ことも分からん「考えなしの素人」に数学はムリ
(引用終り)
あ〜らら
おサルは、数学科出身だってね
どこの大学か言わない方がいいな
そういうレベルだわな
省4
177(2): 2021/06/17(木)10:34 ID:fmi4nuTk(2/15) AAS
>>150 >>128
＞未解決問題の解決をコピペのみで完遂することは不可能
＞Fortune予想(Firoozbakht予想が解決すれば解決)
（>>136より）
なんだ？
自分が数学研究者にでも、なったつもりか？
あんたのいう”未解決問題”ってなんだ？ いってみろよ、おい（＾＾；
(引用終り)
ああ、高木さんというのか
なるほどね。あなたも、おサルと一緒で、５ｃｈを学会と一緒くたにしているの？
省14
182(1): 2021/06/17(木)11:52 ID:fmi4nuTk(3/15) AAS
>>152
>「テータ関数を考える理由は何？」
>梅村読んで理解したなら分かるけどね
うん、なんか書いてあったね（＾＾
えーと、検索すると下記だな（＾＾；
（参考）（このサイトのグラフィックすげー！ 一見の価値あり！！（＾＾ ）
外部ﾘﾝｸ[html]:math-functions-1.watson.jp
特殊関数 グラフィックスライブラリー
Graphics Library of Special functions
外部ﾘﾝｸ:math-functions-1.watson.jp
省11
183: 2021/06/17(木)11:52 ID:fmi4nuTk(4/15) AAS
>>182
楕円テータ関数は、無限乗積展開式
画像ﾘﾝｸ[png]:math-functions-1.watson.jp
によっても表わされる。これも収束が非常に速いので数値計算に適している。また、この無限乗積展開式から、複素z平面上における楕円テータ関数の零点が、
画像ﾘﾝｸ[png]:math-functions-1.watson.jp
画像ﾘﾝｸ[png]:math-functions-1.watson.jp
図：楕円テータ関数の零点の位置
の位置にあることも容易に分かる。
上記の無限乗積展開式は、q-解析学の端緒の一つで現在の量子群などに繋がるので、歴史的に見ても重要な公式である。
(引用終り)
184: 2021/06/17(木)11:56 ID:fmi4nuTk(5/15) AAS
>>181
どうも、スレ主です
>>>177
>日本数学会の会員が本当にこのようなことを書くのでしょうか？
>そうだとしたら、名折れですね
お気に障ったのかな？
それは申し訳ない
別にあなたをくさしたわけじゃない
私は、５ｃｈを学会とは思っていないってだけです
まあ、また〜り、して行ってください（＾＾
185: 2021/06/17(木)12:05 ID:fmi4nuTk(6/15) AAS
>>153
>「なんかわかんねーけど、二階は一階より上だ」
>と思うのが愚か
"二階は一階より上だ"(オヤジギャグ) （＾＾
冗談はさておき
21世紀は、二階復権です（自民党のだれかじゃないよｗ ）
一つは、圏論の影響
もう一つは、数学が高度になりすぎたのよ
一階に拘ったら、見通し悪すぎだよ（＾＾；
186(1): 2021/06/17(木)12:13 ID:fmi4nuTk(7/15) AAS
>>147
＞ブルバキへの恨みが凄いなｗ
いや、恨みとかそういのじゃなく
どうしたって、ブルバキは古いよね
20世紀のセピア色じゃん
>中心メンバーだったヴェイユ、グロタンディークは
グロタンディークは、圏論派で、ブルバキと別れたよね
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
ニコラ・ブルバキ（仏: Nicolas Bourbaki, ブールバキとも）は架空の数学者であり、主にフランスの若手の数学者集団のペンネームである。
省14
188(5): 2021/06/17(木)13:13 ID:fmi4nuTk(8/15) AAS
>>179
＞上昇列の定義を確認したかったが見つからなかったので、自分で考えてみたが、
それ、多分合っていると思うよ
そもそも、この話は下記の
整礎：真の無限降下列をもたない
正則性公理：∀xについて、無限下降列である x∋ x1∋x2∋ ... は存在しない
の議論に由来している
おサルは
>>158より
(引用開始)
省19
193(2): 2021/06/17(木)14:54 ID:fmi4nuTk(9/15) AAS
>>121
>なるほど、日本の普通のデモクラット支持者の見方がよくわかり参考になりました、ありがとうございます
C++さん、どうも
スレ主です
ほんとスレ違いで悪いが（＾＾
１．デモクラット支持者ではないんだよね、私は
２．日米同盟支持者ではある。民主、共和、どっちでも良い
３．だけど、反トランプです。
トランプは、日米同盟の敵だと思った。
そもそも、米国の外交をぶち壊していると思った。国連も含めてね
省1
204(2): 2021/06/17(木)15:25 ID:fmi4nuTk(10/15) AAS
>>194
>＞ 21世紀は、二階復権です
>一階も分かってない猿回し君に
>二階を分かることは無理
分かってないのはおサル、あんた
我々日常語は、一階も二階もない
なんでもありよ。それを意識して使い分けているだけのことよ
下記のレーヴェンハイム?スコーレム読んでみな
「レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた」
ってあるだろ？ おサルさん
省8
208(3): 2021/06/17(木)15:30 ID:fmi4nuTk(11/15) AAS
>>203
>存在しなくていいぞ
相乗りして悪いが同意だ
そして、老婆心ながら言っておくと
この無限列論争は、１年以上やっているので、適当に切り上げてくれ
（つまり、彼の説得とか論破は、最初から度外視するように。相手を人とは思わないようにね（＾＾； ）
239(3): 2021/06/17(木)18:02 ID:fmi4nuTk(12/15) AAS
>>217
「始者以外は後者がある」
「終者以外は前者がある」
という条件が必要
(引用終り)
重箱の隅で悪いがｗ（＾＾
”始者”、”終者”という用語の使い方、検索ではヒットしないな
類似が、下記の「例 2.1. 半順序のハッセ図においては，半順序の最小元が始対象であり，最大元が終対象である．」が近いか
で、有限の整列順序で、”始者”から始まって、順次後者が定まって、”終者”に至るとするよ
とすると
省20
240: 2021/06/17(木)18:03 ID:fmi4nuTk(13/15) AAS
>>239
つづき
例 2.1. 半順序のハッセ図においては，半順序の最小元が始対象であり，最大元が終対象である．
論理式の〈グラフ〉においては，矛盾 K が始対象であり，恒真 J が終対象である．
例 2.2. 集合と関数の〈グラフ〉Set においては，空集合 H が始点であり，任意の単元集合 t?u が
終点である．
外部ﾘﾝｸ:ja.wikipedia.org
始対象と終対象
始対象でも終対象でもあるような対象は零対象（れいたいしょう、ゼロたいしょう、英: zero object, null object）と呼ばれる。
点付き圏 (pointed category) とは零対象を持つ圏を言う。
省2
241: 2021/06/17(木)18:09 ID:fmi4nuTk(14/15) AAS
>>239 訂正 引用文献
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
始対象と終対象
↓
（参考）
外部ﾘﾝｸ[pdf]:www.math.mi.i.nagoya-u.ac.jp
圏と論理へのいざない・レクチャーノート
木原 貴行
名古屋大学 情報学部・情報学研究科
省2
250(1): 2021/06/17(木)18:51 ID:fmi4nuTk(15/15) AAS
>>248
ほいよ >>243を読みな（＾＾；
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.052s