On Sunday, July 5, 2015, Andy Latto<andy.latto@pobox.com> wrote:
While you and I may both agree that the set of things that we couldn't imagine were otherwise roughly corresponds to mathematics, there are a lot of theological arguments that porport to prove that there is a God, and that he has certain properties, and that this couldn't possibly be otherwise. So I don't see a good way to patch this definition to exclude theology.
Andy
Or the other option, advocated by Bruno Marchal, is to embrace it and say that theology is the study of what is most basic and (per Kronecker) the integers and Church-Turing computation are most basic and God is all the truths of arithmetic. Bruno regards anthropomorphic theism as corruption and politicalization of *real* theology. Brent Meeker