[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
197(2): 2022/04/10(日)23:45:08.39 ID:t7y8SMTE(1) AAS
実際のところこの理論ってどのくらいトンデモ濃厚なの？
なろう小説にこれ使いたいんだけどトンデモ扱いの匙加減がわからないｗ
296(1): 2022/04/13(水)22:26:05.39 ID:Rc89kUiv(1/3) AAS
>>293
山形というキーワードに執拗に食い下がるのは山形の人の目印
普通の人は、匿名掲示板でわざわざ大学名を否定するほど大学名にはこだわらないし、自身の身元についてくどくどとした言い訳はしない
毎回毎回同じような言い訳を必死でするのは図星の証拠
341(3): 2022/04/16(土)23:00:36.39 ID:xPeY2UXB(1) AAS
まぁあれは苦し紛れの言い訳に近いな
等号原理を認めるか認めないかの話に見せかけて言い訳してるに近い
等号原理を外した論理体系でないと著しく記述が困難になるという状況からそもそも疑わしいけど、仮にそうなんだとして、だったら等号原理外した論理体系、言語体系は何を持ってくるのか、それは既存の数学の言い替えに過ぎないと言っていいものなのかどうかの議論がなければ意味ない
そしてそんな議論はiut論文ではなされてない、ならばもうその時点で論文としてアウト、そんな問題があるという自覚があるならホントは論文撤回してその検証始めないといけないはずなのにそれもしない
もう何やってんだか理解不能
363: 2022/04/17(日)17:05:37.39 AAS
>>360
＞ ”数理論理”さんって呼ばれた人
対偶も理解できずに、高校中退したせいで、数理論理に恨みがあるみたいね
でも恨むんなら自分のオツムを恨みなよ
いくらキーワード検索してコピペしても数学は理解できないよ
いかなる射影系かも全く理解しないで勝手に
「ボクの考える射影極限」とかでっち上げても
省2
535(1): 2022/04/23(土)20:51:35.39 ID:MU2asfqc(19/24) AAS
>>534
つづき
外部ﾘﾝｸ:ja.wikipedia.org
強制法
強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。
直観的意味合い
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。
省6
602: 2022/04/25(月)18:53:23.39 ID:dEPbEFyi(1) AAS
exp(πiτ)やろ
605(2): 2022/04/26(火)07:58:20.39 ID:n8Wwiz6U(1/3) AAS
>>590-596 補足
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
>過去と現在の研究の報告 (2008-03-25 現在）望月
これは、2008年ですから、IUTを支える準備論文の部分です
これだけ膨大な準備論文の上に、IUTの4編の論文が700ページ！
NHKスペシャルで、Dupuy氏「これは微分積分の発明や重力の発見にも匹敵する革命」（下記）という形容が
誇張でもなんでもないという気が、してきました
省4
624(6): 2022/04/26(火)16:04:22.39 ID:Vj3hNRqz(1/6) AAS
>>611
スレ主です
こらこら、このスレで名前の議論はするな！
繰り返すなら、運営に荒らしとして通報するぞ
最悪、長期アク禁か、浪人BAN（焼き）か、だろうね
分かりましたか？ ID:veXEGJzfさん
で、本題
省12
779: 2022/04/30(土)09:34:49.39 AAS
>>777
＞個人的には努力が足りないと思う
そう思うのに、
「IUTは正しい筈」（キリッ）
と思う下げマスはやっぱ気ぃ狂っとる
理解させる努力が足りないんやない
自分の考えを見直す努力が足りないんや
省9
809(1): 2022/04/30(土)13:40:08.39 ID:8LN5B5tH(2/2) AAS
>>805
そもそも考え方自体がDXが分からない世代とは大きく異なるんだろう
今回の例で言えば、認識論の違いとかそういう話より、「メールでも言いたいことを伝えることができる(数学の証明はコンピュータでも出来る)」という側と、「手紙には情緒があり、理解するのに修行が必要である(数学の証明はコンピュータでできる性質のものではない)」の違いだろうな
SSは前者の考え方を伝えるのを諦めて、後者に寄り添い、その上で「基本群の同型は元の双曲線の同型に統制されるという単純化」を説明したという流れだろう
901(1): 2022/05/03(火)22:31:16.39 ID:tW03F0xO(12/13) AAS
>>897
>ファルティングスの論文は読みにくいものなのか？
本当にそうかは知らない
下記は別の例だが
"[V1] はとても読みにくい論文である"
”まだまだ発展途上であったし、現在では考えられないよ
うな間違いも含まれていた”
省23
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s