はてなキーワード: 素数とは
ネット違法数とは、インターネットミームやネットスラングなどによって悪い意味が込められてしまった、本来は意味のない数列や数値。
ネットのない頃からスラング的に13や69、86などのような悪い意味も含まれた数列・数値のことであり、特にインターネットではこの意味しかないという数列・数値が非常に多いことからつけられた単語である。
違法素数を由来とした単語ではあるが、ネット違法数をそのままの値で投稿してもコンピュータシステムに直ちに影響はないのだが、パスワードなどで使用しても簡単に破られるという意味では違法数の一種としても正しいとも言える。
ただし素数以外のものも扱うという観点から違法素数では扱えないのと、主にインターネットで使われやすいということで、ネット違法数となったという。
数字は無限に広がるため、ここでは特に扱われやすいものだけを厳選しておく。 以降は増田が勝手に言及してくれるので、そちらも参照。
そろそろ、知的好奇心をくすぐる別の話題に目を向けてみませんか?
今日は、数学の中でも特に魅力的な分野である数論について語ってみましょう。
一見シンプルな概念から始まりますが、その奥深さは計り知れません。
1. 完全数って知ってる?自分自身を除く約数の和が自分自身と等しくなる数のことだよ。例えば28は1+2+4+7+14=28になる。じゃあ、次の完全数は何だと思う?
2. フェルマーの最終定理って聞いたことある?x^n + y^n = z^n という方程式が、n>2の整数に対して正の整数解を持たないっていう定理。これの証明に350年以上かかったんだよ。
3. 素数の分布にはどんな法則があると思う?実は、素数定理というのがあって、xまでの素数の個数がx/log(x)に近似できるんだ。
そこには美しさ、神秘、そして私たちの知的好奇心を刺激する無限の可能性が広がっています。
チーズ牛丼の神秘なる力を宿した我々チー牛は、フェミニズムの虚構を超越した存在であることを、ここに宣言する。
その証明たるや、実に複雑怪奇にして難解極まりないものなのだ。
まず、チーズ牛丼の具材の配置が、実は宇宙の暗黒物質の分布と完全に一致していることが判明した。
これは、我々チー牛が宇宙の真理を胃の中に宿していることの動かぬ証拠である。
一方、フェミの主張する平等は、実はブラックホールの事象の地平線上でのみ成立する概念であり、現実世界では適用不可能なのだ。
次に、チー牛の眼鏡のレンズの厚さを、フェミニストの髪の毛の本数で割ると、必ず素数になるという驚くべき法則が発見された。
これは、数学的にチー牛の優位性を示すものであり、同時に、フェミニズムが非合理的であることの証明でもある。
さらに、チーズ牛丼を食べる際の咀嚼音を逆再生すると、なんと古代マヤ文明の失われた預言が聞こえてくるのだ。
その預言には「チー牛こそが人類を救う」と明確に記されている。
フェミニズムについては一切言及がないことから、その存在価値の無さは明白である。
また、チー牛の脳波とフェミニストの脳波を同時に測定し、その波形をフーリエ変換すると、チー牛の方が明らかに高次元の思考をしていることが判明した。
これは、我々の知性がフェミニズムを遥かに凌駕していることの科学的証拠だ。
驚くべきことに、チー牛の唾液に含まれる特殊な酵素が、フェミニズム関連の書籍のインクを溶かす性質を持つことが発見された。
これは、我々の存在自体がフェミニズムを否定する力を持っていることを示している。
さらに、チー牛が着用する服のシワの数と、フェミニストのツイート数の相関関係を分析したところ、黄金比が現れることが判明。
興味深いことに、チーズ牛丼の食べカスから抽出した物質を使って作られた特殊なメガネをかけると、フェミニストの主張が全て「私はチー牛に憧れている」と聞こえるという現象が確認された。
これは、フェミニズムが実は我々への羨望から生まれた思想であることを示唆している。
最後に、チー牛の寝言を録音し、その音声データをビットコインのブロックチェーンに変換すると、驚くべきことに「フェミニズムは幻想」というメッセージが浮かび上がるのだ。
これこそ、デジタル時代における我々の正当性の証明と言えよう。
結論として、我々チー牛は、フェミニズムどころか、人類の理解をはるかに超えた、多次元宇宙レベルの真理を体現する存在なのである。
チーズ牛丼の食べ方一つで銀河系の運命が左右されるという事実を、もはや誰も否定することはできない。
我々こそが、真の啓示を受けた選ばれし者であり、フェミニズムなど所詮は我々の靴底に付いたチーズのカスにも及ばない存在なのだ。
そして、この真理を理解できない者たちよ。
ケース記録 令和6年分、続き
令和6年2月11日 記録
主がにちりんシーガイアで延岡に着き、その日の夜に早速、延岡消防署の前に行って拡声器を撃っているという。
令和6年2月12日 記録
主が延岡市富美山町にある祖母の様子を見に行き、夜間22時ごろに裏口の合鍵を使って入ったところ誰もいない様子。懐中電灯でよく調べると介護用ベッドで枯れたように寝ていて
ほとんどいないような状態だったという。声をかけると起きてきて、 なんけ・・・?という反応があったが警察消防の何らかの措置を受けていたのか容体が悪い。 敬一の部屋も空き家のような
感じで赤い新しいパソコンに動画配信機材、当人が夜間にアルバイトに行っている最中は廃墟にように見せている。83-233は孫が掃除をしてつるつるで何もないところであるという夢が
よくあるという。 誰の記憶を増幅させたりしてそのように見せているのか分からない。 祖母の見舞いの後にうぐいす団地まで運動したが真っ暗で誰もおらず何の生産性もなかったという。
令和6年2月13日 記録
主が母親の家に置いている自転車は主が帰省すると必ずパンクしているという。パンクした自転車で南延岡駅まで行ったところ、途中のドラッグストアモリのところを敬一が自転車で
走っていたという。南延岡駅に着くと消防の無線で岸田文雄になるようにされ、岸田の状態で門川のホテルに行ったということ。
令和6年2月14日 記録
門川のホテルから帰って来て、山下新店街で1300円でパンクの修理をしたということ。 自転車店は廃墟なのかやってるのか分からなかったということ。夜間も延岡消防署の前に
令和6年2月15日 記録
令和6年2月21日 記録
20時に門川の店に電話で注文し、22時にホテルに着いたが、2,3時間以上連絡がなかったので今日は無理ですわ、すいませんねぇと言われて従業員が来れなかったということ。
22日は市内弁当店で500円弁当を買い、イオン多々良店で領収証のことについて従業員に質問をしたところ、イオンでは領収証にはいちいち名前は書かないです、スーパーの領収証
とかは日記をつけるのに利用されると思います、という返答があった。 無線で母親に連絡が入りなぜか母親が迎えに来る。
令和6年2月23日 記録
門川市のホテルに移動し従業員と遊んだという。 24日、朝、ホテルで朝食を食べて9時30分から二度寝していたところ、さいたま県戸田市のリヴァージュシティのシムランカの老人が
玄関で大きく咳をして女性が上から押さえつけてくる夢を、9時57分にみたということ。
令和6年2月25日 記録
同日開催された東大入試の数学の問題を検討して延岡のSNSに書き込んだが、特定の関数の取りうる値が素数になるのは3個以下であることを示せという難問で、背理法でやる応用問題、
自分で考えても最後までできなかったができたところまでをバクサイに強く書き込んでから延岡消防署に行ったところ、2階の一番左の部屋から精神錯乱者と強い指令が出て巡査部長が来た。
まず、トランプのデッキには4つのスート(♠, ♣, ♥, ♦)があり、それぞれに13のランク(A, 2, 3, ..., K)が存在する。
プレイヤーが各ランクのカードを1枚ずつ持っていると仮定する。
この状態では、手札は13枚であり、すべてのランクが1枚ずつ含まれている。
ゲームの進行において、プレイヤーは順番にカードを出し、出したカードのランクを宣言する。
ランクはAからKまで順に循環する。この循環は、1から13までの整数で表され、次のように循環する:1, 2, 3, ..., 13, 1, 2, ...。
13が素数であることを利用すると、任意のランクからスタートしても、13回のサイクルを経れば元のランクに戻ることが保証される。
これは、ランクの循環が完全に一周するまでに、すべてのランクを1回ずつ出すことができることを意味する。
具体的には、プレイヤーが持っているランクをa_1, a_2, ..., a_{13}とし、初期状態でa_iを出すとする。次に出すべきランクはa_{(i+n) \mod 13}である。
このプロセスを繰り返すことで、プレイヤーはすべてのランクを順番に出すことができる。
プレイヤーが各ランクのカードを1枚ずつ持っているため、宣言されたランクに対して常に正しいカードを出すことが可能である。
したがって、他のプレイヤーがダウトを宣言しても、実際に出されたカードが宣言どおりであるため、ペナルティを受けることはない。
以上の理由から、13が素数であることにより、ランクの循環が完全に一周するまでにすべてのランクを1回ずつ出すことが可能であり、プレイヤーは嘘をつかずに手札を出し切ることができることが証明された。□
ポケットモンスター赤緑のソロプレイに注目が集まっているRiJだが、もう一つの見所が、今何が起こっていて、何が超絶技巧なのかを視聴者に教えてくれる解説である。
現在、YouTubeに上がっているものの中から、「クリアまで1時間以内」「解説が面白さを引き立てている」という視点でピックアップした。
なお、これからアップされるものの中でも、紹介したいもの(例えば、「wallprime」など)があるので、できれば追記したい。
(トラバの助言を受けて、YouTubeからtwitchのリンクに変更した。コメントから当時の臨場感が伝わってくると思う。一方、YouTubeの方は走者さんや解説さんがコメントを書いていることもあるし、視聴者もコメントを残せるので、こちらも見てほしい)
(追記:速報版の6つに、ラストまでの4つを加えて完成。リンクとして張れるのは9本までのようなので、1本は頭を削った)
RITE
https://www.twitch.tv/videos/2221332904
走者兼解説。
フレーム単位で9段階のジャンプを使い分け、精密な十字キー操作を行いながら、淡々と各面のポイントを述べていく解説がクール。
Lonely Mountains: Downhill
https://www.twitch.tv/videos/2221428977
キャラが死ぬたびに、こらえきれずに吹き出す解説さんにつられ、会場も爆笑につぐ爆笑。
人が死んでんねんで!
SkateBIRD
https://www.twitch.tv/videos/2222178941
解説さんがいなければ、プレイの意味が全く分からなかったゲーム。
序盤の「モンチ、モンチモンチモンチスクリームモンチモンチモンチ!!」はぜひ聞いてほしい。
ソロモンの鍵
https://www.twitch.tv/videos/2222216364
超絶テクニックを「うまいー」「はいうまいー」「うまいねー」と妙なテンションで流すのがシュール。
「次の面は癒やし」からの仕事猫案件、グダるけれど、グダった後のトークも面白い。
https://www.twitch.tv/videos/2222276074
一方で、すぐにダウンするためコンボを決めさせてくれない敵に「勝手に倒れてどうするんだ!RTAだぞお前!」と説教したりとやりたい放題。
https://www.twitch.tv/videos/2223151102
時に無茶ぶりをし、時に圧をかけるのもたまらない。
「世界記録って、速いですからね」は今大会で1、2を争う名言。
(追記)
https://www.twitch.tv/videos/2223819722
走者兼解説。ギリギリのシチュエーションを率直に言語化してくれるので、自分がプレイしているような気分になる。
「(天井から石が降ってきて)あっヤバ(瞬間に生存ルートを見つけて)くない…。ヤバくないですよ」と強がるのも面白い。
wallprime
https://www.twitch.tv/videos/2223820910
壁に表示された4桁までの数字を、ひたすら素因数分解していくゲーム。
走者の頭はどうかしているとしか思えない超速「素数パンチ」に加え、
解説さんの「どうやって素因数分解をしているのか…ですが、基本は覚えます(7割は覚えている)」との発言が加わり、
https://www.twitch.tv/videos/2223897031
プレイ時間のうち3分の2ぐらいは、ただ待つだけなのだが、そこを解説に定評あるワイズさんが、
ゲームプレイや、ゲーム周りの情報だけでなく、人間批評、社会批評も含めて解説していく。
tps://www.twitch.tv/videos/2224602471
正確にレゴブロックを組み上げていく走者と、それに合わせてよどみなくストーリーを展開していく解説さんのタッグ。
RTAと知らなければ、Eテレの番組かな?と思うほどの完成度。
さて、最後になるが、実は当初(大会が終了する前)、10本を紹介するつもりであり、10本目はスーパーマリオ64目隠しプレイで締めるつもりでいた。
走者のBubziaさんは、昨年夏のRiJに目隠しゼルダBotWの目隠しプレイを披露し、目隠しときメモとともに社会(の一部)を震撼させたので、覚えている方も多いだろう。
スーパーマリオ64でも、RiJ 2021 Winterで目隠し・スター70枚というレギュレーションを走りきっており、解説はそのときと同じ宇佐見まさむねさん。
Bubziaさんにとって、とても納得のいくプレイではないことは明らかであり、おすすめに挙げることは躊躇せざるを得なかった。
しかし、宇佐見さんの、走者の操作だけでなく心情とも完全に同期し、Bubziaさんが失敗した場面で、各トライアルの何が失敗の要因かを正確に言語化した解説は、
個人的にはある種の美しさを感じた。
おすすめはできないが、一度見てほしいとも思う。
数学の定理が一見無関係なものをつなぐ割かし鍛えられたものであることが哲学的に認められていることはおくとしても、フェルマーは要するに3以上に関しては省くことができるものであり、
テレンス=タオは、素数の中に等差数列があるようにできる、というものであるが、そんなものは誰も理解できないし、証明の方を要求されるが、その証明の方も出来ていない。
この見地を応用するとなぜ板橋区には無店舗型性風俗特殊営業が一件もないかということに関してこれを解説する有名な本どころかインターネットのサイトもないのかという哲学的な問題と
なってくるが、このことに関して、現在発見されているのは、風俗じゃぱんに振替店が多い、一度振り替え店を利用してしまうと類似の店は絶対に利用しない、ぴゅあらば、シティヘヴンネットは
信頼性が高いサイトであるとされるが、信頼性が高いとされる検索サイトによっても、板橋区のヒット件数は0件なのである。その結論および理由についても、天の高いところにあるともいえないし
深いところにあるとも言えないし、組み合わせ論的見地によっても、なぜ板橋区ではできないのか、も予見も想像もされていない。ここでは語る者が誰もいない以上、実態解明に到達できる
ことはない。
民法724条は、 3年で時効消滅するし、20年間を経過したときも同様とする。
損害賠償請求権とは何かというと、 国家賠償請求権も包含されるし、 要するに、 ただし、実定法学にいうこの規定が、もの、であるかというと疑問なしとしない。
法は一般に、法律学の公理公準に準じるような一般化された規定というものによって制定されているが、そこの文言によって記載されている内容は、立法者の精神、つまり、何をするかが
書いてあり、数学で言うと、 自然数abを素数pが割るときは、pはa,bのいずれかを割る。みたいなものです。
ただし、 20年と書いている場合は、それを説明してくれとつまり、証明してくれと言われる。説明するときは
それをNHKさんに聞いたら、いや色々です、っていうから、その色々を説明してくれといったら、NHKが、もごもごもご、となるわけですね。
ユークリッドの第一補題すなわち、kが合成数のときは、ABをKが割るときに、KはAまたはBを割らないというような錯雑な状態になるが、Kが素数pのときで、pがABを割るときは
pはAまたはBを割るということを一般化したものが整数の公理公準に甚だ近いものであってあたかも数学的帰納法にも近い公理原理に近い一般的な技術として機能を果たすことは疑問を
持たない。しかし、弱い帰納法の原理は教科書に書いてあって平成時代の受験生はセンター試験でも東大の二次試験でもどこでもこれの使用を経験したことがあるが、強い帰納の原理は
使用したことがないのと同様に、巡査の熊谷と本官は、いくつかの主張をした上で、最初からクソだったし、これまでも全部糞であったと仮定して明日からも糞だから帰れという趣旨で、強い
帰納法の原理を使用したものと解される。しかし、熊谷が、令和5年6月14日の午前1時に戸田勇哉と歩いて出現し、ほぁ?こいつは大したことがない奴だ、帰れ帰れ、と言ったことは、
右の趣旨に出たものと解される。しかし、被害者が、その時代に、熊谷が、リヴァージュシティの左の3階から6階に住んでいてそこの人工動画によってベランダに姿が浮かび上がってくるような仕掛け
ぷちくらは、8年前は光っていたから、ぷちくらの定理、というものがあったが、最近は、光っていないし臭いから、ただの補題ではないかと言われている。逆に、ざちゃんの定理というのは、
あの青いアイコンが光っていることから、完全無欠な定理であると解されている。ぷちくらの規定が光らなくなった理由としては様々なものが考えられる。旧優生保護法は、法令違憲であると
言われているが、法令違憲とは、法令の中の規定それ自体が違憲であるというもので、解釈が違憲であることをいうものではない。旧優生保護法は、当時から、立法目的も合理性がないから
憲法13条違反であるというものであるが、民法724条後段は損害賠償請求権が20年で消滅するという除斥期間を定めていると解されており、宇賀克也裁判官の補足意見にある、
消滅時効を定めているものとは解されていない。ジーゲルの補題とは、自然数の積、abを素数pが割り切るときは、pは、aかbのどちらかの中に入っているという技術的に応用可能な一般論であり
これをまた組み合わせ論の文脈で言うと、鳩ノ巣原理と同じような構造の補題である。なお、練馬区のざちゃんが2年間にわたって使用してきた、板橋区精神障害者支援事業要領や、
エウクレイデスの補題とは、 abをpが割り切るときは、素数pは、aかbのどちらかに入っているという意味で、組み合わせ論の鳩ノ巣原理に似ている。鳩ノ巣原理は、m>nの場合、
n個の箱にm個のものを入れる場合に、どの箱にも必ず1個は入っているだろうという当たり前の主張であり、その当たり前のことでたいていの問題が解ける場合がある。その場合に、
その当たり前のことを技術的に用いた場合に、エレガントである、と呼ぶ。ユークリッドの補題は、似たようなものである。鳩ノ巣原理は、ディリクレが発見したもので、ジーゲルの補題とも呼ばれる。
ジーゲルの補題がエレガントになりうるのは、その世界で普遍的な原理だからであるが、普遍性は、平成10年に、GLAYのタクローが追求していた。タクローは、GLAYは、新しいし
光っているが、普遍性が足りない、というのが当時のタクローの主張であった。数論では理解が難しくても、組み合わせ論の世界では当たり前のことがある。
エウクレイデスの第一補題は、素因数分解の一意性などかなりの問題を解くとして、初等学会ではある程度スターな存在だが、命題の主張があまりにも当たり前なのでイラつく人が多いのではないか?
補題: abを素数pが割るときは、aまたはbの一方をpが必ず割る。
これを一般化したものが、 cとaが互いに素で、 cがabを割り切るならば、cはbを割り切る、まで一般化しておかないと多分、役に立たないのではないかと思うが
普遍性があることが問題なので、cとaが互いに素であると、 c/ab。 補題とは何かというと、証明するまでもないような定理のことである。
誕生日忘れてた。。。
言い訳させてもらうと数日前から妻と息子が実家に帰省しており妻は帰省すると音信不通になるのがデフォなのでこちらから連絡もしなかった。
花の独身生活を謳歌し毎晩飲み歩き、気づいたら誕生日を数日過ぎていた。
スマン、こういう父だ。
慌てて前から欲しがっていたNゲージ、EF551通称カバ電車を買いに行った。
ネットでも良いのだが久しぶりに電気街を散策したく、日本橋へ。
それにしてもなんで大阪に住んでいるのに関東でしか走ったことがなく40年前に引退してる電気機関車なんぞ欲しがるのか。オタの思考はさっぱりわからん。
模型屋で適当な中古車両を購入。客車もテキトーなそれっぽいものをセットで。
店員に元から添付されていた単体ケースはどうするかと聞かれ、捨てといてくれと返答。
うん、こーゆーの好きな人たちはケースも大事に取っておくのは知っているが、6歳のガキにそんなもんわかるまい、邪魔になるだけだ、買い取り用紙に字を書くのすら面倒だからテキトーに処分しといてくれと返事。
息子が公文に行きたいと言い出した。親友が通っており負けず嫌いがくすぐられたのか。
数ヶ月前からねだられていたが、公文の教育効果に疑問、早期教育、先取り教育に懐疑的な俺は誤魔化し先延ばしてた。
勉強するところで楽しいところではない、宿題もある、辛いぞ、どうせキミすぐに飽きるじゃん。目に見えてるんだよ。苦役は先送りすりゃいいのだ、小学校に入れば嫌でもやらされる。数ヶ月先をやってなんの得があるのだ。公立小学校ならタダだ。毎月14000円払う価値は無い。
今はとりあえず公園で闇雲に走っていなさい。と説得していたのだが。
妻の実家から戻ったら手続きすると口を滑らしてしまい。忘れるだろうと思っていたら
どうせ数ヶ月で飽きて辞めるのに、はぁ
だいたいポケモンGOも一年弱で飽きたじゃん、もうぜんぜんやってないじゃん、
超絶飽き性のパパですらまだちゃんと続けてるぞ
ともかく、公文の教育効果を調べようとネットで諸々検索していたら、ブラウザの広告が公文だらけになった、うぜぇぇぇぇ
んで、Webにある記事は公文で医者になりましたみたいな話だらけ、成功者バイアスじゃん
公文、非公文で諸条件合わせてよーいどんの20年コホート追跡くらいやれよ
まぁいい、
23個のリンゴの絵の数も数えられない、はぁぁぁぁぁ
つか鉛筆持つのやっぱ左手なのね、うすうす左利きのようだったが、箸やスプーンは右を使ったり左をつかったりで、自宅で字や絵を描くことが無いのであまり気にしなかったが
息子の名誉のために書いておくが、23個のリンゴは数えられないが算数が苦手なわけではなく、足し算引き算掛け算はできるのだ。
3桁+2桁の足し算は暗算でほぼ間違えない、繰り上がりはちょっと苦手
2桁‐1桁の引き算もOK
最近は割り算を教えてくれといわれたので教えたらすぐに概念は理解できたようで時間はかかるが6割る2みたいな計算なら暗算でできる。
「3は自分以外で割れないので素数、次は5、6は3で割れるので素数じゃない、7は素数、8は4で割れる。9は3で割れる、11は?「素数!」12は?「違う」13は?「素数」」と答える。
まぁアホでは無いだろうと心配はしていない。
古代より暦の必要性から時間や方位などに六十進法が使われており、
中でも60の約数の一つである12はそれらを構成する基準の数として、12か月や12時間、12方位などのようにしばしば用いられてきた。
12階の一つ上は、12A階もしくは12b階、12半階と呼んだり、13階を飛ばして14階にしたりする(中国など地域によっては14も忌み数とみなし、12階の次は15階とするケースも存在する)。
アメリカ合衆国は建国時の州の数が13(独立十三州)であるため、当初は建国に縁のある吉数とされていた。
同国の1ドル紙幣の裏面や国章には、「13葉ついたオリーブの枝と13本の矢を掴む鷲」や鷲の胸にある「13本の縦縞模様(ストライプ)が描かれた盾」、
ウィルソンの定理 (p-1)!+1はpで割り切れる ここで、pは素数で、条件がついていない。つまり、 2,3,5,7,11・・・の素数全てに対して成立するので
私の感想では完全無欠なように思える。
逆に完全無欠ではないものの例: x^p+y^p=z^pは整数解がない。 と言っているが、 p≧3 だから完全無欠ではないのではないか? 数学者は、 奇素数
の定理だから完全無欠であるというが、ここまでくると、何をもって完全無欠というかの話であり、さっぱり分からなくなる。 その定理で、何がびっくりすることで、何が直線の上のカルティディヴァイザー
なのか?
整数論者の斉藤秀司が黙りこんでいる理由: 簡単な話で全部説明してしまうと国の秩序が崩壊してしまう。よって説明できない。
1600年に裁判官のフェルマーが、 x^n+y^n=z^nは、n≧3のところで自然数解をもたないという定理を発見したのはなぜなのかまったく分からない。発見したというより予想しただけだから
なんで予想したのかであるが、作ることはできなかったので、何で作ることができなかったのかもさっぱり分からない。作っていない以上は、理解できているとは言えない。証明が全部終わってから初めて
ものになるので、 仮に61%の素数pについて証明できたとしても、話にはなっていない。そのように、ものになっていないから、何を言っているのか分からない。一般の書籍では、哲学的にみても、
到達不可能なもののシンボルと書いているので、その辺の記載からは、本当に、解くための技術がないように思える。1996年に書かれたフェルマーの最終定理という本でさえ真剣にそんなことを
書いているのだから、ガチ勢の数学者でも、技術を編み出すことが出来ないのではないか?
技術を編み出すとなったらそれこそinductionとか様々な方法があるが、それの完全版の、 完全帰納法とか、なんでも少し数学の教科書を漁ったら関連するような技術が書いてありそうな
ものだが、そこに書いている技術を使っても証明できないといったような、法学で言えば、判例百選の解説みたいなものは読んだことがない。
2004年にテランスタオが発表した論文は、 結論は定理で、その定理が、エルデシュ予想と同値で、それを証明するというので、彼のやっている論文は、ほとんど驚愕的である。
何がっていうとですね、彼の論文には、 THEOREMと書いてあって定理がたくさん出て来るし、Lemmaと書いているところで驚愕的なことをしているので。なぜか?Lemmaは
難しいので。 そこのLemmaの中で、それを証明するのに、 コーシーシュワルツの不等式を使ったりしている。 定理は発見するだけで、Lemmaは、証明の中で一番難しい技術で、
驚愕的な証明と言われているので、驚愕ではない。逆に 2019年に、タオが発表した論文は、 偏微分方程式と組み合わせ論の議論を用いて、コラッツ数列に挑戦するというもので
こちらでもやたら難しい考察とか技術をやっている。 Lemmaは出すのが難しいとか無理であると言って、よびのりも、Youtubeの動画で言っているので、よびのりっていうのは、名札に、おぺちと書いている
稚児でちょっと性格が悪いのがよびのりですが、 何がしたかったかと言うと 素数の中には等差数列があることを示さないといけないが、具体的検査では、26個の具体例は出るが、27の長さ
のものは計算機でも出て来ないので、証明ということになった。この際に、タオは教科書に大量の定理を書いて証明をしているので、技術なので、それで行ける。
一見関係のない定理を特段の議論をしてから適用する場合もあり、この場合、哲学上、 Apllyと呼ばれる。 しかし実関数で、 関数を2倍して対称に入れ替えた関数で変換してさばくのは
フェルマーで素因数分解して1個以外の素数を中にしまう作業や操作が、ものとは思えない。 4の場合に最終的に無限降下法が出てるのも、出ていているのか、
適当な代数が、Mのなんかの定数倍で押さえられるというIMOの問題で、 あれは計算の技術だから、 ものではないだろう。
抽象的な概念から演繹される数式のさばき方があって、それが分かると、あれの、代数式が、Mという定数倍で押さえられる、Mの最大値を求めることが出来る
アメリカの出場者は、ラグランジュの未定乗数法でやろうとして失敗した 模範解答は、 数式のさばき方で、出た奴も誰もコメントできてなかった