德雷克公式
德雷克公式（Drake equation，又称萨根公式（Sagan equation）或格林班克公式（Green Bank equation）)，后又称“绿岸公式”是由美国天文学家法兰克·德雷克（Frank Drake）于1960年代在绿岸镇提出的一条用来推测“可能与我们接触的银河系内外星球高智文明的数量”之公式。德雷克公式如下：公式为:N＝R*×Fp×Ne×Fe×Fi×Fc×L 意思为:
银河系内可能与我们通讯的文明数量=银河内恒星形成的速率×恒星有行星的可能性×位于合适生态范围内的行星
的平均数×以上行星发展出生命的可能性×演化出高智生物的可能性×高智生命能够进行通讯的可能性×高智文明的预期寿命
其中
N 代表银河系内可能与我们通讯的文明数量
R代表银河内恒星形成的速率
fp代表恒星有行星的可能性
ne代表位于合适生态范围内的行星的平均数
fl代表以上行星发展出生命的可能性
fi代表演化出高智生物的可能性
fc代表该高智生命能够进行通讯的可能性
L代表该高智文明的预期寿命
但科学家不同意很多公式中变量的值（可以严谨地说德雷克公式计算于银河系中且我们可能接触的外星生物的数量，而不是有生命的机率）。取决于不同的值，方程式可以暗示生命的形成是频繁或稀少的。德雷克计算我们在任何时间可能接触的外星生命只有1个。