「定理」を含む日記 RSS

はてなキーワード: 定理とは

2023-12-03


  臭いゴミが円周上にズラッと並んでいてそれで完全体だから何もいいところが出てこないというのが定理で、それを、石村智っていうわけです。

2023-11-30


   複素直線束三角圏で、補完定理をもってきたりしてやる。 宮地先生簡単なことで、といっているが、オイラーが n=3のとき証明までに50年以上かかったので

   自分でやったら簡単ではない。戸田中のこぐれ。

2023-11-29

パスカル定理ってクソだよな

  六角形を用意して対辺の延長点を3つとったくらいな過激操作で、その3点が一直線になる程度のことで自慢してんじゃねえよ

   さの意味では、フェルマー予想は、4を初等的にできて、4の研究をついだら、3の場合もまあギリギリできますというエレガントな証明オイラーがやって

   オイラーの結果から3の倍数では証明できているので、33%はそれで証明できる

2023-11-26

   x^4+y^4=z^4に該当する自然数存在しないというのが思い付きですが、 理科3類、理科1類に上位で合格する人は、 作業能力があるので、

   必死で手を動かせばできると思いますが、なんでこんなことを思い付くかと言うと歴史があって、これはまだ定理ではないので

     とくるわけねーだろという2ちゃんねるの人がいますが、その、とくるわけねーだろというのが分からないのですが

    とりあえず2ちゃんねるプログラム板に、エンジニアがいるので、これの解を検索するプログラムを書けよといって書けない時点で終わっているので

    だから全盛期からすると2ちゃんねるの奴らも、高齢化が激しくて恥ずかしくて言えないので

  やる気がセットアップされていないかプログラムを書けない

2023-11-25

30代の弱者男性2024年AIに望むこと

AGIがそろそろ来るという噂もあるので、希望を書いておく。

  

控えめ

論文自動査読自動執筆

 研究爆速になってほしいね

  

・抜きに耐えるくらいの、アダルト動画アダルト漫画

 リアル女性性的搾取したくない。

  

youtube吹き替え

 字幕結構できるみたいだし、吹き替えもまあまあできる技術あるらしいし、youtbeならできるようにしてくれー。

希望

・生成AI現在AVくらいのアダルト動画アダルト漫画

 リアル女性性的搾取したくない。

  

・生成AI自動漫画ガンガンできてくる、youtuberみたいな動画ガンガンできてくる

 実況動画はできるみたいだし、頼むよー

  

数学物理自動理論探索

 数学物理の新しい定理ガンガン掘ってくれ。今の将棋みたいに、ガンガンAI人間リードして新しい発見してくれ。

  

望み薄だけど希望

希望を伝えたら、勝手に実行してくれる社員みたいなAI

 論文書いてて〜、ネット記事サイト作って、バズらせておいて〜みたいな

  

ロボット自動で働いてくれる

 草刈りとか、介護でお風呂とか自動でやってくれ〜

2023-11-21

   フェルマー予想は、数論の初歩的なもんだいであるのに対して、なぜ解けないのか?

     通常の発想  補完定理という者が見つからない。 見つかるとできるはずであるが、見つかった形跡がない。  平成3年頃の数学者  inductionで出来るのではないか

   ※ 平成3年ごろの数学者 28+5=33年間経過しているので存在するわけがない  当時、75歳  現在  108歳

     住んでいると予想される場所   舟渡一戸建て  しかし、普通存在をみることができない

   2012年IMO問題  事実を適示して、帰納法で出来た。または、 補完定理があった。

      宮岡洋一先生とこの老人が協力しているのかどうか。分からない。

     舟渡2丁目で トラメガ   本日ユーチューブに録音したものを流したのを認めたため、  本署に任意同行 ■■■■

     志村警察署   令和3年2月1日から、110番通報処理簿から、 署長名を記載するのを中止した  それ以前は、 署長名が書いてあった。 当時の署長は 鈴木

2023-11-18

  ウィルソン定理というのは数論でも有名で、 素数pを含むなんか式を考えて、それの中にpで割り切れるようなものはないかという定理ですよね。

  だから

     そういうのは中々ないんだけど、この (p-1)!を考えるのが情報なんすよね、過激な。で、そこに 1を足すからこれまた簡潔な情報

  それがpで割り切れるという、定理です。

   えーとそれで、これを解説してるのはぼくの友達なんだけども、証明はですね、書くとテクニカルになるから省略するとはいいませんが、何を使うべきか難しいんですね

    結論から言ったらー、フェルマーの小定理から出て来るんですけども、関数 f(x)= x^p-1 -1 を考えてもよいと。

   それでも難しいので、色々な人が証明を考えました。 それで証明って何かというと、要するに、 支持できるかどうかなので、結論だけ言われても意味がないのが数学なので、

  ちゃんと支えないといけないわけですが、その支え方のですね、説明だけなら誰でもできるんですが、自分で考えないと面白くないので、しかもーこの定理は非常に単純なので

   小学生でも理解できるのでなんか、自分ちゃんと支持というか、支えるよな解答を考えてみなさい、というわけです

     さてと、その支持とかですが、 実際やろうとすると色々な専門知識とか情報必要になりますし、極めて難しいとは言いませんが、難しいので

   でも、説明がついたらうれしいのですよね

   それで、 その結論提示して、それを支持するのが数学なんですが、その、ウィルソン定理がなんでそうなるかですよね、だから、なんで、(p-1)!+1が pで割れるのかです

    

anond:20231118014343

から厚生経済学の基本定理というものがあって、パレート効率性を目指すために、パレート改善をする施策を考える

パレート改善は難しいことも多いので、補償原理議論するわけ

こういう経済学の基本があって初めて議論が成立するよね

2023-11-17

   ウィルソン定理は非常に難しいし、プライベート時間に考えるのはいいが、職務として証明を完成させる能力もひまもないので無理。

 斎藤先生三枝洋一先生がその専門家かどうかは分からないが職務上解答を作成しなさいと言われても分からないだろうと、教務課の係長が言っていた。

   石井志保子先生もそういう授業はできないのではないか立野先生も、顔面障碍者が多いからできないといっている。

  行政不服審査法行政法第2部で習ったか名前だけはしっているが仕組みは知らない、また、その法がどれくらい価値があるかについては、第2部の先生から教えられていない

   から魅力も興味もない  

    一方でわたくしは、そのよく分からないものよりも、 10世紀から700年間証明されなかった数学上の定理に興味がありますので

    もし、700年間証明が出てこなかったものよりも、法律が大したことがないと、そんなくだらないものに付き合っている暇もないし、長文を書いたら禿げるだけなので

2023-11-16

  それでこの、 (p-1)!≡ー1 mod pっていうのは、簡単に言えば、  (p-1)!+1 はpで割り切れる、という凄まじい内容で本当にそんなことがあるのか?ということで検証しないと

  いけないですよね

     p=2のとき、  2/2=1

    p=3のとき、  3/3=1

  p=5のとき、  25だから

    p=7のとき、  6!+1=721=700+21だから7で割れると。

    p=11とき、  10!+1= 10*9*8*7*6*5*4*3*2*1+1

                  ≡ 2*12*8*2+1 ≡ 32+1 ≡ 0

    ちゃんと割り切れる。びっくりだ。こんなことがあっていいのか?この定理は有能過ぎないか

   (p-1)!は mod pで ー1であろうという定理か何かを予想していたが、証明は700年後となったというのは、この定理は、なんか、なんていうんだっけ

   あ、ウィルソン定理っていうんですが、10世紀に、なんか、教会の人が思いついて、証明できたのがなんか、17世紀になってかららしくて

   ヨーロッパの人って、10世紀ごろの人はこうなんかそんなに頭が悪かったのかなあって思うのですが

   それでここの、正確には、 (p-1)!≡ー1 mod p っていう素数に関するですね、なんか、凄い公式なんですよね。定理だと思いますが 素数規則性がないといいながら

    この定理があるのでですね、だからこの定理は凄い訳です。んで何が凄いかと言うとこの、 穴がないところなんですが、pで割ったら必ず、 ー1があまりに出て来るということで

   数論では有名なんですね、ものとして、それが証明がなんかすぐできそうな感じがするのですが、非常に簡単ものなので

     

 人気数学者                     理由 実績

   長尾健太郎              2000年頃の天才  IMOで満点

   ワイルズ                      フェルマー予想完成

  Andrew-ogg              χ(c,f) の公式発見

 Shafarevich

   宮地昌彦                   実解析の分野で有名  鳥人間コンテスト  東京女子大学

  Weyl                     軍人だったが数学者に転換 

   ユークリッド               全ての数学モデルとされる初等幾何学ルールを整備し、2000年間にわたる大量の問題を編み出す基礎を形成

                        素数無限存在することを証明

   10世紀、13世紀の数学者?            (p-1)!は mod pで ー1であろうという定理か何かを予想していたが、証明は700年後となった

   ペーターショルツェ                IMO最後問題を解いた天才

   オイラー

   ライプニッツ

           

   フェルマーの大定理実質的な内容は、満足する整数存在しないことが全てのnについて成立するというだけ。非常に珍しいしたまたま規模が大きいので骨董品とされながら350年間

  解かれなかった。類似問題で係数をつけたものがあるが、これはその係数を全部1にそろえられるという意味価値がないから解けて当たり前だというのが数学界の通説。

     ワイルズ証明は、オイラーが3のとき検討した、u^p+v^p+w^p=0 uvw≠0 などの初等分野で出尽くした定理を多数陳列して、次第に証明の完成に向かっており

  非常に難解。

    本質的には、有理数体、p進簡約群などの問題になるので、それは、(x/z)^p+(y/z)^p=1 だからであるが、モジュラー性は複素関数理論で非常に深いことを大量に言わねばならない。

ちゃんねるのVipperは、20年前に書かれた書籍によると、コリヴァギンフラッハ法というもっと完全無欠な技術があって、東大教授はこれについては沈黙

    ABC予想類似の様々な定理証明するがそれ自体証明できないからどうともならない。

   平成14年に東大文Ⅰに入った人だと白根真理雄がいますがおそらく死んだ人なのでフェイスブックでも平成14年のコメントはないし、平成15年だと、永山悟は前期試験で落ちたので

  だからコメントする者が誰もいないという状況。平成29年にぺちが理科一類に入ったんですけど面白味のないくだらない問題しかなかったのでコメントしない。

   平成23年の理科問題はかなりの難問が並んでいたんですが誰もコメントしないと。

     それから昔は、数学0点、英語120点とまではいかなくても、  数学5点、 英語105点とかで入った人もいるので。しかコメントは一切ない。

2023-11-15

   とある不定方程式の解が存在しないことは、x^n+2y^n=4z^nが存在しないことは、15行程度で証明できるので、ファーでもなんでもなくこれはただの練習問題

   係数がないとき数学の本番なので、係数があるときにファーと思う人もいるから、フェルマーというのは孤立した骨董品であるとも言われる一方で非常に有名な定理である

   なぜなら似たような方程式で解けないわけではないので、係数に2,4がついたものはすぐに解ける。しかし、本番になると解けない

   ヴェイユがこの問題エベレストであるというのは?

    証明技術としては、 補完定理やなんかを思い付く方法によってもできますが、え?過激ものと簡潔なものを重ねると、そこでぐるぐる回るようになっている。

   大体同じ。はい。え?正方形の面積のことを2回指摘しただけだから最後正方形の面積を使う。変数の入れ替えの場合は、過激な奴と簡潔な奴を使うだけ。

    それが一体となっているとき定理で、そうでないとき技術の1つです。柳田彩花? はい進研模試偏差値は45くらいで、読んだら分かるけど自分ではできないと

  申してました。多分人間ではない。5月3日に児島伸一に紹介されて、6月23日まで黄色チャートを教えたんですけども、24日から定期試験に入るというので、

   コンプレックスなので、コンプレックス一次元方程式、2倍のc2が、c1のスクウェアよりも大きい。言い忘れましたが、7月3日に東京駅で禿もぐらが便所を壊していたのを目撃した。

  目撃したんですけども、ちっとも分からない。

    フェルマー予想は、x^n+2y^n=4z^nであると解けるのですがこの係数がついているのは明らかに幾何学的に無駄なので練習問題で本番の問題の体を成してないからでは

    ないかと思うが。本番の問題になると、該当するもの存在しないというところに出てn≧3の全てのnで存在しないという完全性なものから非常に難しい。

    ペーターショルチェが解いたIMO問題は、せいぜい、平面に凸多角形をもってきてそこに三角形を割り当てる発想をしてその面積を全部足したら多角形の2倍を下回る

    ことがないという定理ですので。フェルマー予想は非常に不思議な内容でなおかつ、4のときでも複雑な議論になる。しかし4のときを解いておかないと、素数pだけでいいという

    ことが言えない。また、素数pだけいいということになっても、余計に難しくなっただけ、赤チャートに書いている議論をすると、4のときは、初等的な議論と、無限降下法で存在しない

    ことがいえるので、全く出来ないわけではない。しかし、3のときは同じように無限降下法を使っているが、オイラー証明は、何が書いているのか分からない。だから全然だめなわけです。

    ただし、4のとき存在しないことは初等的証明で非常に分かりやすくできるということを、赤チャートが既に例題っていうか、入試問題に出ていますので、4の場合は、ただし赤チャートという

    本自体を誰も読んでいないからわかるわけがないと、あ、そうだ、延岡ブックオフに行ったら赤チャートは置いていない。私が赤チャートを買ったのは東京ブックオフです。その上のランク

    黒チャートというものもあるようですが買ったことがない。

  国際数学オリンピック問題程度であれば、いくらでも珠玉のような問題があるので、しかし、そこに出ている問題はどんなに技術的に難しい問題でも、20行程度で解けてしまうので

  これでは、そういう問題比較して、なぜ、フェルマーの大定理は解けないのかの解明にならない。数学の優れた定理一般驚愕的な内容を持つが、IMOのショルツェが解いた問題でも

  実質は補題が発動するだけで、面積の関係主題である。逆にフェルマー場合は、あの数式でいって、該当するものがないという過激なことを指摘し、それが全てのnで、という内容に

  なっているが、これとIMOと何が違うのか?というとその解釈論がわかれる。なぜ届かないのか?である。この種の方程式存在しないことを示す方法がないわけではない。

   なぜ難しいのか?350年間解けなかったのかについての実質的議論はどこにも書いていない。

     朝日新聞はというか、夕刊デイリーでもそうだが、インターネットのせいで論破されてそのコンテンツ自体が死んでもう蘇生しないし、あの佐藤も、文系蘇生させる術を知らないのである

  そこで黒番刑務所にいって、もらわきと長谷川が荒治療をしたところで、朝日新聞が復活するわけがない。なぜなら、もらわきというのは、長谷川軍人からである

   もらわきが昼間に本気を出すとその辺にいる人が聞いてはいけないような声が出るので、他方、昼間の長谷川北朝鮮軍人なので、昼間の本人をみたらいけないし多分10工場のヴィデオを

  Youtubeにアップしたらとんでもないことになるだろう。

    

2023-11-14

  アンドレヴェイユが、 x^p+y^p=z^p はエベレストのようなもので誰も登れないといった理由は何か? ど素人は、 x^p+2y^p=4z^pの場合は、3行で構成できる証明法が

  理学部数学科書籍の中に存在するので、x^p+2y^p=4z^pであると、できるが、2,4という係数をなくしたものは、最高峰になる。直線という美的形象からすると、2,4という

  cofficientは削除したものがまだあるので、x^p+y^p=z^pのように、係数が全部、1になっているもので、更に、簡潔になる。定理趣旨は、存在しないという過激なことをいい、その完全は

  全部のnで存在しないということであるしかし、pが、増えていくごとにやたら難しくなるのではなく、3,4のとき証明できると、全部のうち、33%は証明できるので、nが大きくなるとどんどん

  難しくなるという構造はしていない。3で割って余りが1,2の場合証明できない。または、4の余りが1,2,3のときができない。なんでできないのか?

  むかしはその実質的な難しさを指摘し、自分で解いたという猛者がいた時代もあったが、最近2ちゃんねるでは、のきなみ、とくるわけねーだろ、という書き込みしかない。

   数学という学問は、警察官拳銃の撃鉄を引いて発射するにも等しい学問なので時代遅れだから平成時代はやってはいけないということだったが、正方形に関する2個の事実を指摘すると、

  正方形の中に正方形が出現するという特殊補題が得られる。正方形の中に正方形を作るとたいていの場合循環論法になって結論に到達しないので、 けどもが、似たようなことをすると

   失敗しがちだが、的確な見地からやると不思議な図形が登場する。なぜ的確な見地からすると不思議な図形が出て来るかも、よく分からない。

   

  裁判長裁判官   陰湿増田

   自動車警邏班   赤松祟伸

  陰湿増田の説示は、概要次のとおりである

     国家賠償法1条1項は規定と呼ばれているが、数学定理があるように法律では規定になっているもの定理と同じような質のものであるのかどうか分からない。

   数理科学ではなく数学一般に難しいと言われているが、法律規定をするときに、その規定をすることが難しいという見解はきいたことがない。数学では、ある連立方程式を満足するnが

  きれいに決まっているということが趣旨である説明されるが、法律では分からない。仮に分かったとしても実質においてクソ駄文であり、魅力的なところが存しない。霞が関の一部の職員から

   誰も理解できない文章という指摘があるが、全ての職員にいきわたっていない。検察官山田朋美は、法がないことを認めない。しかし、令和2年の夏ごろに延岡市のあもり橋に出てきて、

  こっそりと、だから国にはない、と認めた。令和2年か、3年かは確定しない。

   フェルマーの大定理は、 x^p+y^p=z^pと同値である、全部証明しないと意味がないが、ヴェイユは、エベレストのようなもので誰も登れない、支持する道具がないといってるのに対して

  青少年が興味を持たない。

2023-11-12

  あフェルマーの大定理が何で解けないのかは先生によって諸説あるが、そもそもある不定方程式の解が存在しないことを支持する道具は、レブオービット場合と複素曲面の場合

   存在する。知られているものフェルマー自身教科書に書き込んだ無限降下法というもの

   フェルマーの大定理っていうのは、貴重な情報が円の上にずらっとならんでいるという構造をしており、構造層のオイラー標数の2倍よりも小さい。

   一般素数場合でいいと言われているが、素数場合になるのではなく、三角形照射した場合に、それだけでいいということで、もし、pと言うことになると、p進ホッジ構造

   有理数体を研究しないと、Z^pなど解明できないので非常に難しくなる。アンドレヴェイユは1998年に亡くなっていますが非常にけちだったので92歳まで生きた

   アンドレヴェイユフェルマー予想の先生だったが外貌として鼻が高い、ヴェイユは、この問題について、標高100ヤードの山にもとぼれない人がエベレスト登山できた話は聞いたことがない

   というが、x^4+y^4=z^4の証明でも、複雑な議論になり、全然説明できる道具が見つからないので、全部の証明など不可能であろうという趣旨の話だと思う。

   フェルマー予想の結論数学の有能性と完全性の内容だが、証明技術発見されていない。本では、x^67+y^67=z^67などの非正則素数証明できないという学術研究になっている。

    正則素数だとできている。数論幾何的には貴重な情報がずらっと並んでいるという趣旨内容で非常に規模が大きいので大定理評価されていると思う。

2023-11-11

    平面上に三角形をもってきた場合に、その3辺に関する長さが決まるという定理とか公式はない。ヘロンの公式は面積との関係をいうものだが定理なのかどうか分からない。

   直角三角形ときに、a^2+b^2=c^2という貴重な内容で、長さが完全にある。こうすると、デカルト座標上で、 2点間の距離計算できる。

     2点間の距離計算できることは発表されたとき驚愕されるが、驚愕的な証明とは?

2023-11-10


    ピタゴラスの定理は宮岡洋一先生などの間でも定理なのかどうかが疑われている。デカルト座標距離を決定する極めて重要機能を果たすので重要であることには

   間違いがないが、定理なのか事実なのか、一般的には定理であろうと言われているが、一般定理は、難しい趣旨内容をしているので、直角三角形ときだけ長さの

   関係存在するといっても、どこがそうであるのか、確かに、そのような定理で、a^2+b^2=c^2という内容であると完全無欠なので応用の幅は広いと思われる。一般数学

   完全無欠を思料される道具は、個別問題における分析事実の指摘を通じて、最終的な解決の道具となるが、厳しいものとなる。

     東大理科一類天才が解いたとされるバッタ問題も、最後の決め手は、帰納法であるしかし、それでまとめ上げるまでの、事実の指摘が4つもあり、

   非常に厳しいものであったが、その反面で、帰納法というものの圧倒的な完全性や有能性を物語問題でもあった。

2023-11-08

    数学において、定理は、英語で、THEOREMと言いますが、THEOREMとは、単なる事実、すなわち幾何学的にいうと宇宙の中にあるただのインターセクションではなく

    円周上のインターセクションに過ぎないとき定理ではなく事実で、円周および直線上のインターセクションでもない場合は、ほとんど価値のない事実である

    フェルマー予想でも、類似の予想でも、THEOREMと記載されているときは、当該実践数学者が、完全なものとして認めているときで、Lemmaと書いているときは、補題

    という定理である。THEOREMのほとんどにはLemmaがついていて、定式化というのは、教科書存在して当たり前の原理のようなもので、相似変換とか不定方程式

    その例である数学者はそのような専門知識事実教科書に体系化し、様々な定理確立して最終的に目的に到達します。グリーンタオ定理はそのような論文となっている。

    エルデシュ予想と同値であろうということをいってそれに関する偏微分方程式定理や定式化を多くやって最終的にやっていますがこれは多分、オーストラリア数学者がやったことで

    東京数学者がしたものではないので価値はない。

   素数の列の中に任意の長さの等差数列があるという定理について解説する。これは、主に、素数と、等差数列という有名な主題にまとをしぼったもので、なおかつ、

   どこに存在するかは確定できないが、どこかに存在するだろう、という点に出て、任意の長さの等差数列が存在するという趣旨の完全な定理である

   等差数列はしばしば初等整数論話題にされることは界隈の者なら誰でもしるところである。その等差数列と素数の融合定理であるしかし、巨大で遠大な定理である

   ため、諸学者ノートに書いて手を動かしてもどのような方針を立てて進めていいか皆目見当がつかない。最終的な解決エルデシュ予想を幾何学的に組み立てるという

   方法により作られたが、大量の定理や定式化から構成されており、専門家でないとそれを理解することは難しい。

エントロピーベクトル

複素エントロピーという概念があるように、エントロピースカラーではなくベクトルである可能性がある。

情報が定まれエントロピーが下がるという話と、宇宙状態が放っておけば熱力学エントロピーが増加していくという話は別の方向の話である

放っておけば情報理論的エントロピーは下がり続けるが、こっちのエントロピー時間の矢という概念関係するとは限らない。

と言っても量子力学では、量子削除不可能定理があるため、やはり情報理論的エントロピーは下がり続ける。

しろ情報確定を繰り返すから時間の矢が存在するかもしれない。

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