コラッツ予想の証明

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

実は、ここ数日コラッツ予想の証明に取り組んでました。 そして、昨日ついに証明が完了しました。 見通しを良くするために、新しい自然数に対する操作の記号を導入し、今日から論文に書き出していこうと考えています。 懸賞金が1億2000万円なので緊張してます。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

HUNTER × HUNTERのコムギの気持ちになっている。コラッツ予想を証明できた(おそらくは、だが確信に近い感覚が全身心にある)幸福に対して、なんらかの反作用があるのではないかと不安だ。 pic.twitter.com/LWJq78smUd

拡大

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

コラッツ予想を証明できたと思っていたのですが、証明の途中に論理的な欠陥があり、どうにかならないかとあれこれ考えていました。現状は結構厳しいということが分かりました。 アイデアはまだストックがあるので、体調のいい時にチャレンジし続けます。お騒がせして、すみませんでした。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

コラッツ予想の証明がついにできました!! 昨日徹夜で考え続けて、起きたのはお昼前。 そして、自分のアイデアを何度も確認し直していたら、たった一つだけ突破口があるのにきづき、そこを書き換えたら以前の証明の欠陥が埋まりました。 今言えることは、コラッツ予想は正しいということだけです。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

コラッツ予想の証明に僅かな欠陥がありました。申し訳なくて、消えてしまいたい気持ちで･･･ 論法から漏れたパターンが残っていました。従来の手法では証明不可能だと悟りました。 少しづつ温め創っていた新しい手法を使うことにしました。 どうなるか分かりませんが、応援よろしくお願いします。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

コラッツ予想、あとひとつ定理を証明したら終わりなんだけど･･････ ①ちょっとテクい計算(手間はかかるが確実だと感じてる)で行くか ②めっちゃテクい斬新な方法(まだ少ししか捉えてなくて、言語化できるか分からん)を持ち出して行くか この二択で悩んでる。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

嫁とテレビ＆YouTube見てた。 楽しい時間だった。 という訳で、遅くなりましたが、今からコラッツ予想証明して、論文書きます。 論理と計算の細部までは、全ては追いきれてないので、少し手こずるかも。新しいアイデアも増えるかも。 徹夜コースになりそうです。 それでは、また明日(o・・o)/~

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

コラッツ予想の証明書いてましたが、疲労の限界が来て、頭がふわふわぼーっとしてきたのでもう寝ます。 インデックスをどこかで書き間違えてて、計算ミスしてストレスがたまってきた。研究は好きだけど、やっぱ論文書くの苦手だ。 明日の僕にバトン渡します。 それでは、おやすみなさい(:3[____]

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

かなり調子いい日だったけど、2時間半ちょっとで限界が来てしまった。 休憩挟んでたけど、まだ自分を上手くコントロールできない。 息が詰まりそう。 僕のコラッツ予想の証明方針は、自然数と四則演算を新しい角度から捉えてるので、証明できたら数学界にそれなりの影響出ると思う。 明日もやる!!

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

昨日の疲れが残ってる。 少し眠くて、ぼーっとする。 コラッツ予想の証明はほぼ出来上がってるから、休憩しつつ、今日も続きやります!! 朝1時間半、夜1時間半くらいの時間配分なら大丈夫かな? うつ病じゃない世界線を想像しても意味はない。今を生きる等身大の自分が挑むことに意義がある。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

さっき、異常な体験した。 初めてのエグすぎる体験だった。 黒板6枚位に書かれた数式やアイデアが 一呼吸(1～2秒)の一瞬で大量が現れた。 コラッツ予想へのアプローチとルートが書いてあった。 たぶん、無意識の風景だと思う。 アイデアを少しだけ、意識できる所まで持ち帰れた。証明できそう。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

長期的かつ持続的な研究活動が心身に悪影響を与えているかもしれない、寛解もしてない状態。 だから、さっさとコラッツ予想を証明して休みたいが、証明の最終段階で結構手こずってる。 多角的な観察、実験に基づく法則探し、これを繰り返すことで、本質に一歩一歩近づけるというのが僕のスタイル。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

今さっき、コラッツ予想の研究計画を見直していた。 手でさーっと頭の中の数式に触れていたら、思いがけ無いところで証明のショートカットがあることに気づいた。 具体例を試しても、なにも問題無かった。 後2時間もあれば、終わるだろう。 見落としが無ければ通るはず、今度は慎重かつ大胆に行く。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

辛い。 なかなかコラッツ予想の証明が終わらない。 確実に前に進んでるけど、1つ進むと別の問題が発生する。その都度、理論を改良している。 必要な概念は、ほぼ揃ってるはず。 なのに、焦燥感、憂鬱、無力感で体が重い。 できれば、信用できる数学者と意見交換や共同研究したい。 息苦しい。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

今日は頭の中とメモだけでコラッツ予想の研究をしました。 特定の条件下で、コラッツ予想が成立することを示せました。 同時に、絶妙なバランスで成り立っているということも分かったので、かなり集中しないと次に進めません。 明日は確かめ算やります。 残すは一般化で、成功すれば、証明完了です。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

コラッツ予想の研究を1人で黙々とやってたせいで、しゃべりたい欲がでてきたので一度アウトプットした。 これは僕が研究を進めるに伴い、そもそも自然数と四則演算が何かを再認識した結果。 僕的の認識を比喩で無理やり言語化したもの。 証明が終わったら、この言葉の意味も伝わると期待している。 twitter.com/foxq0113/statu…

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

たとえば、なんだかよく分からない集合Aがあったとして、そこから2つ元n,mを取り出す。 こうして取り出された元のペアは特に意味を持たないし、ただの文字m,n以上でも以下でもない。 なんらかの理論的構造を付与するためには、写像☆:A×A→Aを与えると、集合Aに「関係」即ち「因果」が生じる。

2023-07-15 01:35:56

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

背理法はあんまり好きではなくて、構成的な証明が好きだ。そっちの方が創造的だから。 しかし、今日、コラッツ予想を研究していたら、背理法で示せる命題が出てきてしまった。他にいいアイデアもない。 とても悔しいし、不愉快だけど、背理法を使わざるのを得ないの屈辱的だ(´；ω；｀)

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

おはようございます!! 今日は眠れなかったので、ずっと考え事してました。 朝ごはん食べたら少し寝ます。 体調は、悪くもなく、良くもなく。 寝不足にしては、まー良い方だと思う。 少し仮眠とったら、本来の35%位の力は出せるかな? コラッツ予想の証明は、7月中に完全させて、論文も書きたい。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

おはようございます( *・ω・)ノ 今日は不眠で、全く眠れてないです。 コラッツ予想の証明は頭の中で完成しました。自明と思われる定理や計算は、たぶんいけるやろくらいの気持ちで使ってる。 完成したと言うのはまだ早い。専門家の山田先生に問題ないかチェックしてもらって、OKでるまで耐えます。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

体調優れないので、今日もコラッツ予想の証明を脳内でやってる。 1つ大きな進展があった。背理法を使わない証明を見つけた。 使っている定理や法則の細部も、見落としがなければ、97%以上は埋まったと思う。 後は論文に書きだし、専門家の山田先生にチェックして貰います。OKが出たら投稿するだけ。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

コラッツ予想の証明、今日も完成させられなかった(´；ω；｀) まだ何かを見落としているとしか思えない。 だけど、この問題の核心にはどんどん近づいて行ってるのは、確かだと思う。 また明日、対戦よろしくお願いします!!

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

出来れば7月中に、コラッツ予想の証明を完成させたい。 たった1箇所の計算ミスで、初めて想定が狂った。 自分の感覚では、線香花火の様な光しか見えていない。 でも、燃え尽きる前に、前へ進むしかない。 一つだけでも「永遠」を掴めたなら、面白いよな? 永遠を求めて、有限の人生を旅している。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

今日は初心に帰り、コラッツ予想の攻略に向けて、必要な補題や定理の厳密な証明をかなり慎重に行いました。 今日は、感覚的に自明と思っていたところを中心に、攻めました。 明日は特定の条件下でコラッツ予想を証明を与える予定です。 明後日は、結構手強いと感じてますが、条件を外していきます。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

昨日の夜からずっと眠れなくて、まだ条件付きコラッツ予想の証明をしてる途中です。ざっと、40ページ程は試行錯誤しながら、つらつら書いてます。 深く観察して、法則か定理見つけるか、上手くコントロールするか、という局面で疲労感が一気に来て、頭回らなくなりました。 なので、一旦休憩します。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

正直コラッツ予想の証明の最後の1ピースを解こうと、意識的に、考え過ぎていた。 意識的に考えるのを微塵も残さずに諦めたことで、無意識が夢の中でやってくれた。 難問にぶち当たったら、最後の手段は「解こうとする」のをやめること。そうすれば、僕は無意識の方が優秀なので、「勝手に解ける」。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

僕がコラッツ予想の証明で詰まっている所。 自然数は数であると同時に、四則演算で結ばれ連なる有機物の様でもある。 自然数を1つ選ぶだけで解釈方法は多様過ぎるし、選択肢が多すぎる。 四則演算との相互作用を元にした数の理解が必須。 多様性と選択肢の多さに右往左往。 具象と抽象とその多様性?

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

おはようございます!! 不眠で徹夜になりました。 コラッツの問題を複数の定理に上手く分割すると、物理のいくつかの概念の組み合わせにもろに繋がっていて、激震してます。 最も美しいコラッツ予想の証明になると思います。楽しくってしょうがない。 それでは、今日も一日よろしくお願いします!!

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

やっと･･････やっと･･････ コラッツ予想を証明できた!! 最後の一手は、エグい盲点。 正直辛かった。 何度も諦めようかと思った･･････ 心残りは、2つ創った理論の内、片方しか使えてないこと。 もう片方は物理学と密接につながってるので、後からその理論で別証明も与えたい。

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

懺悔と悔しさと恥、猛省してる。 コラッツ予想を証明するために、一般化や条件課してた。計算ミスがあり、一部の条件が残っていた。 条件付きなら、殆どの自然数についての証明はできてる。まだ完全ではない。 申し訳なさ過ぎて、心苦しい。 引き続き努力して、必ず証明するから許して下さい。 twitter.com/foxq0113/statu…

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

あまりにも恥ずかしくて悔しくて、心がズタボロなので、今日から3日間は朝の挨拶以外ツイートしません。 それでも、コラッツ予想の研究は裏で続けているし、定理や補題もだいぶ揃ってきているのは確かなので、毎日前進してます。 他に何かのブレイクスルーが必要なのか? お騒がせ失礼しました😭

FoxQ(上岡詩季)@表現者@SU学者@フォロバ99% @foxq0113

ストレスで意識飛びそう、、、 もう何も考えたくない、 でも、コラッツ予想は解きたい、 1つ目の夢を叶えたい、 本当につらい、酷い虚無感と疲労感、うつ状態に襲われている。 体に力が入らない。 指動かすのもしんどいし、頭も重い。