[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
754(1): 01/17(土)01:02 ID:9IhRhgwL(1/6) AAS
>>301
>タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
「だから」の前が後ろの理由になっていない。
一階述語論理は決定不能。一階述語論理は完全かつ健全だが、一階の理論はそうとは限らない。
755: 01/17(土)01:05 ID:9zDaTgPe(5/24) AAS
>>753
>id:IbH21JXT
IUTは本人しか理解できないといってるが、ご本人ですか？
756: 01/17(土)01:22 ID:9zDaTgPe(6/24) AAS
>>754
はい
実閉体の条件が必要です
757(1): 01/17(土)01:26 ID:9IhRhgwL(2/6) AAS
いや、だから、「だから」の前後が論理的につながってないと
758: 01/17(土)01:30 ID:9zDaTgPe(7/24) AAS
>>757
具体的には？
759: 01/17(土)01:31 ID:9IhRhgwL(3/6) AAS
具体的も何もなくて、だからの前が後ろの理由になってない、それがすべて
日本語わかる？
760(1): 01/17(土)01:32 ID:9IhRhgwL(4/6) AAS
逆に聞くけど、なんでだからの前が後ろの理由になってるかを説明してみて
761: 01/17(土)01:48 ID:9zDaTgPe(8/24) AAS
>>760
タルスキの実閉体わかります？
762: 01/17(土)02:04 ID:9IhRhgwL(5/6) AAS
「タルスキの実閉体（Tarski's real closed field）」とは、数学者タルスキがモデル理論（特に量化子消去）の観点から研究し、その理論が完全性と決定可能性を持つことを証明した、実数の性質を記述する一階論理の理論体系のことです。
完全性、決定可能性はこの理論の特性であって、
>1階述語論理だから
ではないと言ってるんだけど
763(1): 01/17(土)02:34 ID:9zDaTgPe(9/24) AAS
検索したら、
アルフレッド・タルスキは、一階述語論理（一階論理）の枠組みでユークリッド幾何学を公理化（一階幾何）し、その体系が完全かつ決定可能であることを証明したことで知られています。
タルスキと一階述語論理 真理概念の定義: タルスキは形式言語（特に一階述語論理の言語）における「真理」の概念を厳密に定義する「意味論的真理説」を提唱しました。これは現代論理学の基礎の一つとなっています。
意味論の基礎: 現在の論理学の授業で学ばれる「タルスキ・モデル」は、彼の真理定義の考え方を基にしており、一階述語論理の意味論に不可欠なものです。
タルスキと一階幾何（初等幾何学）
公理系の構築: タルスキは1926年頃に、ユークリッド幾何学を集合論的な概念を導入せずに、純粋に一階述語論理の言語のみで記述できる公理系を考案しました。
原始概念: この公理系では、「点」のみを個体変数とし、原始述語として「3点間の介在関係 (betweenness)」と「2つの線分の合同関係 (congruence of segments)」の2つのみを用います。
重要な成果: タルスキは、自身の一階幾何の公理系が以下の重要な特性を持つことを証明しました:
無矛盾性: 矛盾を含まない。
完全性: その言語で表現できる任意の命題が、公理系から証明されるか、あるいはその否定が証明されるかのどちらかである。
省3
764: 01/17(土)03:19 ID:9IhRhgwL(6/6) AAS
>タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
は「一階理論は必ず完全.無矛盾」という誤解を生みかねないのが気に入らないだけ。
>タルスキの公理系によって示された通りユークリッド幾何学の一階理論は完全.無矛盾.実閉体の条件で決定可能だ。
の方が良いように思う。
ちなみに健全て本当？（健全⇒無矛盾は言えるが逆は言えない）
765: 01/17(土)05:00 ID:9zDaTgPe(10/24) AAS
>>763
続き
・タルスキは一階述語論理という論理的枠組みを用いて、実閉体という代数的構造がユークリッド幾何学の性質を完全に捉えており、さらにその理論がアルゴリズム的に解決可能であるという驚くべき事実を証明したのです。
・健全性・完全性・決定可能性のセット 。
タルスキは、自身の公理系において単に健全性だけでなく、健全性・完全性・決定可能性を証明しました。
つまり、タルスキの公理系において「正しい（真）」と直観的に思えることは、すべて形式的に「証明」でき、その逆（証明できれば正しい）もまた成り立つという、非常に強力で美しい基礎付けがなされています。
4. 補足：ヒルベルト公理系との違い
タルスキの公理系はヒルベルトの公理系と異なり、一階述語論理（First-order logic）で定式化されているため、完全性や決定可能性といったメタ数学的な性質が保証されています。
766(4): 01/17(土)06:04 ID:v0wV1g1P(1) AAS
おっすオラオカルトマニア！ 君等Physical Review Lettersに載ったこれ読んだ？
外部ﾘﾝｸ:journals.aps.org
これの示す内容は元の量子情報に対して暗号化拡張を施すことで、実質的に元の量子情報と同じコア情報を持つ情報を作り、量子複製不可能定理を克服するって論文だよな
つまり何が言いたいかっていうと、俺が以前から指摘していた行列の話になるけど
これら元の行列と境界暗号化拡張行列の間には
行列サイズが違い、固有値も異なる行列なのに、コア情報が同一な充満多重同型的な関係性があるってことになる
以前ここに書いていた、ランク1密度行列の最外殻情報からのコア情報の復元のLEAN4も完成したし
この論文と100%確実に関係があると俺は判断した
やっぱりIUTは正しいよ
767: 01/17(土)11:13 ID:9zDaTgPe(11/24) AAS
論文の内容は、
コピーできない量子情報を“暗号化して複製”：量子技術の根本的制約を矛盾なく乗り越える新手法
〜量子複製禁止定理と矛盾しない“暗号化クローン”生成プロトコルの開発に成功〜
ですね。
768: 01/17(土)11:17 ID:9zDaTgPe(12/24) AAS
外部ﾘﾝｸ:www.kyushu-u.ac.jp
769(2): 01/17(土)11:56 ID:4L0ElCbn(1/10) AAS
>>752
iutの根幹であるfunctorial algorithmが
本当に数学になっているかという問題があって
望月側の主張ではspeciesの理論で正当化できることになってる
（望月レポート「Rpt2018」及び山下サーベイのRemark 3.4.4.）
dupuyはこれを認めてないけどモデル理論のinterpretationで
正当化できるかもと言ってて
現時点で出来るところと出来てないところを明確にしてる
（dupuy論文のほかiugc conferenceの講演スライド）
これは完全に真っ当な数学
省1
770(1): 01/17(土)12:00 ID:FwKm4A4e(1) AAS
>>769
論点がはっきりしてきたようで
好ましい
771(1): 01/17(土)12:30 ID:9zDaTgPe(13/24) AAS
>>769->770
2019年4月発刊の望月新一監修加藤文元著宇宙と宇宙をつなぐ数学は
scholze stixレポートへの回答で
2021年IUTの拡がり(望月新一委員長)
の公式HPに記載された公式本。
・
p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
省14
772: 01/17(土)12:38 ID:9zDaTgPe(14/24) AAS
数学とIUTを混同しながら
数学を破壊するアンチ数学の動きか？
2030ICMに日本が立候補するために
IUTが数学でないと困るからだろうw
773: 01/17(土)12:44 ID:j9LyAEqT(1) AAS
もとから iut の問題点なんかはっきりしてる。
現時点で世界中のだれも述語論理をもちいた形式化に成功できないこと。
フィールズ賞数学者でさえペンローズの階段のように「こちらを立てればこちらが立たず」のような状態で論文全体で通ずる解釈ができないと断じ、数学史に名を連ねることになるであろう師匠にも投げ出された状態
もう様子見の段階など遠にすぎた。形式化不可能と断じていい段階。
本人もそれをわかってるから Lean で形式化できることを証明するプロジェクトはやらない理由をあーだこーだあげつらってる状態。
もう終わってるよ。終わってるのをみとめられない信者がグダグダいってるだけ。
774(1): 01/17(土)13:12 ID:4L0ElCbn(2/10) AAS
>>771
数学者個人がiutに本質的なアイディアがあると信じて
それを真っ当な数学にしようと努力することに
なんの問題があるわけ？
坊主憎けりゃ袈裟まで憎いってか
775(1): 01/17(土)13:18 ID:9zDaTgPe(15/24) AAS
>>774
トンデモから数学は生まれない
776: 01/17(土)13:21 ID:9zDaTgPe(16/24) AAS
モデル理論はタルスキからw
777(1): 01/17(土)13:28 ID:4L0ElCbn(3/10) AAS
>>775 幾らでも生まれるよ
あんた数学をなんも知らんでしょ
トンデモ夢物語からアイディアを得るなんてゴマンとある
経路積分とか、量子場の理論とか、一元体とかetc etc
グロモフとかウィッテンといったビジョナリーだっている
778: 01/17(土)13:30 ID:4L0ElCbn(4/10) AAS
いずれにせよ
個人がそれに賭けることに
批難すべき点は一切ない
779(1): 01/17(土)13:34 ID:9zDaTgPe(17/24) AAS
>経路積分とか、量子場の理論とか、
これトンデモでなく物理だ
IUT信奉者あちらのcultスレへいけよ
780: 01/17(土)13:41 ID:9zDaTgPe(18/24) AAS
>>2
781(2): 01/17(土)13:56 ID:4L0ElCbn(5/10) AAS
>>779 じゃあ一元体は？
経路積分だって数学としてはトンデモだろ
俺はiut信奉者でも何でもないけど
信奉者がいても全く問題ないと思ってるよ
数学は自由だから
ただしウソはいかん
トンデモだって切り捨てる方が反数学的
思想警察は数学板から出てけよ
782(1): 01/17(土)14:00 ID:9zDaTgPe(19/24) AAS
>>781
>経路積分だって数学としてはトンデモだろ
間違い
783(1): 01/17(土)14:13 ID:4L0ElCbn(6/10) AAS
>>782 じゃあどうやって数学的に実現すんの？
だいたいmotivだろうがmonstrous moonshineだろうがetc etc
実現するまでは夢物語だったんだから
現時点でトンデモであることが
研究価値がないことを意味しないのは明らかだ
784: 01/17(土)14:27 ID:9zDaTgPe(20/24) AAS
>>783
トンデモくん
検索してみたら
785: 01/17(土)14:55 ID:4L0ElCbn(7/10) AAS
はいはい、逃げたね
ついでに一元体についてもお願い
786(1): 01/17(土)15:12 ID:4L0ElCbn(8/10) AAS
おまえひょっとして（しなくとも？）応援スレ79で
嘘ばっか吐いて証拠を要求されたら
＞じゃあまっとけや
＞あさってくるわ
って言って帰ってこなかったヤツだろｗ
2chｽﾚ:math
787: 01/17(土)15:24 ID:9zDaTgPe(21/24) AAS
>>786
トンデモくん
人違いだけど
やっぱりIUT信奉者じゃん
788(4): 01/17(土)15:35 ID:4L0ElCbn(9/10) AAS
あそ、嘘吐きと同一視したことは悪かったな
しかし引用先で嘘吐きを叩いてるのがiut信奉者に
見えるってんのならお前の妄想だろうな
あと経路積分や一元体が数学として成立してるって
主張に挙証責任があるのはお前だから
＞検索してみたら
は答えになってねーよ
789: 01/17(土)15:47 ID:9zDaTgPe(22/24) AAS
IUT応援スレはIUT信奉者のスレッド
>>62
レス>19
前スレ58
0871 １３２人目の素数さん
2025/11/07(金) 13:13:47.33
IUTは数学ではありません。
省25
790: 01/17(土)15:52 ID:9zDaTgPe(23/24) AAS
>>788
トンデモ対嘘つきということ？
まあ あちらでどうぞ
791: 01/17(土)17:16 ID:4L0ElCbn(10/10) AAS
結局、経路積分や一元体が数学として成立してるって証拠はないんだな
成立してないもんな
同様にiutが成立してなくても即無価値ということにはならないわな
少なくともdupuyのやってることには十分に意味があるよ
標準的なモデル理論に収まってるから
792: 01/17(土)17:37 ID:9zDaTgPe(24/24) AAS
>>777
>トンデモ夢物語からアイディアを得るなんてゴマンとある
経路積分とか、量子場の理論とか、
一元体とか
経路積分や場の量子論や試論の
一元体もトンデモ夢物語かw
793: 01/17(土)18:38 ID:o/sU07if(1) AAS
>>781
>一元体は？
ダメかもね
794: 01/17(土)22:30 ID:vuIoZZO6(1) AAS
非ユークリッド幾何が成立可能な幾何学
であることを見いだしたガウスは、この
世界は大きなスケールでは実際に非ユー
クリッド空間なのではないだろうかと
思ったのかどうなのか、地球上の大きな
三角形の内角の和を測量で計って誤差の
範囲で2直角であることと矛盾しないと
いうような測定結果を得ていたようだった
が（しかしそれは光の経路が直線である
ということを暗黙に前提としている）。
795: 01/17(土)22:58 ID:Vx9NHU6o(1) AAS
伝説
796: 01/18(日)03:22 ID:8XLu/h16(1/6) AAS
おっすオラオカルトマニア！
>>766で書いた、ランク1密度行列の最外殻情報からのコア情報の一意復元のLEAN4置いておく
外部ﾘﾝｸ:ideone.com
これと>>766の論文を組み合わせて考察してみてってAIに頼むとなかなかに面白いよ
2つとも読ませて考察させたあとに、
「これら理論は、違うサイズ、違う固有値の行列が実質的に同じ情報を持ち得るということを示しており、私はそれら行列が望月新一のIUTに則り充満多重同型であると考えますがいかがですか？」
って聞いてみるとさらに面白い
797: 01/18(日)05:14 ID:8XLu/h16(2/6) AAS
ランク1密度行列の復元定理の、IUT同型(これを作ったCHATGPT5は充満多重同型って使いたがらないんだよね)まで言及した別ver
外部ﾘﾝｸ:ideone.com
def IUTIso := ...
theorem IUTIso_implies_equal
これは 圏論的に言えば：
情報忘却関手がrank-one 圏では忠実かつ充満という主張らしい
・通常のIUT: 異なる数学的宇宙（舞台）の間で、特定の対称性（リンク）を通して情報を復元する。
・このコード: 異なる BQState（内部ベクトル u,vは不可視＝別宇宙）の間で、境界 BoundaryCol（リンク）を通して全体 DensityMatrix を復元する。
・BoundaryCol は「テータリンク」の抽象化である
コード内の以下の部分は、単なる「列の一致」以上の意味を持ちます。
省12
798: 01/18(日)05:25 ID:TW9sDGRp(1/6) AAS
論文にかいてある証明と Lean のコード全然ちがうやん？
なにこれ？
799: 01/18(日)05:41 ID:TW9sDGRp(2/6) AAS
論文では Pauli operator というのをつかって unitary encrypted cloning operation なるものを構成してその Unitary Operator の full full quantum capacity を計算すると 1 になるという事を示してるらしい。それが物理的に何意味してるのかはさっぱりわからんけど Lean code にはそんなもん全然でてこないし、逆に Lean code のほうには論文に全然でてこない境界一致がどうとか何にも関係ない話でてくるし
はったりなん？
800: 01/18(日)05:50 ID:8XLu/h16(3/6) AAS
え？>>766の論文をlean4化したなんて書いたっけ俺
あくまでも>>766で書いた、ランク1密度行列の最外殻情報からのコア情報の一意復元のLEAN4置いておく
なんだけど？
801: 01/18(日)05:54 ID:TW9sDGRp(3/6) AAS
これはあかん
意図的にミスリーディング狙ってるとしか思えない
802: 01/18(日)05:55 ID:TW9sDGRp(4/6) AAS
やっぱり信者こんなんしかおらん
803: 01/18(日)05:56 ID:8XLu/h16(4/6) AAS
何もミスリードなんて狙ってないよ、そのまま書いてあるじゃん
804: 01/18(日)05:58 ID:TW9sDGRp(5/6) AAS
理系の議論の掲示板で>>766みたいな書き込みしといてそれは通らん
805: 01/18(日)05:58 ID:8XLu/h16(5/6) AAS
日本語が読めないんだね
806: 01/18(日)05:59 ID:TW9sDGRp(6/6) AAS
最後はそれか
信者はこんなもん
807(2): 01/18(日)06:01 ID:8XLu/h16(6/6) AAS
だってそうとしか言いようがないからなぁ
読解力の致命的不足って言っても似たようなものだしな
どこをどう読んだら>>766をLEAN4で証明したよ！になるの？
808: 01/18(日)06:19 ID:TObj6Lbk(1/3) AAS
>コア情報が同一な充満多重同型的な関係性がある
これをどう解釈するかの問題か
809(1): 01/18(日)06:23 ID:LoyH/IsD(1/2) AAS
一人だけでは問題ないが、大勢の人が AI を使用すると
AI の使用には大量の電力を要する
一人だけでは問題ないが、大勢の人が AI を使用すると、
AI の維持には AI 使用後に AI 機器のセンターにある
サーバー冷却のため大量の水を要し、水の枯渇につながる
重要なのは AI の CPU に使われる半導体やハードウェアは東アジアが主な産地で、
東アジアにある AI の生産地の電力の主な発電法は石炭や石油などで火力発電である
その東アジアの半導体の製造のときに使われる
主に火力発電による大量の電力により大量の二酸化炭素が排出される
そのような訳で、AI を使用し過ぎることは
省6
810: 01/18(日)06:32 ID:LoyH/IsD(2/2) AAS
AI への過度な依存の裏では、地球規模の環境負荷につながるようだ
夏の気温が異常なほど高温になることには、そういう影響もあるのだろう
811: 01/18(日)09:08 ID:yI9bdJw8(1) AAS
>>807
君はzen大学の懸賞には応募しないの？
812(1): 01/18(日)21:47 ID:RWIh4tnc(1/3) AAS
・zen大学関連は勧めない。
理由は(>>36)より。
受賞基準も不明確で、
IUTは川上量生企画望月新一監修加藤文元著宇宙と宇宙をつなぐ数学とNHKスペシャルによれば、既に間違ってすらいない全く新しい未完成の理論と結論が出ている。
813(1): 01/18(日)22:06 ID:TObj6Lbk(2/3) AAS
浙江大学がランキングで
一位
814: 01/18(日)23:01 ID:RWIh4tnc(2/3) AAS
量子情報とIUTの関連はfesenkoや望月新一教授が述べていて、
数学の足し算掛け算にも量子力学にも通じると自称する万物の理論.「緩み=不定性」→IUTの不確定性原理とやらがある。(>>16)
・編集委員会の委員長が望月新一教授だから投稿先が京大PRIMSならどうだろう、望月新一語で書かれたIUT論文に準じ論理的には受理されるかも？w
・とまれIUTはleanの検証以前に破綻しているけど、オカルトマニア氏の例は興味深いと思うし一般的にAIもleanも万能ではない
815(1): 01/18(日)23:04 ID:TObj6Lbk(3/3) AAS
蔵前国技館に昭和天皇が初めてご来館された昭和３０年夏場所１０日目の天覧相撲以降、
平成、令和で横綱、大関総崩れは初めて。国技館での天覧相撲の
横綱、大関総崩れも初めてとなった。
前回の令和２年初場所１４日目の天覧相撲では、
白鵬と鶴竜の両横綱が休場。貴景勝、豪栄道の２大関は共に敗れている。
816(1): 01/18(日)23:10 ID:1kV8Y1qS(1) AAS
>>812
>既に間違ってすらいない全く新しい未完成の理論と結論が出ている。
いません
817: 01/18(日)23:18 ID:NKjZsad9(1/2) AAS
述語論理で構成された理論なら lean で検証可能
lean に載らないならもう推論則レベルで現代数学の取り決めに則っていない
818: 01/18(日)23:20 ID:NKjZsad9(2/2) AAS
lean は自然演繹(NJ)+排中律を用いた議論を全て表現できる。
819(1): 01/18(日)23:25 ID:RWIh4tnc(3/3) AAS
>>816
ほれ
>>27
820(2): 01/19(月)00:14 ID:kMiUeGrX(1) AAS
>>819
あほだな
その人の言ってうことを否定したいのに
その人の言ってることを援用してどうするかな
821: 01/19(月)00:21 ID:B6hLN+6I(1/9) AAS
>>820
バカだな
IUT理論は望月新一語でかかれている。
これは事実だ。
822: 01/19(月)00:26 ID:B6hLN+6I(2/9) AAS
>>815
>id:TObj6Lbk
荒らしはおやめください
以前質問しましたが
>投稿先が京大PRIMSならどうだろう、
望月新一語で書かれたIUT論文に準じ論理的には受理されるかも？w
省1
823(1): 01/19(月)05:46 ID:NbPXkfFs(1/5) AAS
>望月新一語で書かれたIUT論文に準じ
編集部はそこまで馬鹿ではない
824(1): 01/19(月)07:18 ID:hrVOZ8VY(1/3) AAS
>>820はもっともな意見だな
だいたい俺は本読んでねーけど
コピペ君は加藤の意見・見解を望月のと混ぜるのやめよーや
本に書かれてる意見・見解は著者独自のものであって
監修者が同意してる理由なんてねーから
監修者は意見・見解の指導する立場にないし
「パラダイムシフト」なんて
「理解者」認定（ｗ）も受けてない取り巻きがフカしてるだけ
本人は標準的を繰り返してるし
茶番劇の本筋とは全く関係ない
825: 01/19(月)07:23 ID:NbPXkfFs(2/5) AAS
今年のnewsmakerは誰だろう
826(1): 01/19(月)07:25 ID:B6hLN+6I(3/9) AAS
>>824
>だいたい俺は本読んでねーけど
望月新一の意見も読んでないんだな
827: 01/19(月)07:30 ID:B6hLN+6I(4/9) AAS
>>823
>編集部はそこまで馬鹿ではない
全く新しい理論といいながら
IUT論文を受理した編集部は馬鹿
828(1): 01/19(月)07:43 ID:B6hLN+6I(5/9) AAS
IUT論文の受理はインチキだし
過去の事実資料をもみ消しいらしい
IUTTの検証.進捗情報の報告
2014年12月現在
京大数理解析研究所教授.望月新一
も読んでいないな
829: 01/19(月)07:45 ID:B6hLN+6I(6/9) AAS
>>828
×もみ消しいらしい ⚪︎もみ消したいらしい
830: 01/19(月)08:28 ID:NbPXkfFs(3/5) AAS
新しいnewsmakerに登場してほしい
831(1): 01/19(月)08:33 ID:hrVOZ8VY(2/3) AAS
>>826
で望月本人が「パラダイムシフト」なんて言ってんの？
832: 01/19(月)08:39 ID:B6hLN+6I(7/9) AAS
id:NbPXkfFsの新しいnewsmakerに登場してほしい
= IUT論文の受理はインチキや
過去の事実資料をもみ消してほしい
833: 01/19(月)08:40 ID:NbPXkfFs(4/5) AAS
去年阪大から来た人が
好んでよく使う
834(1): 01/19(月)08:45 ID:B6hLN+6I(8/9) AAS
>>831
過去の事実資料をもみ消しくんは
読んでいないのに 罵倒はおやめください
835(1): 01/19(月)08:47 ID:hrVOZ8VY(3/3) AAS
>>834
で望月本人が「パラダイムシフト」なんて言ってんの？
もみ消すも何もどこで言ってんの？
証拠がなけりゃもみ消しようもねえじゃねえか
836: 01/19(月)08:48 ID:B6hLN+6I(9/9) AAS
>>835
ハイハイ まず読め
837(1): 01/19(月)08:58 ID:NbPXkfFs(5/5) AAS
読むことすら時間の無駄である
838(1): 01/19(月)16:16 ID:tBWg6lZj(1) AAS
パラダイム(paradigm)の語源はギリシャ語のπαράδειγμαで型、様式、パターンの意味である
839: 01/20(火)01:43 ID:hiKaCDYA(1/4) AAS
>>813
誰が決めたの？偏差値は？
中共は天安門事件で重力賞の方励之を弾圧した。
840: 01/20(火)01:46 ID:hiKaCDYA(2/4) AAS
>>837
IUT論文について
論文は理解できなかった。
自分の研究に時間を割くことにした
by ゲルトファルディング
望月新一教授の指導教授
841(1): 01/20(火)07:28 ID:hiKaCDYA(3/4) AAS
>>807
オカルトマニアさん
量子複製不可能定理は物理の現象だね。
数学でなく量子測定理論だ。
・量子複製不可能定理や不確定性原理の
量子力学.量子情報はシュレジンガーの方程式とフーリエ変換による。
ここで量子複製不可能定理は暗号のノイズ.量子ゆらぎを使いno-go定理を克服
する。
不確定性原理は(量子ゆらぎ+測定誤差)の分解より小澤不等式になどなる。
素粒子物理のゲージ変換とsusyの関係と同様だ。
842: 01/20(火)07:49 ID:hiKaCDYA(4/4) AAS
>>841
小澤不等式になどなる
→小澤不等式などになる。
一ノ瀬氏による測度からの経路積分
やアティヤの位相的場の量子論は
数学
843: 01/21(水)08:29 ID:51vRMucj(1) AAS
>>838
トマスクーンのパラダイム
・パラダイム p59
「数学はどのようにして「進歩」するのでしょうか？
そこにはトマスクーンが言うように 「通常科学」の中で連続的・累積的に 積み重なる新しさと、「パラダイム シフト」によって生じる新しさの 二種類があります」
「通常科学とは、トマスクーン
「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、
一つのパラダイム(時代や科学の各分野における支配的な研究上の規範、視点、 枠組みなどの意味)や様式に基づいた 科学活動のことであり、 パラダイムから与えられる問題や 解き方などの指針に基づいて研究を 進める状態のことをいいます。
これに対する状態は、「科学革命」期あるいは「パラダイムシフト」と
省2
844: 01/21(水)08:47 ID:sp1IiiJJ(1) AAS
信奉者はまだいるのか
845: 01/21(水)08:56 ID:zgFefI40(1) AAS
カルトってこんなもん
846: 01/22(木)23:05 ID:znNhcXMj(1/4) AAS
2030ICM。
Prof. Shing-Tung Yau:
ICM 2030 to inspire China's world-class
math students
京大発のトンデモIUTにヤウの母国中国も汚染地区だろうに
847: 01/22(木)23:07 ID:znNhcXMj(2/4) AAS
動画ﾘﾝｸ[YouTube]
848(1): 01/22(木)23:12 ID:znNhcXMj(3/4) AAS
・ヤウは弟子らがポアンカレ予想の最終解決はグロモフの証明でなく自分らとの主張.を援護した。
2006年グロモフ証明は査読検証より確定
・京大数理研はIUT論文が受理される前から公文書でIUTの構築よりabc予想は解決したと公言した.これは特例扱い。
森重文京大教授も中島啓京大特任教授もIMUの元総裁と現総裁。
日中ともに数学証明は政治力
で決まるらしい
とまれ UKも立候補していた！
849(1): 01/22(木)23:16 ID:znNhcXMj(4/4) AAS
外部ﾘﾝｸ[pdf]:www.gla.ac.uk
850(1): 01/23(金)00:29 ID:KwalY5E+(1/2) AAS
>>849
グラスゴー大学数学・統計学部 2025年秋学期
グラスゴー ICM2030 立候補
ブレンダン・オーエンズ
2030年にグラスゴーで開催される国際数学者会議（ICM）およびそれに伴う総会（ダブリン開催）の開催地として、11月19日に正式に立候補が提出されました。
立候補委員会には、ダミアン・グヴィルツ＝チェン、アナ・レクオナ、ブレンダン・オーエンズ、イアン・ストラチャン、ティファニー・フラール、アンディ・ワンド、マイケル・ウェミス、そして本学以外の委員が含まれています。
世界中から5,000人規模の参加者が見込まれています。
香港と東京からの競合入札も予定されています。
選定プロセスの次の段階は、国際数学連合（IMUによる2月の現地視察であり、
最終決定は来年7月にニューヨークで開催される総会で行われます。
省2
851: 01/23(金)05:33 ID:KwalY5E+(2/2) AAS
>>848
訂正
×グロモフ ⚪︎ペレリマン
852(2): 01/24(土)08:23 ID:N0KQ+4gA(1/2) AAS
日本数学会
ICM2030招致委員会
外部ﾘﾝｸ:www.mathsoc.jp
853: 01/24(土)08:30 ID:0XcZjFo3(1) AAS
半々くらいか
上下前次1-新書関写板覧索設栞歴
あと 149 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s