「オイラー」を含む日記 RSS

はてなキーワード: オイラーとは

2024-11-13

位相的弦理論レベル分け説明

1. 小学6年生向け

位相的弦理論は、宇宙不思議を解き明かそうとする特別な考え方です。普通物理学では、物がどう動くかを細かく調べますが、この理論では物の形や繋がり方だけに注目します。

例えば、ドーナツマグカップを考えてみましょう。形は全然違うように見えますが、どちらも真ん中に1つの穴があります位相的弦理論では、この「穴が1つある」という点で同じだと考えるんです。

この理論では、宇宙を細い糸(弦)でできていると考えます。でも、普通の弦理論とは違って、糸がどう振動するかは気にしません。代わりに、糸がどんな形をしているか、どう繋がっているかだけを見ます

これを使って、科学者たちは宇宙秘密を解き明かそうとしています。難しそうに聞こえるかもしれませんが、実は私たち身の回りの物の形を観察することから始まるんです。宇宙の謎を解くのに、ドーナツの形が役立つかもしれないなんて、面白いと思いませんか?

2. 大学生向け

位相的弦理論は、通常の弦理論単純化したモデルで、1988年にEdward Wittenによって提唱されました。この理論の主な特徴は、弦の振動モードの中で位相的な性質のみを保持し、局所的な自由度を持たないことです。

位相的弦理論には主に2つのバージョンがあります

1. A-モデル:ケーラー幾何学と関連し、2次元世界面を標的空間の正則曲線に写像することを扱います

2. B-モデル:複素幾何学と関連し、標的空間の複素構造依存します。

これらのモデルは、時空の幾何学構造と密接に関連しており、特にラビ・ヤウ多様体上で定義されることが多いです。

位相的弦理論重要性は以下の点にあります

1. 複雑な弦理論計算を簡略化できる

2. 弦理論数学構造をより明確に理解できる

3. ミラー対称性など、重要数学概念との関連がある

4. グロモフ・ウィッテン不変量など、新しい数学的不変量を生み出す

この理論は、物理学数学境界領域位置し、両分野に大きな影響を与えています。例えば、代数幾何学圏論との深い関連が明らかになっており、これらの数学分野の発展にも寄与しています

大学生の段階では、位相的弦理論基本的概念と、それが通常の弦理論とどう異なるかを理解することが重要です。また、この理論物理学数学の橋渡しをどのように行っているかを把握することも大切です。

3. 大学院生向け

位相的弦理論は、N=(2,2) 超対称性を持つ2次元非線形シグマモデルから導出されます。この理論は、通常の弦理論世界面を位相的にツイストすることで得られます

ツイスト操作の結果:

1. 作用素に異なるスピンが与えられる

2. 理論局所的な自由度を失う

3. エネルギー運動量テンソルがQEXACT形式になる

A-モデルとB-モデルの主な特徴:

A-モデル

B-モデル

モデルは、ミラー対称性によって関連付けられます。これは、あるカラビ・ヤウ多様体上のA-モデルが、別のカラビ・ヤウ多様体上のB-モデル等価であるという驚くべき予想です。

位相的弦理論の応用:

1. 量子コホモロジー環の計算

2. グロモフ・ウィッテン不変量の導出

3. ミラー対称性検証

4. 代数幾何学問題への新しいアプローチ

大学院生レベルでは、これらの概念数学的に厳密に理解し、具体的な計算ができるようになることが期待されます。また、位相的弦理論現代理論物理学数学にどのような影響を与えているか理解することも重要です。

4. 専門家向け

位相的弦理論は、N=(2,2) 超対称性を持つシグマモデルから導出される位相的場理論です。この理論は、超対称性のR-対称性を用いてエネルギー運動量テンソルツイストすることで得られます

A-ツイストとB-ツイストの詳細:

1. A-ツイスト

- スピン接続をR-電荷修正: ψ+ → ψ+, ψ- → ψ-dz

- 結果として得られるA-モデルは、ケーラー構造にの依存

2. B-ツイスト

- スピン接続を異なるR-電荷修正: ψ+ → ψ+dz, ψ- → ψ-

- 結果として得られるB-モデルは、複素構造にの依存

モデルの相関関数

A-モデル

ここで、M はモジュライ空間evi評価写像、αi はコホモロジー類、e(V) はオブストラクションバンドルオイラー

B-モデル

ここで、X はカラビ・ヤウ多様体、Ω は正則体積形式Ai は変形を表す場

ミラー対称性

A-モデルとB-モデルの間の等価性は、導来Fukaya圏と連接層の導来圏の間の圏同値として理解されます。これは、Kontsevich予想の一般化であり、ホモロジーミラー対称性の中心的な問題です。

最近の発展:

1. 位相的弦理論とGopakumar-Vafa不変量の関係

2. 位相重力理論との関連

3. 非可換幾何学への応用

4. 位相M理論提案

専門家レベルでは、これらの概念を深く理解し、最新の研究動向を把握することが求められます。また、位相的弦理論数学構造を完全に理解し、新しい研究方向を提案できることも重要です。

5. 廃人向け

位相的弦理論の究極的理解には、以下の高度な概念と最新の研究動向の深い知識必要です:

1. 導来圏理論

- 導来Fukaya圏とD^b(Coh(X))の圏同値

- 安定∞圏を用いた一般

- 非可換幾何学との関連

2. ホモロジーミラー対称性

- Kontsevich予想の一般

- SYZ予想との関連

- 非アーベル的ホッジ理論への応用

3. 位相的場理論の高次元化:

- 4次元Donaldson-Witten理論

- 6次元(2,0)理論との関係

- コホモロジーホール代数との関連

4. 位相的弦理論と量子重力

- AdS/CFT対応との関連

- 位相M理論の構築

- 非摂動効果系統的理解

5. 代数幾何学との深い関係

- 導来代数幾何学の応用

- モチーフ理論との関連

- 圏化されたDT不変量

6. 位相的弦理論数学的基礎:

- ∞圏論を用いた定式化

- 位相的再正規化群の理論

- 量子群位相的弦理論関係

7. 最新の研究トピック

- 位相的弦理論と量子情報理論の接点

- 位相的弦理論を用いた宇宙論的特異点研究

- 非可換幾何学に基づく位相的弦理論一般

8. 計算技術

- 位相的頂点作用素代数の応用

- 局所技法の高度な応用

- 数値的手法機械学習の導入

これらの概念を完全に理解し、独自研究を行うためには、数学理論物理学両分野において、最先端知識技術を持つ必要があります。また、これらの概念間の深い関連性を見出し、新しい理論的枠組みを構築する能力も求められます

位相的弦理論の「廃人レベルでは、これらの高度な概念自在に操り、分野の境界を押し広げる革新的研究を行うことが期待されます。また、この理論が量子重力宇宙論といった基礎物理学根本的な問題にどのような洞察を与えるかを探求することも重要です。

2024-10-31

量子コンピュータを用いてRSA暗号を解読する

RSA暗号構造

RSA暗号は、以下の手順で構成される。

1. 素数選択: 2つの大きな素数 p と q を選ぶ。

2. モジュラスの計算: N = p * q

3. オイラートーシェント関数: φ(N) = (p-1)(q-1) を計算する。

4. 公開鍵秘密鍵の生成: 公開鍵は (N, e) であり、e は gcd(e, φ(N)) = 1 を満たす整数である秘密鍵は d であり、d * e ≡ 1 (mod φ(N)) を満たす。

素因数分解問題

RSA暗号安全性は、合成数 N の素因数分解計算的に困難であることに依存している。具体的には、次の問題が考えられる:

N = p * q

この問題解決することがRSA暗号を破る鍵となる。

ショアのアルゴリズム

ショアのアルゴリズムは、量子コンピュータ上で動作する効率的素因数分解アルゴリズムである。以下にその主要なステップを示す。

ステップ1: 整数選択

任意整数 a を選択し、N に対して次の条件を満たすことを確認する:

  • a < N
  • gcd(a, N) = 1 (これは、a が非自明な因子を持たないことを意味する)
ステップ2: 順序の計算

整数 a の順序 r を求める。順序とは、次の条件を満たす最小の整数である

a^r ≡ 1 (mod N)

この順序は、量子フーリエ変換を用いて効率的計算される。

ステップ3: 量子フーリエ変換

量子フーリエ変換は、状態ベクトルを重ね合わせて次のように表現される:

|x⟩ = Σ(k=0 to N-1) |k⟩

ここで、量子フーリエ変換適用することで周期性に関する情報が得られる。具体的には、

QFT |x⟩ = (1/√N) Σ(j=0 to N-1) Σ(k=0 to N-1) e^(2πi jk / N) |j⟩

ステップ4: 古典的な後処理

得られた状態から測定を行うことで周期情報が得られる。この周期情報を用いて次の式を考える:

x = a^(r/2) - 1

y = a^(r/2) + 1

これらが非自明な因子である場合、p と q を次のように計算できる:

p = gcd(x, N)

q = gcd(y, N)

ステップ5: 確率成功率誤り訂正

ショアのアルゴリズム確率的であり、成功率は高いもの100%ではない。そのため、誤り訂正技術複数回実行することで成功確率を向上させる必要がある。

2024-10-29

RSA暗号数学的背景

RSA暗号は、代数的構造特に合同算術および整数環における準同型写像を用いた公開鍵暗号である

RSA安全性は、環の自己同型写像の一方向性と、有限生成群の元の分解が困難であることに基づいている。

この暗号方式整数環 Z/NZ(N = p・q)上の準同型写像の一方向性活用する。

1. 鍵生成における数論的準備

まず、RSAにおける鍵生成は、代数的に以下のように構築される:

1. 整数環の構成

互いに素な大きな素数 p および q を選び、合成数 N = p・q を作成する。

これにより、商環 Z/NZ定義される。ここで、N はRSAにおける「モジュラス」として機能する。

この商環は、全体として単位的な環であり、RSA暗号計算基盤となる。

2. オイラートーシェント関数

オイラートーシェント関数 φ(N) を次のように計算する:

φ(N) = (p - 1)(q - 1)

これは環 Z/NZ の単数群 (Z/NZ)* の位数を表し、RSA準同型構造における指数計算に用いられる。

3. 群の生成元と公開指数 e の選定:

単数群 (Z/NZ)* は、φ(N) を位数とする巡回群であり、一般に生成元 g ∈ (Z/NZ)* を持つ。

RSAでは、この群の生成元から得られる公開指数 e は、φ(N) と互いに素な整数として選ばれる。公開指数 e はRSAの「公開鍵指数」となる。

4. 秘密指数 d の計算

次に、以下の合同式を満たす整数 d を求める。

e・d ≡ 1 (mod φ(N))

これは、e に対する逆元 d の存在保証し、秘密指数として機能する。ここで d はユークリッド互除法により効率的に求められる。

 

以上により、公開鍵 (N, e) と秘密鍵 (N, d) が生成される。これらの鍵は、合同算術と商環上の準同型写像によって定義される。

2. RSA暗号暗号化と復号の代数的構造

RSA暗号は、モジュラー演算によるべき乗写像使用した暗号化および復号過程である。この操作は、(Z/NZ)* 上の自己同型写像に基づいている。

任意メッセージ M ∈ Z/NZ に対し、公開鍵 (N, e) を用いて次の準同型写像作用させる:

C = σ(M) = M^e (mod N)

ここで σ: M → M^e は (Z/NZ)* の自己同型写像として作用し、得られた C は暗号文となる。

この写像はモジュラ指数写像として同型写像であるが、一方向的であるため暗号化に適している。

暗号文 C を受け取った受信者は、秘密指数 d を用いて復号を行う。具体的には次のように計算する:

M = C^d (mod N) = (M^e)^d (mod N) = M^(e・d) (mod N)

ここで e・d ≡ 1 (mod φ(N)) であるため、e・d = kφ(N) + 1(整数 k)と表すことができ、したがって

M^(e・d) = M^(kφ(N) + 1) = (M^(φ(N)))^k・M ≡ 1^k・M ≡ M (mod N)

により、元のメッセージ M を復元することができる。ここでオイラーの定理に基づき、(M^(φ(N))) ≡ 1 (mod N) が成り立つため、この復号化が成立する。

3. RSA暗号抽象代数的な安全性評価

RSA暗号安全性は、以下の代数的な構造依存する。

1. 合成数環の分解問題

RSA暗号は、Z/NZ構成において N = p・q の因数分解が困難であることを仮定する。

合成数 N の素因数分解問題は、現在計算アルゴリズムにおいて指数時間に近い計算量が必要であり、代数的には解読が非常に難しい問題であるとされる。

2. 一方向性関数特性

RSA暗号における暗号化は群の自己同型写像によって構成されるが、逆写像を求めることは一般に困難である

これはRSAの一方向性保証し、現実的に解読不可能構造形成している。

RSA暗号の解読は逆写像としてのべき乗の逆操作計算することに相当し、これを効率的解決する手段存在しないことが安全性根拠となる。

3. 合同条件の準同型

RSA暗号構造は合同算術に基づく準同型性を有し、M → M^e (mod N) というモジュラ指数写像によりメッセージ空間上の一対一対応を実現する。

この準同型性により計算効率保証されつつも一方向性を持ち、安全暗号化が可能である

  

以上より、RSA暗号は合同算術準同型写像、群の生成元と逆元の難解さに基づく暗号であり計算理論抽象代数からその安全性保証されている。

RSA暗号の解読可能性は準同型写像の逆像を効率的に求める方法存在しないことに基づいており数学的にはこの逆像問題の困難性がRSA安全性を支えているといえる。

2024-08-23

忙しい人のための物理学

1. 古典力学 (Classical Mechanics):

古典力学では、粒子の運動時間 t の関数 q(t) で表され、ニュートン運動方程式を満たすのだ:

q̈ = -U'(q)

ここで、U(q) はポテンシャルエネルギーである運動方程式は、ラグランジアン L(q) = 1/2q̇² - U(q) に基づく変分問題として再定義でき、作用積分 S(q) = ∫ₐᵇ L(q)dt極値点として運動記述するのだ。これは、最小作用の原理とも呼ばれるぞ。

2. 古典場の理論 (Classical Field Theory):

古典理論では、粒子ではなく、連続的な場 φ(x,t) を考えるのだ。この場は部分微分方程式に従い、例えば波動方程式

□φ = 0

記述されるぞ。ラグランジアン L(φ) は微分多項式であり、作用積分 S(φ) = ∫_D L(φ)dx dt を極小化することによって運動方程式(オイラー-ラグランジュ方程式)が導かれるのだ。

3. ブラウン運動 (Brownian Motion):

古典力学と異なり、量子力学では粒子は古典的な軌道を持たず、確率的に動くのだ。ブラウン運動モデルにして、粒子の位置 q(t) は確率密度

P(q) ∝ e^(-S(q)/κ)

に従い、ここで S(q) = ∫ₐᵇ (1/2q̇² - U(q)) dt作用、κ は拡散係数である。このような確率動力学の期待値は、経路積分を用いて計算されるぞ。

4. 量子力学 (Quantum Mechanics):

量子力学ではブラウン運動モデルを基にしつつ、拡散係数 κ を虚数 iℏ に置き換えるのだ(ℏ はプランク定数)。したがって、量子力学の相関関数は次のように表されるぞ:

⟨q_j₁(t₁) ··· q_jₙ(tₙ)⟩ = ∫ q_j₁(t₁) ··· q_jₙ(tₙ) e^(iS(q)/ℏ) Dq

5. 量子場理論 (Quantum Field Theory):

量子場理論でも、場の相関関数は次のように表されるのだ:

⟨φ_j₁(x₁, t₁) ··· φ_jₙ(xₙ, tₙ)⟩ = ∫ φ_j₁(x₁, t₁) ··· φ_jₙ(xₙ, tₙ) e^(iS(φ)/ℏ) Dφ

ただし、この積分は複素測度に基づくため、数学的に厳密に定義するのが困難であり、理論物理学における重要課題となっているのだ。

2024-07-27

anond:20240727114916

知のオープン化がなんなのか分からないが、例えば数学を考えてみよう。

数千年間にわたり蓄積されてきた数学の成果は、全て公開されているし、公教育にも取り入れられている。

にも関わらず、日本人数学知識はといえば、三平方の定理を示せたら上等な部類だ。

三平方の定理って、一体いつの成果か?パンピーは数千年前で足踏みしているのだ。

ガウスとかオイラーとかヒルベルトとかトップ学者はいつの時代学問最先端を切り開くけれど、パンピー数学知識は一個も増えていない。

なぜならば、数学パンピーには難しすぎるからだ。

翻って、知のオープン化が可能かどうか、意見を聞かせてもらいたい。

2024-04-22

オイラー、百人くらいいたらよかったのに

クローン作ろうぜ、クローン

2024-02-10

anond:20240210073041

宇宙法則を変えるなら相転移ですね。

究極理論がわからない現状、もし仮に「我々の世界不安定真空にいる」ことを仮定すれば

相応のエネルギーを加えて真の真空に落とす(相転移させる)ことで物理法則が変更されるという

人為的ネオエクスデス「うちゅうの ほうそくが みだれる!」 ができますね。

イメージ的には過冷却です。すでに相転移が起きているのに気がつかないで元の真空にとどまっていますちょっと突くと一瞬で凍ります

  

現に、新しい加速器が作られる度になんかスゲェ無理矢理な模型を作って「加速器のせいで世界が滅びる!」系の論文arXiv投稿されたりします。意外と増田と同じことを考える人がいるんですね。ただしこれらの論文は一瞬で否定されます。なぜならば、加速器で作るビームなんかよりも中性子星ガンマ線バーストのほうがよほど強いからです。宇宙強い。人類技術は弱い。驕るなよ人類

  

 

から不思議だったけど、これらの法則って経験から導き出されたものであって、その法則がどうやって存在してるかは不明なんだよな

 

以下、意味は取らなくて良いので流れと単語だけ拾ってください:

 

宇宙法則対称性で決まっています

保存則はネーターの定理から導き出されます

たとえばエネルギーの保存は時間方向の並進対称性運動量保存則は空間方向の並進対称性から、角運動保存則は回転対称性から導き出されるといえるでしょう。

相対論的には時間空間は同時に取り扱うのですがちょっと難しくなるので簡易な書き方をしています

    

運動方程式最小作用の原理から導き出されます

時空の対称性が決まる → ラグランジアンが決まる  → オイラーラグランジュ方程式運動方程式

  

 

ここまでよんだ?

なら次は、ランダウ・リフシッツ「力学」の最初の20ページくらい読んでください。

前提知識微積分です。ここまで読めば上の文章はだいたい理解できるかと思います

 

そして次にあなたはこう思うでしょう

 

最小作用の原理っていったいなんなんだ? 世界はなぜこんな原理に従う?」

  

そう思ったなら次は量子力学です。JJサクライ「現代量子力学」の経路積分のページまで読み進めましょう。

ここまでくれば霧が晴れるように見通せるようになるはずです。

物理理論とは何であるかが把握できるかと思います。ここから先はご自由に。

  

 

なお、JJサクライは物理科ではちょっと ’進んだ’ 内容とされています普通は2冊目に読む本ですね。が、ハテナーにとってはむしろ読みやすい本かと思いますだってどうせ君ら情報系でしょ?なんかプログラムとか書ける人たちでしょ??なら、ブラケット表記の方が慣れていると思うんですよ。たぶん見ればわかるよ。

 

 

2024-01-01

anond:20240101051250

うーん

ニュートンだとかオイラーだとかソクラテスとかだとかは超えるとかそういうもんではないのでは

2023-11-22

超弦理論って結局なんなの?

超ひも理論は、光子からクォークに至るまで、すべての粒子がゼロ次元の点ではなく1次元のひもであるという理論的枠組みのこと。

もし、あらゆる文脈で成り立つ超ひも理論バージョン発見されれば、宇宙性質記述するための単一数学モデルとして機能することになり、重力説明できない物理学標準モデルに取って代わる「万物理論」となるとされる。

超ひも理論の全貌を理解するには、広範な勉強必要だが、超ひも理論の主要な要素を知れば、その核となる概念基本的理解が得られるだろう。

 

1. 弦とブレーン

弦は一次元フィラメントで、開いた弦と閉じた弦の2種類がある。

開放弦は両端がつながっておらず、閉鎖弦は閉じたループ形成する。

ブレーン(「膜」という言葉に由来する)はシート状の物体で、その両端に弦を取り付けることができる。

ブレーンは量子力学ルールに従って時空を移動することができる。

 

2. 追加の空間次元

物理学者は、宇宙には3つの空間次元があると認めているが、超ひも理論家は、空間の追加次元記述するモデルを主張している。

超ひも理論では、カラビ・ヤウ多様体と呼ばれる複雑な折りたたみ形状にしっかりと圧縮されているため、少なくとも6つの追加次元は検出されない。

 

3. 量子重力

理論は量子物理学一般相対性理論を融合させようとしているため、量子重力理論である

量子物理学原子素粒子のような宇宙で最も小さな物体研究するが、一般相対性理論は通常、宇宙でよりスケールの大きな物体に焦点を当てる。

 

4. 超対称性

超弦理論としても知られる超対称性は、2種類の粒子、ボソンフェルミオン関係記述する。

超対称弦理論では、ボソン(または力の粒子)は常にフェルミオン(または物質の粒子)と対になるものを持ち、逆もまた同様である

超対称性概念はまだ理論的なもので、科学者はまだこれらの粒子を見たことがない。

一部の物理学者は、ボソンフェルミオンを生成するには、とてつもなく高いエネルギーレベル必要からだと推測している。

これらの粒子は、ビッグバンが起こる前の初期の宇宙存在していたかもしれないが、その後、現在見られるような低エネルギーの粒子に分解されたのかもしれない。

大型ハドロン衝突型加速器世界で最も高エネルギーの粒子衝突型加速器)は、ある時点でこの理論を支持するのに十分なエネルギーを発生させるかもしれないが、今のところ超対称性証拠は見つかっていない。

 

5. 統一された力

理論家は、相互作用する弦を使って、自然界の4つの基本的な力(重力電磁気力、強い核力、弱い核力)がどのように万物統一理論を作り出しているか説明できると考えている。

 

超弦理論歴史

2023-11-02

なぞなぞオイラーガウス、優れた数学者なのはどちらでしょうか?

こたえ:オイラー

(本人に聞いたらオイラー「おいら」ガウス「ちガウっス」とのことでした)

2023-06-03

数学って日本語中国語)で教えられるのきつくね

例えば「対数」「指数」「ネイピア数」とかさあ。

英語の略字を日本語に変換していちいち説明したらわかりにくすぎる。

「e」を「ネイピア数」というのはわかりにくい

「e」はネイピア数とは呼ばれるけど、じつは「Euler(オイラー)」のEだろ?

しかに「e」はあちこちで使われるから、この分野ではネイピア数と呼びたいのはわかるんだけど、そこらへんちゃん説明してないだろ。

logarithmus」を対数と訳すな

logarithmus」って、ラテン語の「logos比率)」と「arithmos(数)」の造語なんだろ?どこが「対数」なんだ?

式中にlogと書いてあれば「ログ」「ロガリズム」とか読むしか無いんだからいちいち「対数」と呼ぶ必要ないだろ

「ln」を「自然対数」と呼ぶな

logarithmus naturalis」の略が「ln」なんだろ?日本語翻訳したらたしか自然対数だけど

そもそもここで言う「日本語で言う自然定義はなんだよ」ってなるだろ。

数学概念の前に日本語が気になってくるだろ。

指数」ってなにが「指」なんだよ

expってネイピア数 e と紛らわしいんだよ


e^(ln(x)) = x

ln(e^x) = x

とか、教師が口頭で説明してるとき絶対分かりにくくなるだろ。

2023-02-14

[]ノイマン思考トレースする感じで文章を書く

知的作業本質を論じることは困難。数学の最も重要な特徴は、自然科学もっと一般的に言えば、純粋記述的なレベルよりも高いレベル経験解釈するあらゆる科学との、極めて特異な関係にあるとノイマンは考えていた。

ほとんどの人が、数学経験科学ではない、あるいは少なくとも経験科学技法はいくつかの決定的な点で異なる方法実践されていると言う。しかしその発展は自然科学と密接に結びついている。

そして数学のいくつかの重要な例がある。

まず幾何学力学熱力学のような、間違いなく経験的な他の学問は、通常、多かれ少なかれ仮定的な扱いで提示され、ユークリッドの手順とほとんど区別がつかない。ニュートンプリンピアは、その最も重要な部分の本質と同様に、文学的形式においてもユークリッドと非常によく似ている。仮定的な提示の背後には、仮定裏付け物理的な洞察と、定理裏付け実験的な検証存在する。

ユークリッド以来、幾何学の脱皮は徐々に進んだが、現代においても完全なものにはなっていない。ユークリッドのすべての定理のうち、5番目の定理疑問視された最大の理由は、そこに介在する無限平面全体という概念の非経験性格にあった。数学論理的分析にもかかわらず、経験的でなければならないかもしれないという考えが、ガウスの心の中に確かに存在していたのである

ボリャイ、ロバチェフスキーリーマンクラインが、より抽象的に当初の論争の形式解決と考えるものを得た後も、物理学が最終決定権を握っていた。一般相対性理論発見されると、幾何学との関係について、全く新しい設定と純粋数学的な強調事項の全く新しい配分で、見解修正することを余儀なくされた。最後に、ヒルベルトは、公理幾何学一般相対性理論の両方に重要な貢献をしている。

第二に、微積分学からまれたすべての解析学がある。微積分の起源は、明らかに経験的なものであるケプラー最初積分の試みは、曲面を持つ物体の体積測定として定式化された。これは非軸性で経験的な幾何学であった。ニュートンは、微積分を基本的力学のために発明した。微積分の最初の定式化は、数学的に厳密でさえなかった。ニュートンから150年以上もの間、不正確で半物理的な定式化しかできなかった。この時代の主要な数学精神は、オイラーのように明らかに厳密でないものもあったが、ガウスヤコービのように大筋では厳密なものもあった。そして、コーシーによって厳密さの支配基本的に再確立された後でも、リーマンによって半物理的な方法への非常に独特な回帰が起こった。リーマン科学的な性格のものが、数学の二重性を最もよく表している例であるワイエルシュトラス以来、解析学は完全に抽象化、厳密化され、非経験的になったように思われる。しかし、この2世代に起こった数学論理学の「基礎」をめぐる論争が、この点に関する多くの幻想払拭した。

ここで、第三の例。数学自然科学との関係ではなく、哲学認識論との関係である数学の「絶対的」厳密性という概念のものが不変のものではないことを示している。厳密性という概念の可変性は、数学抽象性以外の何かが数学構成に入り込んでいなければならないことを示す。「基礎」をめぐる論争を分析する中で、二つのことは明らかである第一に、非数学的なものが、経験科学あるいは哲学、あるいはその両方と何らかの関係をもって、本質的に入り込んでいること、そしてその非経験的な性格は、認識論経験から独立して存在しうると仮定した場合にのみ維持されうるものであること。(この仮定必要なだけで、十分ではない)。第二に、数学経験起源幾何学微積分のような事例によって強く支持されるということ。

数学的厳密さの概念の変遷を分析するにあたっては、「基礎」論争に主眼を置くが、それ以外の側面は、数学的な "スタイル "の変化についてであり、かなりの変動があったことはよく知られている。多くの場合、その差はあまりにも大きく、異なる方法で「事例を提示」する著者が、スタイル、好み、教育の違いだけで分けられたのか、何が数学的厳密さを構成するかについて、本当に同じ考えを持っていたのか、疑問に思えてくる。

極端な場合には、その違いは本質的なものであり、新しい深い理論の助けによってのみ改善されるのであり、その理論の開発には百年以上かかることもある。厳密さを欠く方法研究を行った数学者の中には(あるいはそれを批判した同時代数学者の中には)、その厳密さの欠落を十分認識していた者もいたのである。あるいは、数学的な手続きはどうあるべきかというその人自身の願望が、彼らの行動よりも後世の見解合致していたのだ。たとえばオイラーなどは、完全に誠実に行動し、自分自身基準にかなり満足していたようである

2022-12-12

https://anond.hatelabo.jp/20221211132121

文系大事にしているのは「文章それ自体」であって、文章それ自体を忠実に原語から訳すことが重要である、というのが文系の考え方。

いや正にそれが文脈を読むということであり、誰が書いたか、を重視する考え方そのものでしょ

例えば、

e^iπ + 1 = 0

という数式の素晴らしさはオイラー依存するものじゃないでしょ オイラー原著論文を読まなきゃ理解できないものでもないでしょ 一つの体系の中で論理だって矛盾せずに成り立つことが大事でしょ

矛盾であることが重要論理を示せれば記述言語に寄らないでしょ 「文章それ自体」は論理記述様式であって論理のものではなく付加情報でしょ

数学史において、オイラーが何を成したかを語るのであれば文章それ自体を忠実に原語から訳すことが重要であるのはその通りだけど

2022-10-20

検索履歴

屋根裏を整理してたら古いパソコン(といっても2006年頃)が出てきたのでブラウザ検索履歴サルベージしてみた。

当時自分が何にハマっていたのか思い出されていろいろ懐かしい…

シュヴァンクマイエル

パラコンパクト空間

パラ様 生え際

ドグラマグラ 角川文庫 表紙絵

ホケマクイ

ブッチーン 灯花

ぶっこぉすぞー

一心同体少女隊

R.U.R.U.R おっぱいマウスパッド

マカロニゾンビ

心理歴史学

タカヤノリコ 誕生日

アンドロメダ

るくしおん しびれるぜ、鋼の

みなみとHしてしまいました

ティプトリー・ショック

新和強者

デストロイいいね」と君が言ったか六月二十四日はUFOの日

わたるが死んじゃう

琵琶湖タワー

大僧正チュルパン

猫いらず 口の周り 光る

尸条書

立方晶窒化炭素

ドーマン

ひだまりスケッホ

共産主義カレー

ワードナ 営業時間

空飛ぶ冷し中華

最後の一発は自分のために使うよ

セーラー戦士が全員ブルマーだったら、アニメ史を変えていたと思うね

ロリコントランプ

1ゼーガ

34歳児

ピンク淫乱

メイドRPG

Rez 360

実はまだ2階に

アリオ

エロゲ聖地

携帯電話主題に置かれたエロゲ

はいらない子

天使たちの午後の紅茶

そうです。あのコが僕の畏敬する天使様なのです

おかしとか食べる

手のひらの宇宙 歌詞

機械帝国

2006年最も視聴率の低かったアニメ

プリンセスチュチュ

電脳コイル オレンジ

T-34が倒せない

さあ牛だ

聖杯探求 ユダヤ人

エンジン女王

セノバイト

精霊の守り人 同人

コールオブクトゥルフd20

クトゥルフ神話図説

大口真神

越後のシュケン

ホモホモ

omegaの視界

ガイナックス エロ 殺人事件

ぽこにゃん

だぞなもし

倒福マーク

ボッキアウト

フムン

ユープケッチャ

フェアリーリング

目なき顔のジールバ

やったー+1 シヴィライゼーション

インディアナ 少女虐待事件

ルロス ロルス

玉音盤奪取

ハレとケ

セスラフ人狼

もえたん 06話

宇宙創世記ロボットの旅

フレンチカンカン

路肩のピクニック

白楽電の詩

人間そっくり 北海道 アムダ

ガッシボカ

聖なんとか女学園

魔法少女プリティサミーハートきもちCGコンバータ

シャクティ 乳首

クートニアン

未来世紀カゴシマ

黄金竜 スマウグ 年齢

お脱ぎなさい

風に負けないハートのかたち カラオケ

戸田奈津子 指輪

グンニョキ

かみちゅ! 向島

バカボン 隠し子 アケミ

スパイラルマタイ アタマリバース

"のび太クメン王国"

ロケット広場

ロボットのためのロックンロール

強さ激しく変動

南斗聖拳108派一覧

エロゲしかブルマを知らない子供たち

ズンドコベロンチョ

スパイラルナイフ

みなぎる力がみなぎるぜ

力こそパワー

重い生理が来たみたい

週間 わたしの 兄者

ドリルヘアー

オランダ 堤防 少年

ストーカー 眠い

4ひえた

ミランダ警告

マリリスイリニス

ムーミンパパ海へいく

カシミール効果

エキゾチック物質

チャンパーノウン定数

ラジェンドラ 擬人化 88

セツの火

見知らぬ国のデイトリッパー

海水石鹸

暗号

情報理論

いざり

比留間 京之介

アボガドロ数

光厳天皇

東武天皇

この娘、最後死んじゃうんだよね

旧神なんていないよ

デモンベイン d20

シムーン

共時性

まじかる美勇伝

S級だけどめどいんでB

シャブとは覚醒剤のことである!!

首ナイフ問題

怪物クンクン

ティナ×エドガー

何の因果か 今じゃマッポ

オレモダビール

モトコンポ ボアアップ

"オナホさん"

血盟団事件

わたし真紅

ツインブルマー

アントノフ 積載量

黄金の真昼

大江戸レイプマン

福来友吉

ひょうたん島 死後の世界

ポアンカレ予想

デュプリケイトディスク作成

ティーガーフィーベル

Let's Beginning to Look Alot Like Fishmen

けいせい出版

プロジェクト B子 ミサイル

いいですとも!

伊藤かずえ ニャンちゅう

共生るんです

ガネッコ

キティアラ ビキニアーマ

フライング尊師

ニワニュース

茗荷甚六

莫迦め 死んだわ

佐藤 中村 ちくしょう いつか殺してやる

スコープドッグ 装甲厚

肉弾劇画

かみそり半蔵地獄攻め

クンデラ 不滅

カルヴィーノ 冬の夜ひとりの旅人

如意棒 重さ

ちびくろサンボ 枚数

自衛隊員身分を隠してベトナム戦争に参加

魔女のバアさんに呪われたか

俺のケツをなめろ

めがねっ娘が全員眼鏡をかけているとおもうなよ!!

喜多の味 釧路

大胖女人

九層地獄 ティアマ

DTB アンバー カレイドステージ

大司令症候群

柳瀬尚紀

gunyoki

グンニョキ

おしつおされつ

エンキ・ビラル

バンカーパレスホテル

バトルスキンパニック

アズテック神話

どうしてエレクチオンしないのよぉぉぉぉ

歓喜あふれるオナホール

えりかとさとるの夢冒険  隠しメッセージ

光速異名を持ち重力自在に操る高貴なる

ラ ヨダソウ スティアーナ それが世界

こぐにっしょん

作戦

キリコの食うウドうどんはまずい

リムリムリカタツムリ

マピロマハマディロマ

デュプリケイトディスク作成

コントラ デクストラ アベニュー

心オナニー

燕山夜話

ドラ28

不気味の谷現象

中国人の部屋

デラべっぴんパンチ

エロ イッカイヅツ

菊屋橋101号

システムショック

栄養分析表

国際反戦デー

ゲバルト・ローザ

完全黙秘

唸るコカトリス

みずずちん

グールド魚類画帖

タスマニア

なんてこった 死の宣告

ガイナックス連続殺人事件エロ)

フライングV フリクリ

ペガサス 玉子焼き 目玉焼き

ポール・トーマス・アンダーソン

宇宙遭難

アンダーダーク

大脱走 トンネル名前

ロンゴ・ロンゴ

偽春菜

鈴木邦夫  コマンドサンボ   ロリコン

客観主義

碩学

ウォーレス

ゲオルギウス

ホープダイヤモンド

ガイ・フォークス

乙女峠聖母

地球空洞説 大陸書房

スカラー波

トーマスエドワードロレンス

ドーラ・ドロン

算法少女

毒薬

まじかるぴゅあソング

パルチザン伝説 桐山襲

軌道からの帰還

だいす☆くえすと

エックス Tシャツ

つめたく冷えた月

フンカーリー

クライム・オブ・パッション

サム・ペキンパー

横手久美子

海原エレナ

上都 ザナドゥ

Shang-Du

エタノール噴射

切れ者キューゲル

強盗だ!・・・おう!

天動説

ロードランナーとコヨーテ

秋霜玉 BGM 抜き出し

メテオスウォーム コレクション

願望機

舟に棲む

レコンキスタ

rom   ヘッダ 削る

長靴いっぱい食べたいよ

陣形技 閃き

ハリマ

ぺちんぺちん

パイズリの歴史

正義の味方巨乳なんだ

カタリナ おそるべし

野月まひる

アイスナイン

バスターホームラン

マライア 多摩

白山姫 神社 部落

素敵医師

相沢 祐一 最強

人類は衰退しました

みなみおねいさん

ヴァチカン ナチス

あまぞn

乳首ビーム

最終試験くじら CV ゆん

夢のクレヨン王国 SONGBOX

振武刀

五色不動縁起

ドグラマグラ 映画

米倉斉加年

リントワン

ロイさーん

アンジェにおまかせ カラオケ

レムコレクション

セツの火

志倉千代丸

瀬戸口廉也

詩 トミノ 地獄

カードゲーム テケリ・リ

内田百閒 山高帽子

ファンタジーゾーン サントラ

団精二

モスジャイアント88

レゴール・ザザ虫

きみはホエホエむすめ

東方夢終劇

ファミソン8BIT

アルノー塚山

初代タイガーマスク 乳首

グラディウス クラックス 桃井はるこ

生きなさいキキ

dwarvish mattock

トレパネーション

蟹工船 光線

ケスラーシンドローム

パラシュート部隊 突然に

プロバリティ犯罪

ビヤーキー バイア

インターナショナル エルフ語

赤軍兵士の詩 歌詞

ゴクイリイミオオイ

アウト・オブ・眼中

死語辞典

クタクマ

モルディギア

納骨堂の神

ヴェクナ

ラジェンドラ 88 擬人化

パラシュート部隊 突然に

無用ファイア

藤村華厳の滝

末期 少女

唸るコカトリス亭 

狂い咲きサンダーロード

構造と力

鶴亀算 植木

おばちゃんロリータ

ウーマンリブ

アカディネの泉

安楽椅子探偵

ショスタコーヴィ

ジャック ケッチャム

オイラー ラグランジェ

シャノン 情報理論

ガロアの郡論

ルルスの術

ラヴォアジ

ヒルベルトプログラム

ベッセル級数展開

パーティジョイ

ペンギン兄弟

津田さんの死 

レムコレクション

佐保姫 信太の森     

ころがる石のような俺の生き様

今夜はANGEL 歌詞

カフカ 断食芸人

バナナタイプ

カーゴ信仰

はしれぐずども 

ジャイアント馬場 等身大画像

九鬼文書

恐竜土偶

テクノ歌謡                      

暗号

白い神兵 

ドンパッチ          

万博タイムカプセル

ブルマーを知らない子供たち

スリランカ 仏教

火のバプテスマ

ロッキーポイント現象

清家理論

サールクラフト

BB効果 ビーフェルト・ブラウン

lycanthropy                  

カラミティジェーン  

研究者

アナ姫さま おげんきですか

ロケット広場

セルレーダ 犬

気分はガストノッチ

オナホ 2番目

宇宙麻雀

電線トリオ

電戦トリオ

ダダ ドム

ロマンサー

私は痛みだ

くやしい、でも ビルケナウ

ドラえもん のび太クメン王国

それは 空手ブーメラン まったく新しい

レゴール・ザザ虫

スプラッターハーレムアニメ

のび太の優しさ ジャイアンの肉体 出来杉頭脳

マイク インディア

ロボットのためのロックンロール

ハルヒ 乳首に☆印

パルチザン伝説

新藤幸司 CV

Chante キミの歌がとどいたら 先生

ゾンゲリア

サンゲリア サンガリア

ゾンビ映画 クトゥルー

光撃少女ファルセリオン 攻略

開路に時限のある   リレー

クリストファー・プリースト

Drizzt

塩沢兼人 カセットテープ

イージス ファング スレ

ちんぽ生やして出直して来い

男根 恐ろしいまでに

シュレーディンガー方程式

井戸ポテンシャル

コロラド撃ち

HEARTWORK

スパイク信仰大全

タラリイク文書

誠ぉっ そこにいるんでしょ

ずっとオレのターン

クロちゃんRPG千夜一夜

所ジョージ アロハ

リリスロッド ほしくずの

中村ヒロシ

ぼくはぼくであること

おれがあいつで

シンデレラボーイ -モンキーパンチ

アラハバキ

アラバハキ

幻影都市

わたしこそ しんの ゆうしゃだ

クトゥル スペースジョッキー

フラッシャー付自転車

自転車 変速 

京都買います

木村航

池田太郎

クリストファー・ロビン エーカー

神よりも弱いただのオセロ

十週打ち切り確定漫画

アミーゴ戦艦大和

おがわみめい

水無神知宏

瀬戸口廉也

CARNIVAL 小説

じゃこつばばあ

岸信介

バイク マニュアル 通販

氷河民族

ぴよぴよキングダム

生と死の境界 安置

うぉ、まぶしっ

ゼロで割る

ユーニラタルコンタクト 用語

中東戦争

ココロ

有尾人 フィリピン

子供達を責めないで

圧力計 連成計 BV

エドガー ダケェ

びんずる

にこにこ商事

ビッグバトル 登場AT

ビッグバトル ラビリー

空の上のおもちゃ 攻略

オメガファイター

ひろ

2022-10-08

anond:20221008080533

♪おいらはね、オイラーって言うんだ、本当はね♪

anond:20221008074737

おいらはオイラーだよ

オイラーの公式で有名な偉い人だよ

ログイン ユーザー登録
ようこそ ゲスト さん