哥德尔不完备定理
Lucas (1961) began a lengthy and heated debate over the implications of Gödel's incompleteness theorems for the anthropic mechanism thesis, by arguing that: