Dugaan Hart–Tipler

Dugaan Hart–Tipler adalah ide bahwa tidak adanya pesawat-pesawat Von Neumann yang berhasil terdeteksi adalah bukti kontrapositif bahwa tidak ada kehidupan cerdas di luar Tata Surya Kita. Ide ini pertama kali diusulkan sebagai lawan daripada persamaan Drake dalam makalah tahun 1975 karya Michael H. Hart berjudul "Explanation for the Absence of Extraterrestrials on Earth". Dengan asumsi bahwa pesawat-pesawat tersebut terbang pada 1/10 kecepatan cahaya dan bahwa tidak ada waktu yang terbuang dalam membangun pesawat-pesawat baru setelah tiba di tujuan, Hart menduga bahwa sebuah gelombang pesawat-pesawat Von Neumann bisa melintasi galaksi dalam sekitar 650.000 tahun, rentang waktu yang relatif minimal dibandingkan dengan perkiraan usia alam semesta 13,7 miliar tahun. Pendapat Hart diperluas oleh kosmolog Frank Tipler dalam makalahnya tahun 1981 berjudul "Extraterrestrial intelligent beings do not exist".

Dugaan ini adalah usulan pertama dari banyaknya usulan akan paradoks Fermi (paradoks bahwa sangat mungkin ada kehidupan cerdas di alam semesta tetapi belum juga ditemukan keberadaannya). Dalam kasus ini, solusinya adalah bahwa tidak ada kehidupan cerdas lain karena perkiraan tersebut salah. Dugaan ini dinamai berdasarkan Michael H. Hart dan fisikawan matematis sekaligus kosmolog Frank Tipler.