ハート・ティプラー予想（ハート・ティプラーよそう、）とは、検出可能なフォン・ノイマン探査機が存在しないことは、太陽系の外に知的生命が存在しないことの対偶的な証拠であるとする考えである。この考えは、マイケル・H・ハートによる1975年の論文「Explanation for the Absence of Extraterrestrials on Earth」において、ドレイクの方程式に対抗する形で最初に提唱された。ハートは、探査機が光速の10分の1で移動し、目的地に到着後新たな探査機を建造する際に時間の損失が生じないと仮定した場合、フォン・ノイマン探査機の波が銀河系を横断するのに約65万年かかると推定した。これは、宇宙の推定年齢である137億年と比較すれば相対的にごくわずかな時間である。ハートの議論は、宇宙論学者のフランク・ティプラーが1981年の論文「Extraterrestrial intelligent beings do not exist」において拡張した。ティプラーの論文は、ハートや、グレゴリー・ベンフォード、ジョン・ドーグマンといった同僚からの反論を招いた。
この予想は、フェルミのパラドックス（地球外生命の明白な証拠が存在しないことと、その存在を示す様々な高確率の推定との間の矛盾）に対して提案された数多くの解決策のうち最初のものである。この場合の解決策とは、そうした推定が誤っているために他の知的生命が存在しない、というものである。この予想の名は、天体物理学者のマイケル・H・ハートと、数理物理学者・宇宙論学者のフランク・ティプラーに由来する。
背景
地球外生命が地球を訪れたという信頼できる、あるいは再現可能な証拠は存在しない。知的な地球外生命からの通信や証拠は、宇宙の中で地球以外のいかなる場所においても検出・観測されていない。もし知的生命が存在するならば、フォン・ノイマン探査機として知られる自己複製宇宙船を、今頃までには宇宙全体を覆うのに十分な数だけ生み出していたはずである。これは、宇宙には極めて多数の惑星が存在し、その一部にはおそらく生命に適した条件が備わっているという知見と矛盾する。生命は通常、利用可能なあらゆるニッチを満たすまで拡大する。こうした矛盾する事実がフェルミのパラドックスの土台となっており、ハート・ティプラー予想はその一つの解決策として提案されている。
フェルミのパラドックスに対する他の解決策との関係 長子仮説は、ハート・ティプラー予想の特殊な場合であり、人類が宇宙で最初の知的生命であるために他の知的生命が発見されていない、とする説である。バーサーカー仮説によれば、恒星間探査機が存在しないことは生命が存在しないことの証拠にはならない。なぜならそうした探査機は自己破壊する前に「暴走」し、他の文明を破壊してしまう可能性があるからである。
出典