Jeff Epler's blog

The Drake-Howard Equation

N = R_* × f_# × n_e × f_q × d_l × f_c × L

• R_* = The number of regular languages
• f_# = The fraction of regular languages that match at least one string
• n_e = The fraction of self-Gödelizing strings per regular language that matches at least one string
• f_q = The fraction of self-Gödelizing strings that are also functional quines
• d_l = The sum to infinity of the average measure of quine islands divided by Levenshtein distance
• f_c = The fraction of of all functional quines which can be realized by Standard Model matter
• L = The time between Second Order Grand Conjunctions

As R_* is infinite (actually, ‎א_‎1) and all other values are nonzero, it follows that the number of soul-devouring elder gods is infinite. The Drake-Howard Equation is also sometimes called Rule 110.

[permalink]