Gödel's incompleteness theorems
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: