[過去ﾛｸﾞ]
Inter-universal geometry とABC 予想55 (1002ﾚｽ)
Inter-universal geometry とABC 予想55 http://rio2016.5ch.net/test/read.cgi/math/1712989377/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
412: １３２人目の素数さん [] 2024/05/02(木) 08:09:47.01 ID:MGx3IZdS 負け犬三匹 望月新一 math_jin SET A http://rio2016.5ch.net/test/read.cgi/math/1712989377/412
414: １３２人目の素数さん [] 2024/05/02(木) 09:15:29.05 ID:MGx3IZdS >>413 そもそも、∈-loops なんて必要なの？ http://rio2016.5ch.net/test/read.cgi/math/1712989377/414
417: １３２人目の素数さん [] 2024/05/02(木) 09:42:02.93 ID:MGx3IZdS >>415 >普通にやろうと思えば集合論の範囲でできそうだけどね。 x∈xは正則性の公理に反します ご存知？ 正則性の公理を外せばもちろん構いませんがね http://rio2016.5ch.net/test/read.cgi/math/1712989377/417
418: １３２人目の素数さん [] 2024/05/02(木) 09:43:35.90 ID:MGx3IZdS 一般の数学者は、数理論理学も集合論も大して理解してない、というのは本当です まあ、数理論理学や集合論の技って、他の分野ではまず使わないから当然ですが http://rio2016.5ch.net/test/read.cgi/math/1712989377/418
420: １３２人目の素数さん [] 2024/05/02(木) 09:50:57.12 ID:MGx3IZdS >>415 >普通にやろうと思えば集合論の範囲でできそうだけどね。 >>419 >無理に集合のネストをすることに意味がないだろうって言ってんだけど 「何を」普通にやるのか、一切書かないから誤解される a∈a、いらなくね って書けば一発でわかる 文章書けない馬鹿なの？ http://rio2016.5ch.net/test/read.cgi/math/1712989377/420
427: １３２人目の素数さん [sage] 2024/05/02(木) 11:24:49.97 ID:MGx3IZdS >>421 >単遠アーベル幾何の構成についてだけど？ >そのくらい当たり前に理解できないかな？ 書かれてないことは妄想できない （完） http://rio2016.5ch.net/test/read.cgi/math/1712989377/427
428: １３２人目の素数さん [sage] 2024/05/02(木) 11:27:18.54 ID:MGx3IZdS >>423 >∈-loops になるところがある。 どういうわけで？ >>424 >なんで必要なのかサッパリわからないね おっしゃる通り http://rio2016.5ch.net/test/read.cgi/math/1712989377/428
429: １３２人目の素数さん [sage] 2024/05/02(木) 11:29:35.30 ID:MGx3IZdS >>425 >…F1=一元体を考えていた >一元体だから、本来は元aしかない >つまり「a∈F1」しかない >だれが考えても、元aの1個ではどうしうもない！ >そこで、”a∈a∈a∈a・・”と妄想したのかも それってあなたの妄想ですよね？ SET Aさん http://rio2016.5ch.net/test/read.cgi/math/1712989377/429
441: １３２人目の素数さん [] 2024/05/02(木) 16:48:39.95 ID:MGx3IZdS >>440 >IUT論文長いので、PDFの単語検索をかけたよ。 >“species”で、ヒットするのは >IUT Iの冒頭のP22の１か所のみで >あとは論文本体には皆無で、 >IUT IVの付録の”§3. Inter-universal Formalism: the Language of Species”まで飛ぶ >つまりは、プロレスで言えば、 >本来のリング内では“species”なしで >その後に 場外のIUT IV §3で、 >“species”論を、望月氏は一席ぶっているんだね >IUT IV §3は、本来のリング外だから >そこでなにかあっても、本体の部分は殆ど無関係ですよ どうでもいいが、線形代数もわからん高卒レベルのSET AにIUは全く無関係 http://rio2016.5ch.net/test/read.cgi/math/1712989377/441
444: １３２人目の素数さん [] 2024/05/02(木) 16:56:48.01 ID:MGx3IZdS 望月新一のいう「種」は 、ブルバキの構造種 (species of structure) のことらしい https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E6%A7%8B%E9%80%A0#%E6%A7%8B%E9%80%A0%E3%81%AE%E7%A8%AE 集合論的な定義: 構造種 (species of structure) とは、以下の四つからなる: 主基集合 (principal base set) または台集合 (underlying set) (何の構造も持たない) 単なる「はだか」の集合。 複数あってもよいが基本的には一つ。 副基集合 (auxiliary base set) (それ自身がすでに構造を持った) 補助的な集合。 複数あってもよいし、無くてもよい。 代表的特性記述 (predicate) 「主基集合と副基集合から、直積とべき集合をとることを繰り返して得られる集合 （階梯と呼ばれる）にある集合（構造と呼ばれる）が含まれる」 ということを表す論理式。複数あってもよい。 公理系 構造が満たす論理式。 ただし移行可能であるという条件が付く。 この条件は、準同型などを定義する際に必要になる。 http://rio2016.5ch.net/test/read.cgi/math/1712989377/444
445: １３２人目の素数さん [] 2024/05/02(木) 17:05:55.63 ID:MGx3IZdS >>442 >a∈a∈a∈...∈a になれば >基礎の公理に反しない。 いや、全く反するけど https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 http://rio2016.5ch.net/test/read.cgi/math/1712989377/445
447: １３２人目の素数さん [] 2024/05/02(木) 17:11:24.51 ID:MGx3IZdS >>446 >a∈aを近似して保ったまま それ（a∈a）はいったい何を意味するのか？ http://rio2016.5ch.net/test/read.cgi/math/1712989377/447
448: １３２人目の素数さん [] 2024/05/02(木) 17:12:58.70 ID:MGx3IZdS x={x}とか思ってるのは集合の初歩からわかってないド素人だろう http://rio2016.5ch.net/test/read.cgi/math/1712989377/448
450: １３２人目の素数さん [] 2024/05/02(木) 17:29:02.04 ID:MGx3IZdS >>449 >基礎の公理では異なる対象による要素ループはできない 同じ対象による要素ループもできませんが https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 http://rio2016.5ch.net/test/read.cgi/math/1712989377/450
452: １３２人目の素数さん [] 2024/05/02(木) 17:34:52.59 ID:MGx3IZdS >>451 いや、基礎の公理では、そもそも∈の無限降下列を認めてない 整礎性(well-founded)の意味、理解してる？ http://rio2016.5ch.net/test/read.cgi/math/1712989377/452
453: １３２人目の素数さん [] 2024/05/02(木) 17:37:16.74 ID:MGx3IZdS ∈でない二項関係で整礎でないものを考える、というなら別にかまわんが ∈でなければならない、というなら、基礎の公理の否定になる 別に基礎の公理をやめて、その否定にあたる公理を設定しても構わんが それならそれではっきりそう前提する必要がある 分かる？ http://rio2016.5ch.net/test/read.cgi/math/1712989377/453
456: １３２人目の素数さん [] 2024/05/02(木) 17:50:37.51 ID:MGx3IZdS >>454-455 そもそも「シミュレート」っていう必要がない ∈じゃないんだから ☆もGOも師匠のいうことを全面的に受け入れてるわけじゃないから尋ねても無駄だと思う アルゴリズムはループとは別のように思うがよくわからん http://rio2016.5ch.net/test/read.cgi/math/1712989377/456
461: １３２人目の素数さん [] 2024/05/02(木) 19:45:04.84 ID:MGx3IZdS 望月新一の言う種がブルバキの言う構造種だとしても なぜ∈ループなのか、そもそもなぜループなのか、がわからない 別に素人の根拠のない妄想など聞きたいわけではないので 素人はわからないことをまず自覚してわからないといってほしい わからないというのが恥だとかいう馬鹿な考えは捨ててほしい 馬鹿のくせに利口ぶるなど馬鹿の極みだから 皆そう思うだろ？ http://rio2016.5ch.net/test/read.cgi/math/1712989377/461
464: １３２人目の素数さん [] 2024/05/02(木) 20:30:26.84 ID:MGx3IZdS >>463 >何故ループか。それは本人が書いてたよ それ数学として正しいと君確認したの？ http://rio2016.5ch.net/test/read.cgi/math/1712989377/464
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.250s*