[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
134(1): 11/04(火)09:12:20.08 ID:HNB9tftr(1/4) AAS
＞君は日本が侵略されてもよいのかい？
いくらさわいだところで侵略される時はされる
アナトリア半島も、もともとは東ローマ帝国の領土でギリシャ人がいたはずだが
セルジュク・トルコの侵入以降トルコ化してしまった
しかし、中身が変わったわけではない
ギリシャ語話してたヤツの子孫がトルコ語話しだしただけ
日本でも。縄文から弥生への変化はそんな感じ
縄文人の言語と弥生以降の日本語は別物
でも、ヒトが入れ替わったわけではない
171(1): 11/04(火)12:38:28.08 ID:0lysHLYN(10/13) AAS
日本に限らず国家というものは自民族至上主義、差別、排外主義そのものである
だいたい、人類は共通の種であるし、数万年前は同じアフリカにいたのである
たかだか言葉と見かけの違いくらいで「俺が上だ」と言い合うなんてエテ公と同じ
ああ、ヒトは生物学的にエテ公でしたか（笑）
174: 11/04(火)12:40:51.08 ID:0lysHLYN(12/13) AAS
世界中の人がそれぞれ自分の国をなくすように努力するときっといいことがある（笑）
257(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/05(水)11:40:17.08 ID:K/Lr81ky(7/12) AAS
つづき
7. A proof of Fermat’s Last Theorem in PA?
We have founded the whole SGA for arbitrary sites, while individual proofs in number theory use only low degree cohomology of sites close to arithmetic.
Detailed bounds may suffice to get existing proofs into n-order arithmetic for relatively low n, as in Section 3.8.4. That might be a good context for such hard logical analysis as Macintyre (2011) begins for FLT.
More work might bound the constructions within a conservative extension of PA (Takeuti, 1978) to show some existing proof of FLT works essentially in PA.
It might help further reduce the proof to Exponential Function Arithmetic (EFA) as conjectured in (Friedman, 2010).
Such estimates are likely to be difficult.
This is no logical end run around serious arithmetic.
Not motivated by concern with logic, Kisin (2009b) extends and simplifies (Wiles, 1995), generally using geometry less than commutative algebra, visibly reducing the demands on set theory. And Kisin (2009a) completes a different proof of FLT by a strategy of Serre advanced by Khare and Wintenberger.
References
省3
762: 11/11(火)13:35:50.08 ID:bpqvIxBV(2/3) AAS
>>760
>３）なので”ｗｗｗ”は、原始的なアセンブラを読めると自慢するが 高級言語の圏論 どうよとｗｗｗ
また話をずらそうとしてますね
論理式も図式もアセンブラでもなければコンパイラでもありません
>の圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
「矢印図を読む」とは件の文書の当該ヶ所にある可換図がその「矢印図」なのですね？
それを「読む」というのはどういうことですか？
結局の所
>>321
>「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
省2
825(1): 11/12(水)23:52:42.08 ID:mMgxDBn6(2/2) AAS
>>821
層やスキーム論の手前の代数幾何で
標準基底＝グレブナー基底を使って数式処理をすることを挙げた方が・・・
910(1): 死狂幻調教大師S.A.D.@月と六ベンツ 11/14(金)15:31:07.08 ID:x6ZopLho(7/8) AAS
完治したら普通の人になるのはリアルでない。
944: 11/14(金)21:37:32.08 ID:iHfr5kmW(16/26) AAS
もしかしたら森さんは界隈には居ないかも？
でもホントは積極的に発言して欲しいですけどね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.114s*