「幾何学」を含む日記 RSS

はてなキーワード: 幾何学とは

2024-06-06

   幾何学でいってなんでパスカル定理は完全無欠と言われるかと言うとまだ分からない。1つには2000年前から研究があるという割にはろくな書物存在しておらず

    大量の研究があると言いながら、ほとんどの定理が知られていない。 方べきの定理パスカル定理は何が違うのか、それすら教えてもらっていない人が多いのではないか

      完全無欠な定理があれば、ゆくゆくはなんでもできる。 だから完全無欠なもの教科書でなるべく集めた方がいい。それがあれば行き詰まることはない。

    とはいいながら、何をもって完全無欠であるかというと、まだ分かっていない。 超対称性原理というのは、ただの対称性ではなくて結構、Higherな対称性でよく分かっていないので

  チェス問題に出てきた操作超対称性ではなくてまったく間違っていて、おぺちさんという天才がいてそれはただの簡潔なテクニックで、超対称性はお前が考えるよりもっとレベルの高い

    対称性で、そういうものではないと言われ、なんでも、そういったものは界隈で完全無欠と指定され、可能性があるから、魅力があるのに決まっている。

   

2024-06-05

幾何学ラングランズ、ホバノフホモロジー、弦理論

エドワードウィッテンは、幾何学的なラングランズ・プログラムの一部とアイデアとの関係について「電気磁気の二重性と幾何学的なラングランズ・プログラム」を執筆した。

ラングランズ プログラムに関する背景: 1967 年、ロバート ラングランズは、当時同研究所教授だったアンドレ ヴェイユ17ページの手書き手紙を書き、その中で大統一理論提案した。それは、数論、代数幾何学、保型形式理論における一見無関係概念を関連付ける。読みやすくするためにヴェイユ要望作成されたこ手紙タイプされたコピーは、1960 年代後半から 1970 年代にかけて数学者の間で広く流通し、数学者たちは 40 年以上にわたりラングランズ プログラムとして総称されるその予想に取り組んできた。

理論ゲージ理論双対性の背景を持つ物理学者は、カプースチンとの幾何学ラングランズに関する論文理解できるが、ほとんどの物理学者にとって、このトピックは詳細すぎて興味をそそるものではない。

一方で、数学者にとっては興味深いテーマだが、場の量子論や弦理論の背景には馴染みのない部分が多すぎるため、理解するのは困難(厳密に定式化するのは困難)。

短期的にどのような進歩があれば、数学者にとって幾何学的なラングランズのゲージ理論解釈が利用できるようになるのかを見極めるのは、実際には非常に難しい。

ゲージ理論とホバノフホモロジー数学者によって認識され評価されるのを見られるだろうか。

数論者が好むものの多くは物理学に登場している。

理論研究者として取り組んでいる物理理論が数論として興味深いものであることを示す多くのことがわかっている。

ここ数年、4 次元の超対称ゲージ理論とその親戚である 6 次元に取り組んでいる物理学者は、臨界レベルでの共形場理論役割に関わるいくつかの発見を行っているため、この点を解決する時期が来たのかもしれない。

過去20年間、数学物理学相互作用は非常に豊かであり続けただけでなく、その多様性が発展したが、私は恥ずかしいことにほとんど理解できていない。

これは今後も続くだろう、それが続く理由は場の量子論と弦理論がどういうわけか豊かな数学秘密を持っているからだ。

これらの秘密の一部が表面化すると、物理学者にとってはしばしば驚きとなることがよくある。

なぜなら、超弦理論物理学として正しく理解していないから。つまり、その背後にある核となる考え方を理解していない。

数学者は場の量子論を完全に理解することができていないため、そこから得られる事柄は驚くべきものである

したがって、生み出される物理学数学アイデアは長い間驚くべきものになるだろう。

1990 年代に、さまざまな弦理論が非摂動双対性によって統合されており、弦理論ある意味本質的量子力学的なものであることが明らかになり、より広い視野を得ることができた。

しかし、その根底にある原理が明確になっていない主題について、さまざまな側面を数学者物理学者研究である

今日若者にはさらに大きな発見のチャンスがある。

2024-06-04

    国際数学の一番評価されている問題は、 円ωに鋭角三角形が内接していて、 ωに直線 L が接しており、 三角形の辺を軸に、Lを対象移動したときにできる直線で形成される

  三角形の外接円がωに接することを示せ、という問題である

    問題感想として、 直角三角形と鈍角三角形場合には、成立しないことに興味を持ったが、  鋭角というのは英語で確か acute-triangleといったのではないかと思う。

  実定法学の場合だとこれはまた、

        THEOREM 5.5  鋭角三角形ときは、ωとλは接する。 ただし、鈍角および直角の場合はこの限りではない。

  というように書けると思う。

     証明の手順は、  幾何学教科書に書いている専門的な知識を、全部使用し、なおかつ、パスカル定理を登場させることによりするので、非常にハイレベルで難しい。

   幾何学は2000年前のエジプト古代人が戦争中に地面に棒で書いて熱中していたものに端を発するのであるが、上の問題は、幾何教科書の専門知識を全部用いて、有名な定理

 技術的に用いるので、幾何教科書勉強していないととてもではないが到達しない。

     私が数学の話をしたくないのはそんな実力が全然備わっていなくて分かるところまでしかからいからであり、自分で解いたものは称賛しているが、解いていないものの答えなどを

  見たくないので、見ていないので漠然とした感想しかもっていない。ことに、私の、数学問題発見する能力はクソ以下で、なおかつ、技術面についてもほとんどできないだろうということである

   なにがしの警察官から、法はものから理解してもらうしかない、と強弁されたが、ものであるとは思わないので、同意しないし、こいつの意見に過ぎないのではないかと思った。私が、法が

  ものだとは思わない理由がある。国際数学の一番難しい幾何問題は、 接点K がそこにあることがどうしても論証できない、ということである。但し、接点Kの 両側に、 2つの直線が

  伸びている。模範解答はその問題をどうしたかというと、 パスカル定理がそこに登場すれば、 接点Kの存在とその両側の直線も、パスカル定理の中に入っているからそれで説明がついて

  落ちます、ということであった。これはあたかも、某がうざくてどうしても落ちないときに、巡査が近寄ってくれば落ちるのに似ているがここにみられるのは、ものではなくて、技術なので、ものではない

  と思った。それ以外にも、幾何問題で、 最初に書いた図形だけだと答えが出て来ないが、適当な、必要最小限度の補助線を引くと、答えにつながるものが出て来るとかいうことだが、

    私は幾何学の問題をこれをすることに成功したことがないので、全く自信を持っていない。

2024-05-31

幾何学ラングランズについて

ラングランズ・プログラムは信じられないほど広大で広範囲に及ぶ。

その最も深い側面は、ラングランズが40年近く前に始めた数論的設定に関係している。

しかし、ラングランズ・プログラムにはあらゆる種類の発現がある。

個人的理解しようとしているのは、ラングランズ・プログラムの 「幾何学的な 」形態であり、そこではアイデアの一部が数論から幾何学記述に変換されている。

長い間、幾何学ラングランズ・プログラムに取り組む数学者たちは、数理物理学アイデアを大いに利用してきた。

特に、コンフォーマル場の理論と呼ばれる分野は、物性物理学でも弦理論でも重要である

しかし、物理学アイデアはいつも、物理学から見ると奇妙に見える方法アレンジされていた。

もし物理学に基づく考え方が幾何学ラングランズ・プログラムに関連するのであれば、幾何学ラングランズ・プログラム物理学者にとってより理解やす言葉で再定式化することは可能なはずだと思った。

ラングランズ・プログラムは広大なテーマであり、その全体像を把握できる者はほとんどいない。そして、それが最終的にどこにつながるのか、それを言うのは早すぎる。

2024-05-26

https://anond.hatelabo.jp/20240526150543

   志村警察署に令和2年6月19日に配属になった巡査部長の大嶋などの巣窟から

    坂下交番は交代制だが、 令和5年6月1日から、 戸田勇哉と、熊谷永華がやっている。 これについて以下に意見を述べる。

   全く私の見解だが、 戸田は横にいた警察官について、熊谷である説明したが、その後に、適当に言っただけで実は熊谷ではない、と言ったが、実際の警察手帳には熊谷記載があった。

  このことから警察官は、間違った名前を言うことがない、すなわち、その者が自分名前を言ってしまった場合には、実名である可能性が高い。

    田辺場合は、田辺かつきである。  拡声器を地面にたたきつけた際に割れプラスチックで指を切って血が出た馬鹿である

   専門技術的な見地から検討する。  数式の最大値を求める代数手段理想的場合は、AMGMしかない。しかし、余程数式を超能力で変改しないと、AMGMだけでその最大値を

  導出することはできない。  ミケルの定理に基づいていて、シムソン線を出すという幾何学的なやり方もある。 AMGMを用いて数式の方を技術的に変形する問題まことに種類が多く、

    国際数学では頻出である

2024-05-14

https://anond.hatelabo.jp/20240514161338

  どうでもいいから読んでいない。 そもそもABC予想証明する必要がないし。 ワイルズ場合は確実な定理教科書に書いていって最終的に、コルイヴァギンフラッハ法により出来たが、

   リチャードテイラー、 谷山豊などは、哲学的に確実な方法に持って行こうとして、発見すべくして発見した。

   幾何学アイデアも用いている。  ちなみに警察強制していないと、  ABC予想といったところで、 40代東大卒理科3類からウソ乙と言われて終わってしまうので。

   数学証明技術は次の種類があるが、私は専門家ではないので、全てを知っているわけではない。幾何学をするといいですよと言う風に阪大富田先生から教わった。

    (1)必要最小限の隠れている補助線を引くとただちに答えが見つかる。

    (2)補助線を一本引いて出来る。

    (3)例えば Induction and Contradiction のように、大昔に発見されていた鉄板だろうと思われるようなもの一見使えそうにないとき使用できる。

        他に、特例的な発見と言ったものがあるがまだ議論されていない。

    これを踏まえて私が10工場でやったことを少し紹介する。

      (1)定理作業中に発見した。しかし、  (3)に該当するもの発見できなかった。  宮地先生は、補完によって出て来るといってますが、 補完定理も、特例的な奴になると

  難しいことは宮地先生も分かっていると思う。

    次に、次の事項をこれから強制する。   日向市に住んでいてエロ落ちしているらしいけれど、延岡西高校に、 末永祐治という数学先生がいた。その者に言わせれば、そんなもの

   教えていない。  有村芳郎はバクサイにいて、 ~よ、が口癖である

    警察強制しているから、  私と、  里見先生田辺先生が会うことが実現しないようになっている。

    法の実質は、暴力による強制であり、 法自体が フィクションという人もいるが、 フィクションを強調しているだけで、フィクションではない。  法はただ法である

  しかし、専門的で技術である。 いつからそうなったかは分からない。

2024-05-11

  刑法詐欺罪未遂規定は、 未遂は罰する、と書いているだけだから、これは、比喩的にいえば、 簡潔すぎる補題のようなもので、作って使うものではない。

    法律は、法的安定性を目的とする技術によって構成されたもの全体なので、 未遂は罰する という規定は、異常に簡潔な種類の規定であって、国民に示しているだけである

   土屋大気とか、大塚は、検事から検察官としての事務処理上の、 テクニックを使うが、 立法者はもっと幾何学的なテクニック立法する

  テクニックというのは土屋工場で習った奴だから、嘘だしないし、  前橋地検で何を言っていたかと言うと、 嫌だから止めた、検事を止める、と言った後に弁護士になったらしいが、

    最近、寝ている間に、雷撃があって、また前橋地検にいる。

2024-04-15

数学の美

数学者数学に美しさを見出していることは知られている。

多くの数学者は最も美しい証明を見つけることに意欲を持っており、数学芸術の一形態と呼ぶことがよくある。

「なんて美しい定理だろう」「なんてエレガントな証明だろう」と言う。

 

完璧な部屋の形状は、ルネッサンス建築家によって、壁が一定比率を持つ長方形の部屋である定義され、それを「黄金分割」と呼んだ。

建築家今日でも、最も調和のとれた部屋には黄金分割比があると信じている。

この数値は、多くの数学現象構造に現れる (例:フィボナッチ数列の極限)。

レオナルド・ダ・ヴィンチは、均整のとれた人体と顔の黄金分割を観察した。

西洋文化やその他の文明では、均整のとれた人体の黄金分割比は、上部 (へその上) と下部の間(へその下)にある。

 

モザイクは、固体部分(木、石、ガラスなど)を重なりや隙間なく平らな面に組み立てる芸術形式である

その洗練された形式では、モザイクには認識可能パターンがあり、それが 2 つの異なる方向に繰り返され、中心も境界も優先方向も焦点も特定されない。

モザイク作品のような模様が無限の広がりを感じさせる。

19 世紀には、数学的な観点からタイリングには 17 個の対称性しか存在しないことが証明された。

アルハンブラ宮殿モザイクは、考えられる 17対称性をすべて表していることが発見された。

数学用語では、モザイクタイリングと呼ばれる。

タイリング形成するとは、2 次元平面を幾何学的形状 (多角形または曲線で囲まれた形状) で重なりなく完全に覆うことを意味する。

タイリング画像を変更せずに仮想的に回転または反射できる場合タイリングは対称と呼ばれる。

歴史上最も印象的なモザイクは、中世イスラム世界活躍した芸術家、特にスペインアルハンブラ宮殿の美しく洗練されたモザイク作成した芸術家によって制作された。

アルハンブラ宮殿は、グラナダ旧市街を見下ろす赤土の丘に、13 世紀初頭にムーア人によって建てられた。

ここは、膨大な量の模様、装飾品、書道、石の彫刻など、イスラム教の建築デザインを展示するものである

オランダ人芸術MC エッシャーアルハンブラ宮殿を 2 度訪れ、宮殿と周囲の中庭タイルに見られる華やかな模様をスケッチし、カタログ化した。

エッシャータイリングは必ずしも周期的ではない。

これは、タイルが一定の間隔で表示または発生することを意味する。

何百年にもわたる熟練した建築タイル張り、 (調和する力としての)対称性への深い敬意、(宗教商業のための)幾何学研究知識により、17 の考えられる対称性グループすべてがアルハンブラ宮殿の壁に表現される。

 

自然界の結晶(雪の結晶鉱物宝石など) は、秩序と対称性規則に従って原子的に構築される。

2、3、4、6 回の構造対称性があり、周期的。

非周期的タイリング、つまり周期性のないタイリングは 1960 年代数学的に可能であることが証明されたが、当時は秩序はあっても周期性を持たない固体構造自然界には存在しないと考えられていた。

1982 年、イスラエルテクニオン大学ダン シェクトマン教授は、後に準結晶として知られる自然が作る非周期結晶存在予測した。

準結晶パターンには 5 つのエッジを持つ多角形が必要

このような自然で作られた石は、ロシア山岳地帯最初発見された。

2009年、この発見プリンストン大学教授であるポールスタインハートによって科学的に発表された。

2011 年、シェクトマンはその予測によりノーベル化学賞を受賞した。

 

数学は常に美の起源本質説明できるのか?

そうでないなら、美しさは見る人の目にあるか?

美しさは(文化的地理的歴史依存まで)絶対的用語であると断言できる。 

2024-03-29

もう受験生でもない自分高校レベル参考書問題集いつまでも解いたりするべきなのか分かりません。

解いたりするべきだと思う以下の持論を持っているのですが、この持論が正しいかどうか全く確信が持てません。

以下から持論です。

まず、高校で習うことを理解していなければ、大学以降のより専門的なことが理解できないことがあるというのは確かだと思います

から私を含めそういう専門的なことを理解したい人は、高校レベルのことの穴を埋めるべきだと思います

それをせずに大学レベルのことの学習に手を付けても理解できることがある可能性はありますが、その理解したという感じに錯覚場合が混ざるおそれがでてくると思います

まり理解してないのに知った気になる、いわば「何がわからいかからない」状態に陥る可能性が出てくると思うのです。

そのうえで、そのような大学レベルのことを理解していないと理解できない、より高度な理論を学ぼうとすると、今度はわからないという自覚はあるが「なんでわからないのかわからない」という状態に陥ることになります

まりその高度な理論理解するのに必要なそれに比べれば相対的に基礎的な理論概念複数あることも当然考えられ、そのどれを理解してないのかがわからない、特定できない、ということが考えられるわけです。

理解しなければならないこととしては当然高校レベルの部分に穴がある可能性もあるでしょう。

しかし学ぼうとするものを見ても、その理論等の全容を見て、具体的にどんな知識必要か余すことなく把握することは意外に難しいでしょう。

単に用語意味を知らないといったことなら、その用語ネット検索で、その用語を使っている理論のなかでもっとも基礎的なものが何かということを目星をつけて、そこから学ぶという方法がとれるでしょう。

しか学術文章理解できない原因は必ずしも「単にこの言葉がわからいから」というような、わかりやす輪郭を持ったものに由来しているとは限らないと思うわけです。

大学レベル参考書(学術書)や論文を書く人は受験競争経験した人なわけですが、受験勉強で得た「考え方のひな型」のようなものが、少なからずその後の思考やそれに基づく文章に影響を与えていると私は考えます

それはもはや自覚的に認識できるものではない、無意識下にある思考の体系であるわけです。

その「枠組み」を共有していない人にとっては、より言葉を尽くさないとわからないことでも「既知の事項として」という感覚すら持たずに、その部分の言語化をせずに文章を書いている部分があると思います

特に幾何学が絡む記述は、センス=ひな型・枠組みを持つ著者自身には空気のように当たり前のことであるために記述シンプルになってる説明に対して、枠組みの無い人にはなんでそうなるのということがまるでわからないということが起こり得ます

それは著者すれば「なんかこいつすごく察しが悪いな」としか思えないほど逆に理解しがたいことです。

これは大学高校の話ではなく高校とそれ以下の話なのでたとえが悪いかもしれませんが、たとえば高校物理である部分の角度と別の部分の角度が同じという事実から式を導出することにおいて、なぜ角度が同じといえるかということの説明まではされてないみたいなことがあります

これは、角度のことについてなら、中学受験算数の難問を数多く解いてきたりその答に対する解説を見た経験が、まさに有機的に思考の枠組みとして血肉化した書き手自身には、条件反射的に当たり前のように角度が同じだと認識できるが、そうでない人には説明がないとわからない、という枠組みの有無による断絶ともいうべきことが生じているのだと考えられます

しか書き手にはすべての読者のレベル対応することは不可能ですし、そもそも「枠組み」がある当人には1+1=2のレベルで当たり前のようにしか思えない角度の同じさを説明しようという発想すら起こらないから、こうしたことが起こると思うわけです。

そしてこの枠組みは「枠組みが足りてないか理解できないのではないか」という必要性の認識に応じて選択的に必要十分なもの特定して身に着けられる、という性質のものでないわけです。

上記高校とそれ以下のレベルでの話ですが、大学とそれ以下のレベルという場合でも同じ構造問題を共有していると思います

因数分解極限値を求めるための式変形の定石や、その他証明問題などに対して定石と呼べるような解法から定石ではない解法まで、その問題をこなしてきた人たちにとってはその経験が枠組み化しています

なのでその人たち自身が見てきた高校レベル参考書では途中過程として式変形など書かれていたものが、当人研究者になって書く大学レベルの本ではその本人の主観的自明性が強すぎてその途中過程を書くような発想すら存在しないわけです。

ですから大学レベルの本を理解するには、およそ考えられるかぎりのあらゆる高校レベル以下の問題を解いて理解することを片っ端から行いその経験を積んで枠組みとする必要があると思うのです。

でなければ結局「何がわからいかからない」「なんでわからいかからない」という状況に陥ると思うわけです。

予備校講師数学アドバイスで「数3は数1Aと数2B知識がなければ理解できないというが、だからといって数1A・数2B完璧してから数3に取り掛かる必要はない。完璧は難しいのだから同時並行でよい」という趣旨のことを書いていたのを見たことがありますが、まずこれは受験勉強に関してのアドバイスであるということに注意するべきだと思います

まり点を取るためなら、完璧でない理解でも、ふわっとした理解でもパターンとそれへのあてはめとして、問題は解けてしまうということは十分考えられるからです。人口無能、あるいは中国語の部屋のようなものかもしれません。

一方で学問として理解するということにおいては、厳密に完璧理解していなければ、ただの知ったかで、それは全く理解してないのと同じ価値しかないのではと思うわけです。まさに論理として理解しているのではなく「受験で点が取れる感覚」でパターン認識としてわかった気になっているだけだと思うからです。

また、大学以降のより専門的なことが理解できれば、高校で習うことはすべて理解できる、というわけでもないと思います

先ほどの高校物理の例にあるように、高校レベルのことが当たり前になってる人が書いた大学レベル文章には、高校レベルのことは書いてないことがあるわけです。

そして、どの大学レベル理論を学ぼうとするかによっては、自分の持つ枠組みで十分にその理論理解できるということはありえます。ありとあらゆる高校レベルの枠組みを網羅している必要はないわけです。

なので、大学レベルのことは理解してるが、その大学レベル文章高校レベルのことは書いてないかもしれないので、その後大学レベルのことにしか触れなかった場合高校レベルだけど初見だと解けない問題死ぬまで解けないままであるということが起こり得ると思うわけです。

たか高校レベルから、初歩的なんだから受験生じゃなくなっても真面目にとりくむほどではないと思うかもしれません。

しかしそのように単なる初歩的なこととされるかは、意義深いこととされるかは、時代次第の相対的なことではないでしょうか。

2000年上前ならピタゴラスの定理理解することも十分意義深いことだったでしょう。

時代が進むことによって、より高度な定理理論発見され、既存定理はそれを理解するためのより初歩的なことと規定し直されるというだけです。

このような文脈での主語あくまで「人類」です。言い換えれば、人類のうち誰かひとりでも知っていたり理解していたりするようなことを全て知っているような、仮想的な知性にとっての意味付けだと言えると思います。なかば無意識的にこのような仮想的な知性と自分主語のうえで同化させてこのような「初歩的/意義深い」という価値判断をくだしているにすぎないのではないでしょうか。

あるいは「文明」を擬人化して主語においているとも言えるかもしれません。「文明」にとって、容易に理解できる初歩的なことかどうかということです。

一方実際に世界経験する主体単位は「個人」であり、わたしであり、あなたです。

ある時代にとって意義深いけれど今は初歩的なことを理解してない個人がいるならば、人類文明主語である場合、それが最先端知識=未知であるか、または既知となって間もないか、で意義深いかどうかの価値規定されていたのですから個人主語にした場合も同様に考えればよいのではないでしょうか。

まりその個人理解してないのなら、それはその個人にとって意義深いことなのだと思うのです。

大学レベルとか高校レベルとか関係なく、「自分が知らないという意味で意義深い」解ける問題を増やしていくことは、この世界現象に対する理解解像度をあげると思うのです。

から大学レベルのことには書いてない高校レベル問題の解法も赤本や難関大意図した参考書には無数にあるので、それを解き続けることには、それを飛ばし大学のことを学び始めることを通じては経験できない意義深さがあると思うのです。

まとめれば、高校レベルのことが足りないために大学レベルのことが理解できないこともあれば、大学レベルのことでは身に着けられない高校レベルのこともあるので、結局この世の中をよりよく理解する手段として高校レベルのことも大学レベルのことも等しく有効なら、まずは高校レベルのことを完璧にしなければならないのではないか、と思うわけです。

ここまでが持論の全容です。ですが世の中の成果をあげている科学者の全てがこのようなことをしているとは到底思えないので、自分の考えが合っているなどという確信は全く持てないわけです。

なので、ぜひ、反論できるところがあったら教えてください。

2024-03-27

anond:20240327135700

このトラバには異論はない。そこで最後に追加で言っておきたいことを書いて終わりにする。

大学レベル参考書(学術書)や論文を書く人も所詮受験競争経験した人で、受験勉強で得た知識が少なからずその後の思考の枠組みに影響を与えていると思うんだよね。

それで「枠組み」なんてものはなかなか自覚的認識できるものじゃないから、その枠組みを共有していない人にとってはより言葉を尽くさないとわからないことでも「既知の事項として」という感覚すら持たずにそういう言語化をはしょって文章を書いている部分があると思う。

特に幾何学に関する記述は、本人のセンスにとっては空気のように当たり前のことでその説明シンプルであったりしても、なんでそうなるのってことが枠組みの無い人にはわからない。ある人からすれば「なんかこいつすごく察しが悪いな」としか思えない。

これは大学高校の話ではなく高校とそれ以下の話なのでたとえが悪いのだが、たとえば高校物理である角度と別の角度が同じという事実から式を導出するのに、なぜ角度が同じかという説明まではされてないみたいなことがある。

これは中学までの数学を身に着けた人にとっては当たり前のように角度が同じだと認識できるが、そうでない人には説明必要

しか書き手はすべての読者のレベル対応することは不可能だし、「枠組み」さえあれば当たり前のようにしか思えない角度の同じさを説明しようという発想すら起こらないから、こうしたことがある。

こういうことはは中学受験レベル算数から差がはじまっていて、ああいうのが解けるような学力センスとしてあるいは勉強したことで枠組みとして身についてる人と、そうでない人とでは、同じ文章では伝わらない程度の断絶ができていると思う。

自分には大学レベルの本を理解する素地が足りているのか、と思うから、彼らが通っているはずの受験勉強から得た枠組みと同じもの自分にも構築すべく、高校レベルのことを勉強しなきゃという強迫観念がなくならない。学術書論文書き手も当然すべてのレベルの読者には対応してないし、かりに対応しようとしても「枠組み」は「空気」のようなものから、枠組みを持たない人間無自覚想定読者として排除してしまうだろうから

anond:20240327133230

こんな感じの、受験問題の内容が研究対象とは全くならないみたいな考え方をする人が一定数いるけど、なんか固定観念ありきで自ら視野というか可能性を狭めてる感がある。

別にいっぱしの研究者でも初等幾何学を掘り下げたっていいじゃんね。

大卒からなのか高校以下の内容はそうであるというだけで全部価値が無いものと見下してしま

自分こそ学生時代大した研究してないだろうにね

2024-03-25

昔の日本ではハート形を何と呼んでいたのだろう

気になるねえ

何故気になったのか

昨晩の鉄腕DASH自然薯を掘っているのを見たか

自然薯を探すときはまず特徴的なハート形の葉を探すとよい」のような説明がされることがままある

ハート形」という概念が無い昔の日本だと自然薯山芋の葉のような形を何と呼んでいたのか、というのを知りたい

調べましょうね

とりあえず「ハート 昔 日本」でぐぐってみるか……

なるほど、西洋からいわゆる「ハート概念が伝来する以前から土器織物ハート形の文様存在する、と

神社仏閣など建築物には「猪目」と呼ばれるハート形の意匠が施されている、と

なるほどねえ

じゃあ昔の日本自然薯を探すときは「猪目型の葉っぱを探すとよい」と説明されていたのだろうなぁ~

……とはならない

西洋ハート伝来以前から猪目と呼ばれるハート形の文様存在した」イコール自然薯など芋系のハート形の葉っぱを当時の人は猪目のような形の葉っぱと呼んでいた」とはならない

芋掘りする農民が「猪目」というある種の専門用語日常的に使用するか?という点を疑う

農民が子を連れて山に入り、山芋の探し方を教える時に「山芋はこういう形の葉っぱだ」と伝える時、その葉の形をどういう形と表現するか?

勘だけど逆なんだろうな

すなわちハート形を「芋の葉のような形」と呼んでいたのではないか……という勘

その場合

ハート形」という概念が無い昔の日本だと自然薯山芋の葉のような形を何と呼んでいたのか、というのを知りたい

の問いの答えは「自然薯山芋の葉のような形はそのまま『芋の葉のような形』と呼んでいた」ことになる

農民が子に山芋の探し方を教える時も、山芋の葉の形を何かに例えたりせず「こういう葉っぱの形は芋の葉の形だ」と表現する……?

さて、この勘由来の仮説を検証するにはどんな文献を探せばいいのか

とりあえず昔の植物図鑑記述を探してみるか?

いろいろぐぐってみるか

……「大和いも」のwikipediaのページの記述

大和いも - Wikipedia

1911年明治44年)、奈良県農事試験場(現農業研究開発センター)がツクネイモの品種試験を開始した。黒皮ツクネの特徴として「所謂大和薯にして本県の原産なり 蔓褐色にして太く葉は広き心臓形にして葉肉厚く濃緑なり 草勢強壮にして本県の風土に能く適正す 塊根は球状にして豊肥凹凸なく外皮粗厚にして小亀裂をなして亀甲形の斑点をなす 肉質純白水分少なく粘気強くして品質頗る佳良 料理菓子蒲鉾用等に用途広く四ヶ年平均反当収量六百三十二貫四百匁(2.37t)にして種薯に対する生産割合は約八倍に達し供試各品種第二位にありと雖も其価格高きが故に経済上は寧ろ第一位を占む 該薯は零余子(むかご)は頗る小にして二ヶ年間栽培せざれば種薯に供養し難し[9]」と記録されている。

20世紀初頭時点で「心臓形」という表現が使われている

キリスト教伝来から300年以上経過しているかハート形という概念が浸透していても不思議じゃない

キリスト教伝来以前の記述を探したいところだが……

いや、リンネ分類学著作日本に伝来した時期あたりも調べる価値があるか?

西洋植物図鑑で「heart-shaped」のような説明がされているのが翻訳されたことで明治期に一般に普及の可能性……

『日葡辞書』になんか自然薯記述とかないかなあ……いや、あったとしてもポルトガル目線記述から意味いか……

江戸時代アサガオ流行したようだ

園芸アサガオの葉っぱの形で「芋葉」と呼ばれる変異パターンがあるようだ

この呼称江戸時代からあったかどうか?

もし当時からそう呼ばれていたとすれば傍証にはなるか……?

時間切れ、また夜に調べるか……

しかハート形の葉っぱなんて芋に限った話じゃない

例えば徳川家三つ葉葵紋とかもハートの形しているし

三つ葉葵紋は西洋人にハート形と誤解されたみたいな逸話をどこかで読んだような……

いも限定で探すのは筋が悪いかもしれない、再考すること

これは日記です

---

追加で調べたメモ書きを追記しましょうね

葉身 - Wikipedia

Wikipediaの「葉身」の「葉の概形を表す用語」を見ると興味深い

自然薯や葵のような葉は「心臓形(cordate)」と分類されている

その一方でカタバミのような葉は「倒心臓形(obcordate)」と分類されている

へえ……カタバミの方が逆位置扱いなんだ?

きっと西洋メジャーハート形の葉が葵みたいなタイプで、後からマイナーな側に倒心臓形と名付けられた、みたいな流れがあるのだろう

ヨーロッパメジャーハート形の葉っぱの植物……西洋菩提樹とかかなあ

知らんけど~

おそらく現代人の葉っぱの形に対する分解能が昔と比べて落ちている

色の分解能が上がって青と緑が別々になった現象の逆

葵の葉の形と芋の葉の形を現代人は一括りにハート形としてしまうが、昔の人は正しくそれぞれ「葵の葉のような形」「芋の葉のような形」と認識していた可能性がある

ゆえに、「ハート形」に類する形を指す言葉不要だった……とか

その場合

ハート形」という概念が無い昔の日本だと自然薯山芋の葉のような形を何と呼んでいたのか、というのを知りたい

に対する回答は「ハート形より細分化されたそれぞれの植物の葉の形に例えられた表現で呼ばれていた。芋の葉は芋の葉のような形と呼ぶほかないし、葵の葉は葵の葉のような形と呼ぶ。」

となる

本当に?ちょっと怪しい理屈な気がする

そもそも葉っぱ以外でハート形をしたモノが例えば江戸時代にどれだけあったというのか、という話がある(桃とか……しかし葉っぱを指すときに「桃の形の葉っぱ」とは言わんやろ、たぶん)

市松模様とか唐草模様とか、古くからある文様でいわゆるハート柄っぽく見えるものはないっぽいしなあ……一応「猪目文」があるのか

それこそ数少ない葉っぱ以外のモチーフハート形が現れたときそれを「猪目」と呼んでいたのではないか

検証できるかどうか

うーんどうだろう、例えばこういう攻め方はどうか

本草学」という昔の日本学問ジャンルがある

博物学医学薬学中間みたいなジャンルという認識なのだが、植物の葉の形で分類するみたいなことをやっていたらしい

そういう文献にはきっとハート形の葉の説明文章があるはず

ただなぁ~、学者先生が使う言葉認識と、市井の人々の使う言葉認識って別だろうからな……

自分が欲しい情報じゃないかもな

とりあえず1759年ごろに書かれた『花彙』という名の植物図鑑国会図書館デジタルコレクションで読んでみよう

---

ああそうだ、江戸時代には和算というものがあった

面積を求める和算問題で、ハート形の図形の面積を求めよ……みたいな問題あるかもな

もしあったなら「〇〇に似たこの図形の~」みたいな記述があるかも

一応調べること

→軽く調べてみたが無さそう……こち方面調査頓挫

---

調査がとっちらかったので自分の関心の向き先を言語化しておこう

■メインクエス

・「ハート形」という概念が無い昔の日本だと自然薯山芋の葉のような形を何と呼んでいたのかの調査(昔の人は山芋の探し方をどうやって伝えたのか問題

■サブクエスト

・昔の日本における(芋の葉以外の)「ハート形」と類似した図案、文様使用例、またその呼称調査

幕末明治期の文献からハート形」」「心形」「心臓形」の記述を探して市井の人々の中に「ハート形」という概念が定着していった流れの調査

調べがいがありそうなテーマだし、焦らずゆっくり調べていこう

---

メモ

こういう調べものをしていると古辞書に何と書かれているか確認したいというシーンがしばしばある

インターネット上で閲覧できる古辞書を調べる事

また、現代語訳された古辞書書籍として売ってあるなら購入も検討すること

辞書で「猪目」をひいて何と書かれてあるかを確認したい

辞書辞典であるならば形の説明文章でしている可能性がある

また、もしも辞書に「猪目」が載っていないなら当時の一般的な語彙の中に「猪目」が含まれていないとみなすことが出来るかもしれない

ここまでの調べものは「猪目は確かに日本古来から存在するハート形の模様だけど、昔の日本の多くの人は猪目って単語を知らないのではないか」という話が前提にあるので、その裏取りにもなる

神社仏閣に猪目模様があって、その模様があると知っている人でも、その模様の名前を知っているかどうかは完全に別

例えば……コンクリートブロック塀の松みたいな模様の穴が開いたブロック、あれの名前を知っている現代人は少ないのではないか

似たような構造があることを疑っている←この例は適切ではない……「身近にある模様でも名前を知らないものはある」という意図で例示したが、……上手く言語化できないな、後で再考する バックスペースを押さないことがアウトプットやすくなるコツみたいな文章を何かで読んだ

トランプハート柄が「猪目柄」と呼ばれないという傍証はあるんだけどな……→昔の日本人でも猪目という単語を知っている人は少ない説

それはそれとして、そろそろくずし字を読めるようにならないと調べものが滞る……教材を探して勉強してみるか

---

■メインクエス

・「ハート形」という概念が無い昔の日本だと自然薯山芋の葉のような形を何と呼んでいたのかの調査(昔の人は山芋の探し方をどうやって伝えたのか問題

→率直に「芋の葉の形」と何にも例えず呼んでいた、あるいは「芋の葉に似た植物の葉の形」を例に挙げて説明していた……と思われる

直接的な物証発見できず

しかし古い植物図鑑を見ていると、例えばサツマイモの葉の説明をするときに「葉は朝顔に似る」のように別の植物で例える記述が多くみられた

(余談だがアサガオヒルガオ科サツマイモ属なので葉が似ているのは納得、リンネ階層分類体系は偉大っすなあ)

であれば別の植物の葉の形で例えるのがまあ自然か……

■サブクエスト

・昔の日本における(芋の葉以外の)「ハート形」と類似した図案、文様使用例、またその呼称調査

→これは猪目、家紋で描かれるカタバミや葵あたりが該当

芋って家紋モチーフにないんだなあ、考えてみるとちょっと意外(芋桐紋とかあるけど、これは芋ではなく桐モチーフと呼ぶべきだろう)

♡の幾何学的な図形の特徴を指す呼称という意味では、そのような概念存在しない……か?

猪目が一応それではあるんだけど、市井の人々に広く知られた概念ではなかった(これも証拠なし)

からこそ芋や葵の葉も「♡の幾何学的な図形の特徴を指す呼称」で形を例えられないということになる

幕末明治期の文献からハート形」」「心形」「心臓形」の記述を探して市井の人々の中に「ハート形」という概念が定着していった流れの調査

→ https://web.archive.org/web/20181002182121/nhk.or.jp/kaisetsu-blog/400/261341.html

トラバ言及いたここに詳しい(情報提供感謝

調査がひと段落したのでクローズ

2024-03-18

文系ブクバカ

ShimoritaKazuyo もうここまで来たら円周と直径を構成するそれぞれの原子数を数えて比べた方がいいのでは?その上で量子力学的なゆらぎが発生し絶対数が定まらないのであれば、まさにそれこそが円周率本質だな。

原子とか量子力学とかしってるボクチャン偉いでしょ、ってか?w

こいつガウス積分とか数学の至る所でπが出てくること知らなそうだな...それこそ量子力学勉強してれば死ぬほど出てくるんだけど

幾何学定義(←小学校でやるw)だけを円周率本質だと思ってるのがまじド文系って感じだ

https://b.hatena.ne.jp/entry/4750776343567733280/comment/ShimoritaKazuyo

https://megalodon.jp/2024-0318-1131-17/https://b.hatena.ne.jp:443/entry/4750776343567733280/comment/ShimoritaKazuyo

2024-03-04

中学生の息子に勉強を教えるときにやった内容

小学校小6~中学1年まで極度に勉強ができなかった。

テスト問題文の理解ができなかったり、問題文の日本語は読めるが表現が気になってその所を何度も確認して先に進めず1問目以降白紙などもあった。

このような状態だと学校集団塾では改善はしないだろうと感じたので、自分勉強につきっきりになることにした。

幸い、私はある程度勉強はでき、中学レベルなら英国数ならほぼ満点はとれる。

まず、問題文を読んで頭がパンクしてしまうことに関しては、深く考えるとパンクしてしまうということなので、そのパンク兆候がでたらその問題から離れる訓練をした。

日々の家庭学習問題集をとかせ、それが発生しそうなら知らせてスキップする。

テストときでも、損切して0点を防ぐ効果がでた。

そのあと、問題文でパンクする問題を一緒に説いて、問題文は何を求めているのか2人でじっくり考えるようにした。

そうすることで、問題文の表現パターンが分かり、次第にテスト問題文の意味が分かるようになってきた。

もともと息子は社会理科は興味があるので、問題文が読めればある程度テストでも点数が取れるようになった。

(一部追記)

なぜ小6から勉強ができなくなったのかというと、小学校の頃は雰囲気でやってもなんとかなっていたから。

しかし高学年だと英語もはじまり、内容も高度化して遅れていった。

私も「小学生なら特に何もやらなくても大丈夫だろう。」という楽観もあった。あまりテスト結果もみてなかった。だがそうならなくだんだんと置いていかれるようになっていた。

よって、6年からできなくなったというわけではなくて、表面化したという表現が適切かもしれない。

数学

問題問題が解消された後は、数学理解が進んだ。

算数小学校時代は苦手だったが、中学にきて意外にも好転してきた。

正負の計算方程式最初の関門だが、正負の計算で今まで『0より小さい数字になるような引き算はできない』というルールに感じていた気持ち悪さが解消され、調和した四則演算ができるので一気に数に対する理解度が増した。

方程式はやり方を教えて何度かやっているうちに、四則演算理解度が高まっていたので難なく扱えるようになった。

その流れで、連立方程式も進んだ。

一次関数数学の第2の関門だが、これは科学史への興味が効果がでた。

デカルトについてと、代数幾何学を同じ計算でできるということを教えたら、興味が増し。

交点が連立方程式でとけることに感動していた。二次関数自主的に予習していた。

国語

興味がある本はどんどん買った。

私が持っている本も年齢的に理解できないとしても貸した。

はじめは音読で読んでいたが、次第に黙読になりスピードもました。

最近国語の読解問題もとけるようになってきた。

たまに私が読んでいた本を息子が読んでいるときに、理解をしているか要約させたりしている。

英語

これが今もできない

元々、文章理解して意図を汲むというのを苦手としていた上に、日本語構造が違うので理解の糸口が見つからない教科だった。

単語の読み方も法則が分からないようで、理解が難しいようだ。

まずは英語文法と成り立ちから教えた。

ラテン語からゲルマン語、ノルマンコンクエストフランス語が入ってきたといういくつかの文明の交わりで言葉が変わっていったというところ教えた。歴史が大好きなのでこういうので覚えてくれる。

曜日ローマ神話、月名とラテン語の数詞とカエサルアウグストゥスなど、そういった言葉語源も添えると覚えてくれる。

そのあとで、主語動詞特に中学校では後半にやるけど5文型は先に教えた。この子構造理解したら先に進めるタイプなので、文法構造からやった。

そのかいあって、単語並び替え問題等では最初は全くすべてをランダムにおいていたのに、今は少しずつ文法構造はわかってきた。

文法は言われればわかるが、単語がどうも覚えられない(覚えてくれない)

単語効率の良い覚え方はレクチャーしたが、英語以外の教科では理解をした後に一気にすべてがわかるブレイクスルー体験したがために、どこか暗記に銀の弾丸があると思っている節がある。

から本人は怠けてしまう。

1年1学期の白紙よりかは良くはなってきているが…今後、改善必要ポイントだ。

勉強のやり方

定期テスト後に学校指定問題集を提出が義務付けられている。

テスト直前になると問題集を解くだけに忙しくなると勉強ができないので、2週間くらい先を進めて予習して問題集をやらせている。早めに課題を終わらせて、自分自身の問題点に向き合える時間をふやす

余談だが、学校でもその問題集を使うので毎日持って帰るのが大変だ。今は学校では置き弁がゆるされているが(じゃないと運べない量)、ちゃん勉強するとなると荷物が大量になるというジレンマがある。

インプットアウトプットの間隔を短くさせるために、1ページごとに採点・間違えたところの確認・再度問題を解く・というサイクルを持たせている。

最終的に、独力で自分課題発見解決のサイクルができればいいが、まだそこは難しい。問題がとけない原因を言語化させるように努めている。

言語化ができれば、半分以上解決したようなものだ。

採点の際には私も一緒にやって理解度を確認している。その際には、あてずっぽうで答えて当たったことをさせないために、回答の根拠ちゃんと聞くようにしている。

今やっている範囲以外のことの理解も足りているか確認もここでする。英語だったら授業範囲ではないが、以前やった単語表現が出てきたらちゃん理解しているかを聞く、

学校指定されている問題集以外にも、たくさん解かなければ身につかないので、市販問題集で補ってやっている。

試験を想定した実戦形式問題場合時間を短めに設定して、制限時間内に終わらせるようにしている。

これはなるべく家庭学習で実戦より難しい状態にしておくことで、実戦が楽になるためだ。

以前のように問題文でパニックになるのを防ぐためでもある。

学校と塾について

学校はあまり勉強に熱心でないと感じた。

良い教師もいるが、教えるのが苦手な教師もいる。

それどころか、学校教科書も体系立てて書かれておらず、そのまま読んでも理解しづらい。

特に英語に感じたことだが、読む・聞く・話す・表現する を重視するあまり文法単語に関してはサラっと先に進んでいる。

指導要領が増えているため時間がないのかもしれないが、とにかく内容がスカスカだと思う。

to不定詞を例にとれば、名詞用法形容詞用法副詞用法 があるがそれをまとめて説明しているページがなく、

英語表現コラム的な位置ちょっと書いてあるだけなのだ

旺文社の『中学総合研究』など総合的な説明が書かれている本を買って、体系づいた知識アクセスできるようにする必要がある。

これに関しては数学も同じだ。

また、受験に関しても中学校の教師はあまり良いアドバイスをしてくれない。問題の傾向などの情報も持っていないようだ

私は塾はなるべく通わせたくなかった。本人の集団学習に馴染めない傾向というのもあるが、それだけでない。

高校義務教育でないにしてもほとんどが進学するようになった現在、進学への対策義務教育の範疇だと思う。

貧乏でも義務教育をちゃんとしていればいい高校に入れるべきなのだが、塾に通わせなければならない現状はおかしいとおもう。

また、塾と部活をやると大人でも過労死基準労働時間に相当する拘束時間になってしまう。それを子供に強いるのはおかしい。

なので、社会の歪みをそのまま迎合するのも避けたかったので、学校がクソなら親の私がその穴を埋めようとしていた。

だが、今年の春から中三なのだが、学校高校受験に関する良い情報を何一つ持っていないので不安しかない。

また、英語がやはり伸びない。

私は勉強はできても教えるプロではないので、やはりプロの力は必要だと思い、個別指導に通わせることにした。

受験の開幕前だが、今までを振り返ってみるとまあ親としてちゃんとできたかなとは思う。

引き続き、今後も息子の自己学習監督していく。

追記

反響があって驚いている。

読み返してみると、勉強のことばかり書いていて詰め込みさせ過ぎなんじゃないかという印象を与えそうなので、一応勉強以外のことも追記しておこうと思う。

まず、ゲームスマホ禁止をしていない。

私がゲームをするし不公平だし、禁止したところで不満が出るだけだ。

ただ、ゲームも「負けて・リプレイをみて・問題点を改善して・試合に挑む」という姿勢学校勉強と同じだということ。成績の上位層の生徒はゲームも大体うまい。ということは教えている。

ただ、ゲームカジュアルにやってほしいので、介入することはない。

スマホ問題をとく15分か30分はLINEをしないという制約をつけている。やることは一つに絞れと。

どうやら女子メッセージ取り合って一喜一憂しているらしいが、私は気づいていないふりをしている。

恋愛などに介入すると親への信頼を損なう可能性があるからね。

2024-03-02

anond:20240302060053

三角関数ゲームプログラミングとか信号処理かに必須から

古文とか漢文が役に立ったことはほとんどない

旅行で寺とかに行って読めるとか、そんなもんだよな

スポーツの成績は精神によっても左右されるので、精神論は必要だけど、数値化して科学論理的思考するのが成績アップのコツ

そこは受験勉強とかと同じなんだよな

そういえば、ギタリスト学校勉強はいるのか?三角関数はいるのか?みたいなのYouTubeで観たけど、

ギターのリペア幾何学必要なのもあるけど、エレキギターの回路とか、PAとしての最低限の知識インピーダンスとかマッチングとか、

学校勉強まったく必要ないって言ってる奴出てたけど、どう思ってるんだろうな

なんでケーブルペアになってるか、とか、どうしてノイズ相殺されるのか、とか、

ギターアンプというより、単なるトランジスタ増幅器さえ組めないレベルだと話にならない気がするし、

そもそもディストーションの音がどうやって実現しているのか、エフェクターの中だってそうだよな

結局、学校受験勉強は役に立ってる気がするぞ

2024-02-21

[] 数学は量子物理学と同様に観察者問題がある

量子力学における観測問題についてはよく知られるように、人間主観性が量子実験の結果に重要役割果たしている。

ドイツ物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。

私たちが観察するのは現実のものではなく、私たち質問方法さらされた現実です。」

例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。

したがって実験プロトコル選択は、観察する行動パターンに影響する。これにより、一人称視点物理学の不可欠な部分になる。

さて、数学にも一人称視点余地はあるか。一見すると、答えは「いいえ」のように見える。

ヒルベルトが言ったように、数学は「信頼性真実の模範」のようである

それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。

ピタゴラスが生きていなかったら、他の誰かが同じ定理発見しただろう。

さら定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。

さて、ピタゴラス定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学声明であるしかし、ピタゴラス定理は、非ユークリッド幾何学の枠組みでは真実ではない。

何が起こっているのか?

この質問に答えるには、数学定理証明することの意味をより詳しく調べる必要がある。

定理真空中には存在しない。数学者が正式システムと呼ぶもの存在する。正式システムには、独自正式言語付属している。

まりアルファベット単語文法は、意味があると考えられる文章を構築することを可能にする。

ユークリッド幾何学正式システムの一例である

その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。

次に正式システムのすべての文のうち、有効または真実である規定した文を区別する。これらは定理である

それらは2つのステップで構築されれる。まず、最初定理証明なしで有効である宣言する定理選択する必要がある。これらは公理と呼ばれる。

これらは正式システムの種を構成する。

公理から演繹は、すべての数学コンピュータで実行可能な印象を生む。しかし、その印象は間違っている。

公理選択されると、正式システム定理構成するもの曖昧さがないのは事実である

これは実際にコンピュータプログラムできる客観的な部分である

例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである

しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。

ユークリッド幾何学定理は、非ユークリッド幾何学定理ではなく、その逆も同様。

数学者はどのように公理を選ぶのか。

ユークリッド幾何学非ユークリッド幾何学場合、答えは明確である。これは、単に説明したいもの対応している。

平面の幾何学であれば前者。球の幾何学であれば後者

数学は広大であり、どのように公理選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。

過去100年間、数学集合論に基づいてきた。

すべての数学オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。

たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。

一般的なセットとは、数学で正しく定義されたことがない。

集合論特定正式システムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。

今日数学者は、すべての数学を支える集合論正式システムとしてZFCを受け入れている。

しかし、自分自身を有限主義者と呼ぶ少数の数学者がいる。

彼らは、無限公理と呼ばれるZFCの公理の1つを含めることを拒否する。

言い換えれば、有限主義者正式システムは、無限公理のないZFCである

無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である

有限主義者は、自然数リストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。

彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。

したがって、彼らはZFCから無限公理を削除する。

この公理を取り除くと、有限主義者証明できる定理はかなり少なくなる。

正式システム判断し、どちらを選択するかを決定することができるいくつかの客観的基準...なんてものはない。

主観的には、選ぶのは簡単である

時間空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。

ゲーデルの第二不完全性定理は、十分に洗練された正式システム(ZFC等)は、自身一貫性証明することができないと述べている。

数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。

そしておそらく、決して知ることはない。

なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式システムにおけるZFCの一貫性証明することしかできなかったから。

一貫性証明する唯一の方法は、さらに大きな正式システム作成することだけだ。

数学を行うためにどの公理選択すべきかについて、実際には客観的基準がないことを示唆している。

要するに、数学者が主観的に選んでいるというわけである自由意志に任せて。

公理のための主観的基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。

これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。

自分自身制限する必要がないので、無限公理を受け入れる。

特定公理のセットを選択する行為は、量子物理学特定実験を設定する行為に似ている。

それには固有の選択肢があり、観察者を絵に導く。

これが、一人称視点とそれに伴う自由数学において正当な場所を取る方法である

2024-02-17

anond:20240216124331

まず

>ユークリッド幾何学での直線は「幅をもたず、両側に方向に無限にのびたまっすぐな線」

ではなくね?

他の用語なり論法なりは数学上で数学的には無矛盾で厳密で一意だろ

別に直観主義なり形式主義なりを持ち出さなくとも

「本当に厳密」は例えば幾何学で直線を扱うとき必要でないから扱わない。で解決する

「本当に厳密」に拘るなら数学は「本当に厳密」ではないでいいんじゃね?

「本当に厳密」なもの論理的には存在しないから展開せず意味がないけど。

数学を一番に置きたい人種数学の厳密性が高いってのは相対的な話であって絶対的な話じゃないだろ

2024-01-26

[]2024/01/26

ビル・ゲイツダボス会議富裕層への増税を訴える

https://www.msn.com/ja-jp/money/other/%E3%83%93%E3%83%AB-%E3%82%B2%E3%82%A4%E3%83%84-%E3%83%80%E3%83%9C%E3%82%B9%E4%BC%9A%E8%AD%B0%E3%81%A7%E5%AF%8C%E8%A3%95%E5%B1%A4%E3%81%B8%E3%81%AE%E5%A2%97%E7%A8%8E%E3%82%92%E8%A8%B4%E3%81%88%E3%82%8B/ar-BB1h9nrM?ocid=socialshare

 

電撃解任そして復職から2ヶ月、サム・アルトマン氏がダボス会議に登場——汎用AIに対する考えを軟化

https://thebridge.jp/2024/01/in-davos-sam-altman-softens-tone-on-agi-two-months-after-openai-drama

 

メタがAGIのオープンソース計画ザッカーバーグ宣言

https://www.msn.com/ja-jp/news/techandscience/%E3%83%A1%E3%82%BF%E3%81%8C%E6%B1%8E%E7%94%A8%E4%BA%BA%E5%B7%A5%E7%9F%A5%E8%83%BD-agi-%E3%81%AE%E3%82%AA%E3%83%BC%E3%83%97%E3%83%B3%E3%82%BD%E3%83%BC%E3%82%B9%E5%8C%96%E8%A8%88%E7%94%BB-%E3%82%B6%E3%83%83%E3%82%AB%E3%83%BC%E3%83%90%E3%83%BC%E3%82%B0%E5%AE%A3%E8%A8%80/ar-BB1gVm3r?ocid=socialshare

 

ダボス会議が閉幕、企業トップ紛争の先探る 米経済を楽観視

https://www.msn.com/ja-jp/news/money/%E3%83%80%E3%83%9C%E3%82%B9%E4%BC%9A%E8%AD%B0%E3%81%8C%E9%96%89%E5%B9%95-%E4%BC%81%E6%A5%AD%E3%83%88%E3%83%83%E3%83%97%E3%81%AF%E7%B4%9B%E4%BA%89%E3%81%AE%E5%85%88%E6%8E%A2%E3%82%8B-%E7%B1%B3%E7%B5%8C%E6%B8%88%E3%82%92%E6%A5%BD%E8%A6%B3%E8%A6%96/ar-BB1h2RB6?ocid=socialshare

 

Google DeepMindが数オリの幾何学問題を解けるAI「AlphaGeometry」を発表

https://www.msn.com/ja-jp/news/techandscience/google-deepmind%E3%81%8C%E6%95%B0%E5%AD%A6%E3%82%AA%E3%83%AA%E3%83%B3%E3%83%94%E3%83%83%E3%82%AF%E3%83%AC%E3%83%99%E3%83%AB%E3%81%AE%E5%B9%BE%E4%BD%95%E5%AD%A6%E5%95%8F%E9%A1%8C%E3%82%92%E8%A7%A3%E3%81%91%E3%82%8Bai-alphageometry-%E3%82%92%E7%99%BA%E8%A1%A8-%E4%BA%BA%E9%96%93%E3%81%AE%E9%87%91%E3%83%A1%E3%83%80%E3%83%AA%E3%82%B9%E3%83%88%E3%81%AB%E8%BF%91%E3%81%84%E6%80%A7%E8%83%BD%E3%82%92%E7%99%BA%E6%8F%AE/ar-AA1n9hfo?ocid=socialshare

2024-01-24

anond:20240123171549

佐野事件はまじで日本デザイン業界を終わらせたな

セレモニーとしてのオリンピックはザハ案白紙撤回の時点で終わってたが、

佐野案が通せればまだ1964年五輪から継承された日本デザイン力を世界アピールできる可能性があった

あの統一感のあるミニマルな赤黒金に彩られた東京を見たかったよ

あれを捨てた時、日本デザイン界はありきたりでつまらない、真面目だけが取り柄の

田舎公共施設みたいな方向に行くことが決定づけられた

nendoが手がけたドコモショップの赤黒金の幾何学模様の看板を見るたび、佐野デザインに彩られた

あったかもしれない東京の姿を幻視する

あれは失われた東京へのオマージュなんだと思う

2023-12-06

マゾヒスト(M)のひも男で良いの?

万物理論」になるのは簡単ではない。

アルバート アインシュタイン一般相対性理論説明したように、大規模なスケールでは重力が時空構造の曲線のように見えるように、重力自然の量子法則に適合させるという非常に困難な仕事を担っている。

どういうわけか、時空の湾曲は、重力エネルギー量子化単位、つまり重力子として知られる粒子の集合的な影響として現れる。

しかし、重力子がどのように相互作用するかを単純に計算しようとすると、無意味無限が生じ、重力についてより深く理解する必要があることがわかる。

M理論は、宇宙のあらゆるもの理論の有力な候補としてよく言われる。

しかし、それについての経験証拠や、重力が他の基本的な力とどのように統合されるかについての代替アイデアはない。

では、なぜM理論が他の理論よりも優れているのか?

この理論は、重力子、電子光子、その他すべてのものは点粒子ではなく、さまざまな方法振動する、目に見えないほど小さなエネルギーの「糸」である仮定していることは有名である

1980 年代半ばに弦理論への関心が高まり物理学者は弦理論量子化重力数学的に一貫した記述を与えることに気づいた。

しかし、ひも理論の既知の 5 つのバージョンはすべて「摂動的」であり、一部の体制では破綻することを意味していた。

理論家は、2 つの重力子の紐が高エネルギーで衝突したときに何が起こるかを計算できるが、ブラック ホール形成するほど極端な重力子の合流がある場合には計算できない。

その後、1995 年に物理学者エドワードウィッテンがすべての弦理論の母を発見した。

彼は、摂動理論が一貫した非摂動理論に適合することを示すさまざまな兆候発見し、これを M 理論と名付けた。

M 理論は、異なる物理文脈におけるそれぞれの弦理論に似ているが、それ自体には、すべての理論の主要な要件である有効性の領域制限がない。

2 年後、物理学者フアン・マルダセナが AdS/CFT 対応関係発見したとき、別の研究が爆発的に起こった。

これは、反ド シッター (AdS) 空間と呼ばれる時空領域重力を粒子の量子記述 (と呼ばれる) に結び付けるホログラムのような関係である「共形場理論」がその領域境界上を動き回る。

AdS/CFT は、AdS 時空幾何形状の特殊なケースに対する M 理論の完全な定義提供する。

AdS 時空幾何形状には負のエネルギーが注入されており、私たち宇宙とは異なる方法で曲がる。

このような想像上の世界では、物理学者は、原理的にはブラック ホール形成蒸発を含む、あらゆるエネルギーでのプロセス記述することができる。

この基本的な一連の出来事により、ほとんどの専門家は M 理論を有力な TOE 候補とみなすようになった。

ただし、私たちのような宇宙におけるその正確な定義は依然として不明である

その理論が正しいかどうかは全く別の問題である

それが想定する文字列、およびこれらの文字列が動き回ると思われる余分なカールした空間次元は、大型ハドロン衝突型加速器のような実験解決できるものよりも 1,000 万分の 1 倍小さい。

そして、宇宙ひもや超対称性など、見られたかもしれない理論の巨視的な兆候のいくつかは現れていない。

一方、他の TOE アイデアにはさまざまな技術問題があるとみなされており、重力子-重力子散乱計算など、弦理論による数学一貫性実証再現したものはまだない。

遠い競争相手には、漸近的安全重力、E8 理論、非可換幾何学、因果フェルミオン系などがある。

たとえば、漸近的に安全重力は、無限に悩まされる計算解決するために、より小さなスケールに進むにつれて重力の強さが変化する可能性があることを示唆している。

2023-11-13

数学宇宙仮説とは?

人生宇宙、そしてすべての意味とは何か?「銀河ヒッチハイク ガイド」では、答えは 42となっている。

科学質問範囲は、一部の分野では縮小し、他の分野では急増した。

宇宙ある意味数学であるという考えは、少なくとも古代ギリシャピタゴラス派にまで遡り、物理学者哲学者の間で何世紀にもわたる議論を生み出してきた。

マックス・テグマークはこの考えを極限まで推し進め、宇宙は単に数学によって記述されるのではなく、数学自体であると主張している。

この議論の基礎は、人間とは独立した外部の物理現実存在するという仮定である

これはそれほど物議を醸すものではない。物理学者の大多数はこの長年の考えを支持していると思うが、まだ議論されている。

形而上学独我論者はそれをきっぱり拒否し、量子力学のいわゆるコペンハーゲン解釈の支持者は、観察のない現実存在しないという理由でそれを拒否するかもしれない。

外部現実存在すると仮定すると、物理理論はそれがどのように機能するかを説明することを目的としている。

一般相対性理論量子力学など、最も成功した理論は、この現実の一部、たとえば重力素粒子挙動のみを説明している。

対照的に、理論物理学の聖杯はすべての理論、つまり現実の完全な記述である

現実人間とは独立して存在すると仮定する場合記述が完全であるためには、人間概念をまったく理解していない、人間以外の存在、つまりエイリアンスーパーコンピューターなどに従って、現実が明確に定義されていなければならない。

言い換えれば、そのような記述は、「粒子」、「観察」、またはその他の英語単語のような人間負担排除した形で表現可能でなければならない。

対照的に、教えられてきたすべての物理理論には 2 つの要素がある。

それは数式と、その方程式私たちが観察し直観的に理解しているものとどのように関連しているか説明する言葉である

理論の結果を導き出すとき陽子分子、星などの新しい概念を導入するが、それは便利だからである

原理的には、このようなバゲッジがなくてもすべてを計算できる。

たとえば、十分に強力なスーパーコンピューターは、何が起こっているか人間言葉解釈することなく、宇宙状態時間の経過とともにどのように進化するかを計算できる。

バゲッジを含まない外部現実記述を見つけることは可能か?

もしそうなら、外部現実における物体とそれらの間の関係のそのような記述は完全に抽象的でなければならず、あらゆる言葉記号は何の事前の意味も持たない単なるラベルにならざるを得ない。

代わりに、これらのエンティティの唯一のプロパティは、エンティティ間の関係によって具体化されるものになる。

ここで数学が登場する。

現代数学は、純粋抽象的な方法定義できる構造正式研究である。つまり数学構造発明するのではなく、それらを発見し、それらを記述するための表記法発明するだけである

人間から独立した外部の現実を信じるなら、テグマーク数学宇宙仮説と呼ぶもの、つまり物理現実数学構造であるということも信じなければならない。

言い換えれば、巨大な数学オブジェクトの中に住んでいる。

そのオブジェクトは、十二面体よりも精巧で、おそらくカラビ・ヤウ多様体テンソル束、ヒルベルト空間などの恐ろしい名前オブジェクトよりも複雑である

世界のすべてのものは、あなたも含めて純粋数学であるはずだ。

それが本当であれば、万物理論純粋抽象的で数学的でなければならない。

理論がどのようなものになるかはまだわからないが、素粒子物理学と宇宙論は、これまでに行われたすべての測定が、少なくとも原理的には、数ページに収まりわずか 32 個の未説明の数値定数を含む方程式説明できる段階に達している。

したがって、すべての正しい理論は、T シャツに書ける程度の方程式説明できるほど単純であることが判明する可能性さえある。

しかし、数学宇宙仮説が正しいかどうかを議論する前に、外部の物理現実を見る 2 つの方法区別することができる。

1 つは、上空から風景を観察する鳥のような、数学構造研究する物理学者の外側の概要

もう一つは、鳥によって見渡される風景の中に住むカエルのように、構造によって記述される世界に住む観察者の内面視点

これら 2 つの視点を関連付ける際の 1 つの問題時間関係する。

数学構造は、定義上、空間時間の外側に存在する抽象的で不変の存在である

宇宙歴史映画に例えると、その構造は 1 コマではなく DVD 全体に相当する。

したがって、鳥の視点から見ると、4 次元時空内を移動する物体の軌跡は、スパゲッティもつれに似ている。

カエルには一定の速度で動く何かが見えますが、鳥には調理されていないスパゲッティのまっすぐな束が見える。

カエル地球の周りを回る月を見ると、鳥は絡み合った2本のスパゲッティが見える。

カエルにとって、世界ニュートン運動重力法則によって記述される。

鳥にとって世界パスタ幾何学模様である

2 つの視点を関連付ける際のさらなる微妙な点には、観察者がどのようにして純粋数学的になることができるかを説明することが含まれる。

この例では、カエル自体は厚いパスタの束で構成されている必要がある。

その非常に複雑な構造は、おなじみの自己認識感覚を引き起こす方法情報を保存および処理する粒子に対応している。

では、数学宇宙仮説を検証するにはどうすればよいか?

まず、自然界ではさらなる数学規則性がまだ発見されていないことが予測される。

ガリレオ数学宇宙の考えを広めて以来、素粒子小宇宙と初期宇宙の大宇宙における驚くべき数学的秩序を捉える素粒子物理学の標準モデルなど、その系譜に沿った発見が着実に進歩してきた。

この仮説は、並行宇宙存在という、より劇的な予測も行う。

長年にわたって多くのタイプの「多元世界」が提案されてきましたが、それらを 4 つのレベル階層に分類することが役立つ。

最初の 3 つのレベルは、同じ数学構造内の非通信並行世界対応します。レベル I は単に、光がまだ到達していない遠い領域意味する。

レベル II は、介在する宇宙宇宙論的膨張により永遠に到達できない領域カバーする。

レベル III は「多世界」と呼ばれることが多く、特定の量子事象中に宇宙が「分裂」する可能性がある、量子力学のいわゆるヒルベルト空間の非通信部分が含まれる。

レベル IV は、根本的に異なる物理法則を持つ可能性がある、異なる数学構造並行世界を指す。

現在の最良の推定では、膨大な量の情報、おそらく Googolビット使用して、観測可能宇宙に対するカエル視点を、すべての星や砂粒の位置に至るまで完全に記述する。

ほとんどの物理学者は、これよりもはるかに単純で、T シャツには収まらないとしても、本に収まる程度のビット数で特定できるすべての理論を望んでいる。

数学宇宙仮説は、そのような単純な理論が多元宇宙予測するに違いないことを示唆している。

なぜなら、この理論定義上、現実の完全な記述であるからである

宇宙を完全に特定するのに十分なビットが不足している場合、星や砂粒などの考えられるすべての組み合わせを記述しなければならない。

そのため、宇宙記述する追加のビットは単にエンコードするだけである

世界電話番号のように、私たちがどの宇宙にいるのか。このように、複数宇宙記述することは、単一宇宙記述するよりも簡単になる可能性がある。

極限まで突き詰めると、数学宇宙仮説はレベル IV の多元宇宙意味し、その中に他のすべてのレベルが含まれる。

宇宙である特定数学構造があり、その特性物理法則対応している場合、異なる特性を持つそれぞれの数学構造は、異なる法則を持つ独自宇宙である

実際、数学構造は「作成」されるものではなく、「どこか」に存在するものではなく、ただ存在するだけであるため、レベル IV の多元宇宙必須である

スティーヴン・ホーキング博士はかつてこう尋ねた。

方程式に火を吹き込み、それらが記述できる宇宙を作り出すものは何でしょうか?」

数学宇宙場合重要なのは数学構造宇宙記述することではなく、それが宇宙であるということであるため、火を噴く必要はない。

レベル IV の多元宇宙存在は、物理学者のジョン・ウィーラーが強調した混乱する疑問にも答える。

たとえ宇宙を完全に記述する方程式が見つかったとしても、なぜ他の方程式ではなく、これらの特定方程式が使われるのか?

他の方程式が並行宇宙支配しており、観察者をサポートできる数学構造分布考慮すると、統計的可能性が高いため、宇宙にはこれらの特定方程式があるということだ。

並行世界科学範囲内なのか、それとも単なる推測に過ぎないのかを問うことは重要である

並行宇宙はそれ自体理論ではなく、特定理論によってなされた予測である

理論反証可能であるためには、そのすべての予測を観察および検証できる必要はなく、少なくともそのうちの 1 つだけを検証できれば十分である

たとえば、一般相対性理論は、重力レンズなど、私たちが観察できる多くのことを予測することに成功しているため、ブラックホールの内部構造など、私たちが観察できないことについての予測真剣に受け止めている。

ここに数学宇宙仮説の検証可能予測がある。

多くの並行宇宙存在するのであれば、我々は典型的宇宙にいると予想されるはずです。

ある量、たとえば、この量が定義されている多元宇宙の一部の典型的観測者によって測定された暗黒エネルギー密度空間次元確率分布計算することに成功したと仮定する。

この分布により、我々自身宇宙で測定された値が非常に非典型的ものになることが判明した場合、多宇宙、したがって数学宇宙仮説が除外されることになる。

生命要件理解するまでにはまだ程遠いが、暗黒物質、暗黒エネルギーニュートリノに関して私たち宇宙がどの程度典型的であるかを評価することで、多元宇宙予測テストを始めることができる。

なぜなら、これらの物質銀河形成など、よりよく理解されているプロセスにのみ影響を与えるからである

これらの物質存在量は、多元宇宙ランダム銀河から測定されるものとかなり典型的ものであると測定されている。

しかし、より正確な計算と測定では、そのような多元宇宙は依然として除外される可能性がある。

結局のところ、なぜ数学宇宙仮説を信じるべきか?

おそらく最も説得力のある反対意見は、直感に反して不安を感じるということである

数学宇宙仮説が真実であれば、科学にとって素晴らしいニュースであり、物理学と数学の洗練された統合により、深い現実理解できるようになる可能性がある。

実際、多元宇宙もつ数学宇宙は、期待できるすべての理論の中で最良のものであるかもしれない。

なぜなら、規則性を明らかにし、定量的予測を行うという科学的探求から現実いかなる側面も立ち入れないことを意味するからである

しか宇宙についての究極的な疑問を再び変えることになる。

どの特定の数式が現実のすべてを記述するのかという問題は見当違いであるとして放棄し、その代わりに、鳥の視点からカエル宇宙観、つまり観察をどのように計算するかを問うことになる。

それは、宇宙の真の構造を明らかにたかどうかを決定し、数学宇宙のどの隅が私たち故郷であるかを理解するのに役立つ。

 

参考文献: 数学的な宇宙 究極の実在の姿を求めて by マックス・テグマーク (著), 谷本 真幸 (翻訳)

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