バナッハ＝タルスキーのパラドックス - Wikipedia
バナッハ＝タルスキーのパラドックス: 球を適当に分割して、組み替えることで、元と同じ球を2つ作ることができる。 バナッハ＝タルスキーのパラドックス (Banach-Tarski paradox) は、球を3次元空間内で、有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができるという定理（ただし、各断片は通常の意味で体積を定義できない）。この操作を行うために球を最低5つに分割する必要がある。 バナッハ＝タルスキーの証明では、ハウスドルフのパラドックスが援用され、その後、多くの人により証明の最適化、様々な空間への拡張が行われた。 結果が直観に反することから、定理であるが「パラドックス」と呼ばれる。証明の1箇所で選択公理を使うため、選択公理の不合理性を論じる文脈で引用されることがある。ステファン・バナフ（バナッハ）とアルフレト
ハビタブルゾーン - Wikipedia
この項目「ハビタブルゾーン」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文：en:Circumstellar habitable zone） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2019年8月） 恒星周辺のハビタブルゾーンの境界と、恒星の種類に応じてそれがどのように変化するかを示した図。この図には太陽系の惑星（金星・地球・火星）とTRAPPIST-1d、ケプラー186f、そして地球に最も近い太陽系外惑星であるプロキシマ・ケンタウリbなどの特に意義深い太陽系外惑星が含まれている。 ハビタブルゾーン[1][2]（英語: Habitable zone、HZ）とは、地球と似た生命が存在できる天文学上の領域[1]。日本語では生命居住可能領域[
地球外知的生命体探査 - Wikipedia
地球外知的生命体探査（ちきゅうがいちてきせいめいたいたんさ、英語: Search for Extra Terrestrial Intelligence）とは、地球外知的生命体による宇宙文明を発見するプロジェクトの総称である。頭文字を取ってSETI（セティ、セチ）と称される[1]。アクティブSETI（能動的SETI）に対して、パッシブSETI（受動的SETI）とも呼ばれる。現在世界では多くのSETIプロジェクトが進行している。 地球外知的生命体探査 (SETI@home) プロジェクトにBOINCクライアントソフトウエアで参加の稼動時のスクリーンセーバーの一例。 (SETI@Home Enhanced 5.27) 地球外の文明を地球上から探そうというプロジェクトであり、「SF」と「現実を対象にする自然科学」との接点でもある。 SETIの中で現在最も大規模に行われている方法では、電波望遠鏡で受
ドレイクの方程式 - Wikipedia
上記のパラメータの値については様々な見解があるが、ドレイクらが1961年に採用した値は以下のようなものであった。 [個/年] (銀河系の生涯を通じて、年平均10個の恒星が誕生する) (あらゆる恒星のうち半数が惑星を持つ) (惑星を持つ恒星は、生命が誕生可能な惑星を二つ持つ) (生命が誕生可能な惑星では、100%生命が誕生する) (生命が誕生した惑星の1%で知的文明が獲得される) (知的文明を有する惑星の1%が通信可能となる) [年] (通信可能な文明は1万年間存続する) 以上の値を代入すると、 は次のようになる。 の値はこれらのパラメータの中で最も議論の余地が無いものである。 は、より不確かであるが、これ以下の値に比べれば確実なものである。 は当時はある程度確かなものだと考えられていたが、恒星近傍の軌道をとるガス惑星が数多く発見されたことによって、生命が存在できるような惑星をもつ恒星系はあ
フェルミのパラドックス - Wikipedia
出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2015年3月） フェルミのパラドックス（英: Fermi paradox）は、物理学者エンリコ・フェルミが最初に指摘した、地球外文明の存在の可能性の高さと、そのような文明との接触の証拠が皆無である事実の間にある矛盾のことである。 フェルミは、当時考えられていた宇宙年齢の長さと宇宙にある膨大な恒星の数から、地球のような惑星が恒星系の中で典型的に形成されるならば、宇宙人は宇宙に広く存在しており、そのうちの数種は地球に到達しているべきだと考察した。1950年に昼食をとりながらの同僚と議論の中では「彼らはどこにいるんだ？」という問いを発したとされる。 このような問題について考えたのはフェルミが最初ではなかったが、彼はこの問題を「宇宙人の存在の可能性」だけに単純化し
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
