همه ما با این سؤال مواجه شده ایم که چرا انسان تا به امروز هیچ مدرک مستدلی مبنی بر حضور موجودات هوشمند بیگانه به دست نیاورده است، با اینکه تمامی احتمالات و محاسبات ریاضی گواهی می دهند باید تمدن های هوشمند فرازمینی زیادی در جهان هستی وجود داشته باشند. این تناقض آشکار بین عدم وجود مدرک و تخمین های احتمالاتی بالا به «پارادوکس فرمی» معرفی شده است.