用Lean4重构《软件基础》（Software Foundations）——SF-lean4正式完工上线！ – Ghost-Face

海の表面のように、宇宙の構造は無限の重力波で常に波打ち、宇宙全体を外側に向かって伝播しています。 これまでに検出されたこれらの波紋の数は 3 桁で数えられます。そのほとんどは、宇宙で最も密度の高い天体であるブラック ホール間の衝突に関連しています。 しかし、ブラック ホールによるすべての衝突がどのようなものであるかをどのようにして知ることができるのでしょうか?そして、私たちがまだ検出していない重力波の兆候は何でしょうか? 宇宙を歌わせることができる何かが他にあるとしたらどうなるでしょうか?衝突するワームホールが同様の飛沫を発生させる可能性があるとしたらどうなるでしょうか。また、ワームホールを見つけたときに、どのように認識すればよいでしょうか? 少なくとも、ある特定の種類のワームホールについては、衝突が非常に奇妙であり、時空構造に独特の痕跡を残す可能性があることを新しいシミュレーションが示唆している。 モスクワ物理工科大学の物理学者ニキータ・M・シロコフ氏とロシア高等経済学部の機械学習エンジニアイリヤ・ナチェフスキー氏が執筆したプレプリントによると、バイナリのエリス・ブロニコフワームホールが相互作用するといくつかのことが起こる可能性があり、そのほとんどは非常に奇妙なものだという。 ワームホールについて考えるとき、おそらく最初に SF を思い浮かべるでしょう。ジャンプ ゲート、ハイパースペース、ある領域から別の領域へのショートカットを提供する宇宙の奥の部屋を通るトンネルなどです。 しかし、ここで紹介されているアイデアの多くと同様に、 スタートレック そして 広がりワームホールは実際の科学理論、つまり重力を時空の曲率として説明するアインシュタインの一般相対性理論から現れる数学的可能性にしっかりと根ざしています。 理論的には、時空は、遠く離れた 2…