"A computer or monkey could easily start at the axioms of ZFC and iteratively apply deduction rules....simply conjecture all mathematical propositions in alphabetical order...The prospect of automating mathematics by enumerating all conjectures, and all proofs of ZFC, is probably not so disturbing to you."
I thought we were going to get at least some brief comment on Godel here?
I thought we were going to get at least some brief comment on Godel here?