[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
50(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/02(日)17:24:19.17 ID:PmfdHnoP(5/9) AAS
つづき
Complements
ソロヴェイは論文の中で、非可算基数の使用は必ずしも必要ではないかもしれないと示唆した。
複数の研究者が、非可算基数の存在を仮定することなく、ソロヴェイの結果のより弱いバージョンを証明した。特に、クリヴィン（1969）は、すべての順序数定義可能な実数集合が可測となるZFCモデルが存在することを示し、ソロヴェイは、実数のすべての部分集合にルベーグ測度の並進不変拡張が存在するZF + DCモデルが存在することを示し、シェラ（1984）は、すべての実数集合がベール性を持つモデルが存在することを示した（したがって、この場合、非可算基数は実際には不要である）。
完全集合性の問題は、スペッカー（1957）によって解決されました。
彼は（ZFにおいて）すべての実数集合が完全集合性を持ち、最初の非可算基数ℵ 1 が正則基数である場合、ℵ 1 は構成可能宇宙においてアクセス不可能であることを示しました。ソロベイの結果と組み合わせると、「アクセス不可能基数が存在する」という命題と「ℵ 1 は正則基数である + すべての実数集合は完全集合性を持つ」という命題はZFにおいて等価であることが示されます。[ 1 ] p. 371
Finally, Shelah (1984) showed that consistency of an inaccessible cardinal is also necessary for constructing a model in which all sets of reals are Lebesgue measurable. More precisely he showed that if every Σ13 set of reals is measurable then the first uncountable cardinal ℵ1 is inaccessible in the constructible universe, so that the condition about an inaccessible cardinal cannot be dropped from Solovay's theorem. Shelah also showed that the Σ13 condition is close to the best possible by constructing a model (without using an inaccessible cardinal) in which all Δ13 sets of reals are measurable. See Raisonnier (1984) and Stern (1985) and Miller (1989) for expositions of Shelah's result.
シェラとウッディン (1990) は、超コンパクト基数が存在する場合、 L ( R )内の実数のすべての集合（実数によって生成される構成可能集合）はルベーグ可測であり、ベール性を持つことを示した。これには、あらゆる「reasonably definable」実数集合が含まれる。後に、超コンパクト基数の使用は大幅に弱められ、無限個のウッディン基数と、それらすべてより上に可測基数を持つものだけになることが示された。
(引用終り)
以上
96(1): 11/03(月)22:02:46.17 ID:kWSKSZz3(2/2) AAS
どんなに矛盾を提示しても「それはお前の読み方が悪い」と言われたらどうしようもない。だから数学の世界では本当に曖昧に書かれてる部分の行間がキチンと本当に埋められるのかの慎重な作業が必要でそれを行うのがレフェリーの仕事。レフェリーは論文に存在する曖昧さが一般的な能力を持つ数学者が埋めることができる程度のものであるか確認して、それが不可能とお前ば原則無限に著者に訂正を要求できる最後の砦。そこをprimsが通してしまったんだからもう一般の数学者には粛々と無視する以外の対抗策はない。そもそもそんな恥知らずな行動とる数学者がいるという事を数学界は想定してこなかったんだから仕方ない。
なので例の検証なんぞなんの役にも立たない。あれは「誰も反論できないじゃないか」と数学の世界の事なんも知らんセタみたいなアホを躍らせるためだけの機能しかない
もう数学の世界ではiutなんぞ誰の口にも上らない
終わった話
113(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)07:28:47.17 ID:yzUd5nV9(1/9) AAS
>>110
>>2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
>> ということだった
>2025年3月号のその記事の何ページの何行目に書かれてますでしょう？
ご苦労さまです
いま手元にないので、記憶で書くと
1）池上大祐記事の最後の結論は
フェルマーの最終定理の証明に、将来にわたって
グロタンディーク宇宙なしのZFCだけの証明が可能かどうかは不明
2）現状では、グロタンディーク宇宙を使った
省8
293: 11/05(水)19:49:18.17 ID:3HT78/hG(16/19) AAS
いくつか重複したわ
スレチと重複失礼しました。
少し調べればモンゴル人に対する侵略と民族浄化の虐殺だけでもボロボロ出て来るね。
なんで侵略しないなんて大嘘吐けるんだよ？
南モンゴル人は存在して無いとでも言うのか？
日本語で無責任な言質を書き散らかすな。
アンタが日本人だなんて誰も思っちゃ居無いだろうがな。
329(5): 11/06(木)06:04:31.17 ID:yNffKouK(8/12) AAS
御免、328の文章間違った（笑）
正しくは以下
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」
この否定は
「ある特定のXがいて、任意のYに対して、XがYを●●するのは、YがYを●●しないときそのときに限る」
ここで、YがXだとすると、
「XがXを●●するとのは、XがXを●●しないときそのときに限る」
となって矛盾する
要するに、ラッセルパラドックスとは
「一階述語論理における、基本的な定理の否定文」
省4
392: 11/06(木)18:44:35.17 ID:yNffKouK(12/12) AAS
>>391のつづき
東南アジアには、縄文時代人の系統と同じくらいか、あるいはもっと古い時代に出アフリカした系統の子孫であろうと考えられている
「ネグリト」と呼ばれる集団がいる。ルソン島、ミンダナオ島、パラワン島、マレーシア半島、アンダマン諸島と、
散在的な分布をしていることも、彼らの祖先がきわめて古い時代に拡散移住をしたことをうかがわせる。
筆者らのグループが、すでに発表されていたアジア集団の5万個のSNP座位データを解析したところ、
フィリピン諸島のネグリトとマレーシア半島のネグリトは、地理的および遺伝的な距離は遠いものの、
近隣ネット法を用いると、これら2集団とメラネシア人およびインドネシア東部のアロレス島人が共通性を持っていることが示された
この共通性は、遠い過去に祖先集団を共有していた可能性を示唆している。
468: 11/08(土)06:12:12.17 ID:3nB+TfKS(4/11) AAS
＞所詮、日本は
＞非インド・ヨーロッパ系言語を話し
＞非キリスト教を信仰する
＞非コーカソイドが済む
＞という中国・朝鮮・東南アジア地域同様の「三非」最後進地域
まあ、これは実はヨーロッパ至上主義に対する当てこすりである（笑）
そもそもヨーロッパは先進地域ではなかった
数が発明されたのはメソポタミアやエジプトであって、ヨーロッパではない
今の記数法や筆算法が発明されたのもインドであって、ヨーロッパではない
それらを保護し伝えたのはイスラム教徒であって、キリスト教徒ではない
省4
487: 11/08(土)10:02:37.17 ID:fkQlO+Il(3/3) AAS
というすりかえ
513(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)16:42:37.17 ID:P9qVEF++(12/25) AAS
>>492 補足
背理法とベン図 及び 背理法の使いどき 下記
『ただ1通りに表される vs 2通りの表し方がある』は、手筋です
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
ove********さん 2013/1/4
背理法ってベン図かなにかで可視化できませんか？
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
ove********さん 2013/1/4
なぜp⇒qという命題の背理法では結論を否定して矛盾を見つけるんですか？
ベストアンサー
省13
661(1): 11/09(日)18:00:51.17 ID:CA6TFgJW(39/64) AAS
>>651
核兵器があれば必ず使う
つまり核戦争が必ず起きる
そして人類絶滅
人類ってバカだったんですね（笑）・・・ふぅ（溜息）
670(1): 11/09(日)18:37:01.17 ID:wauc0h2b(36/42) AAS
>>661
>核兵器があれば必ず使う
どんな理論？ なんで唯一の例外アメ公以外は使わんの？
692(1): 11/09(日)19:28:33.17 ID:Gd/zJ3yt(6/9) AAS
今回のはついうっかり見つけにくいミスをレフェリーが見逃したとかではなく、査読時点ですでに基礎論上の疑義がでていて、しかもその情報が編集委員にも伝えられていたのにも関わらず、それをガン無視して発生してしまった事象やからな。
もうprimsが信頼をとり戻せる事はないように思う。数学雑誌の査読システムは数学界の発展のためにすごく重要。今日の数学界では最先端の研究を全ジャンルにわたって詳しく精通するなどというのはほとんど無理ゲー、だから他の研究者が研究してくれた“結果だけを”美味しくいただくというのがある意味仕方ないところがある。しかしそれもコレも最低限査読付き論文雑誌に掲載された論文は厳しく精査されててコレはまず間違いがないと信頼できる事が大切。それが信頼できなくては自分が引用する全ての論文の証明を疑ってかからないといけなくなる。もちろんそんな事不可能
だから頑張って数学界は査読論文のシステムを作ってきたのにその信頼のネットワークの信頼を傷つけてしまった。もうprimsはこの信頼ネットワークからハブられる事になるやろ。てか実際そういう話もう出てるみたいやからな。
pりmsの運営費がどれくらいか知らんけど年間数千万のオーダー入ってるやろ。もう廃刊した方がいいんやろなとは思う。続けても信頼は戻る事はないし。
782(1): 11/11(火)21:22:41.17 ID:rZBZzvXB(6/10) AAS
＞まず、手元に ハーツホーンの本をおいて、眺めてみなよ
＞でなハーツホーンの章立てと、後の索引を見てみな
＞その上で、”パラリ、パラリ”と ページをめくりなよ・・、1ページずつよ・・
＞いま おれがやっているように・・ さ
キミ、代数学の基本定理 (Fundamental Theorem of Algebra)という単語だけを
何も考えずに探してる？それじゃ絶対に見つからないと断言するよ
「Chapter II.5–6：線束、切断、チャーン類。CP^1 上の O(n) の大域切断＝多項式。」
意味わかる？わかんないならハーツホーン読んでも無駄だから、即古本屋に売りな
っていうか、君大学レベルの数学書読んでも一字も理解できないから 即古本屋に売りな
そして数学のことはきれいさっぱりわすれな
省1
938: 11/14(金)21:27:44.17 ID:iHfr5kmW(12/26) AAS
望月さんからはIUTの宇宙はグロタンディーク宇宙のことだと否定されたそうですが（どこで？）
この2人の認識の齟齬はどこから来てるんでしょう？
特に
加藤さんはIUTに関する本を書いているわけですから
齟齬が有るとなると問題にはならないんですかね？
939: 11/14(金)21:28:17.17 ID:iHfr5kmW(13/26) AAS
>>937
あなたの受け止めをお聞きしたいので
あなたのことをご本人と書きましたよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.089s