Golly, I had thought I could proceed in a nice orderly sequence about belief, knowledge, the limits of science, but articles keep appearing that I have to discuss. Here's one by Adam Drozdek (Associate Professor of Computer Science at Duquesne University) that has great insights on mathematics and its relation to theology:

*Although I'll try to summarize the main points of his article, I urge the reader to go to the original article for a detailed exegis.*

**Beyond Infinity: Augustine and Cantor.**First, here is Drozdek's summary of St. Augustine's (Hippo) ideas about mathematics, infinity and God.

"Augustine anticipates later developments in mathematics, the mathematics of infinity put forth in set theory:To summarize, there are three important aspects of Augustine's discussion of theproblem of infinity. First, infinity is an inborn concept which enables any knowledge.Second, infinity can be found in the purest form in mathematics, and thus mathematicsis the best tool of acquiring knowledge about God. Third, God is neither finite norinfinite and his greatness surpasses even the infinite. Augustine is original in combiningthese three aspects in his philosophy ; some of them can be found in otherphilosophers and theologians, but also in mathematicians."

"God's infinity would still be of a higher magnitude, an infinity of different kind. Hisinfinity is above all possible temporal (and spatial) infinity ; it is an infinity of infinities, whose magnitude can be dimly imagined by means of mathematical infinity. It is an infinity of infinities also in that "all infinity is in some ineffable way made finite to God," since no infinity is incomprehensible to God (De civ. Dei), he can count numbers without succession of thought. God is even able to count without numbers, which assumes that there is no number equal to the quantity of all numbers, that is, no number, to use modern parlance, expressing cardinality of integers (which is aleph zero). This is no hindrance to God who is able to see the entire sequence of numbers without looking at these numbers one by one. Infinity of these numbers can be grasped in one act of comprehension."

Drozdek points out that Augustine's view on God's infinitude differs from that of later Catholic theologians and philsophers--Roger Bacon, Thomas Aquinas, Duns Scotus--who emphasized the infinite nature of God.

"However, Augustine does have a worth successor, Georg Cantor (1845-1918) who proposed new ideas about infinity as a mathematically rigorous subject, by use of set theory. Cantor's motivation was theological and philosophical:Augustine is an exception to this rule. To him, God encompasses infinity, himselfnot being infinite."

"Like Augustine, Cantor believes that knowledge of infinity is innate:mathematical statements are not divorced from reality, and, for instance, set theory makes certain pronouncements about things in themselves, about 'true being,' and 'the general set theory [...] belongs entirely to metaphysics' and is its servant."

God, according to Cantor is the Absolute (what in modern mathematics is designated by the Greek upper-case omega):"...abstract knowledge is already in us, implanted and dormant, enlivened by our quest for it. In particular, infinity cannot be recognized unless it is inborn, since infinity "even inhabits our mind (Geiste)".21 Therefore, mathematics has not only a purely theoretical interest, but it is also of philosophical and theological bearing."

"Like Augustine, Cantor believed that the concept of infinity is put within us, as a Divine implant:But whereas different transfinite levels can be known (erkanni), the Absolute can only be recognized (anerkannt), not known, not even approximately ; however, an 'absolutely infinite sequence of numbers,' i.e., sequence of all infinities, can be considered 'a suitable symbol of the Absolute'.25 Set theory shows that there is no set encompassing all sets, and yet God is able to comprehend all these infinities, hence he is above infinity, he is the Absolute. The transfinite, unlike the Absolute, 'clearly appears to us as limited, capable ofbeing augmented and thus related to the finite'. With this statement Cantor returnsto Augustine's conviction that 'all infinity is in some ineffable way made finite to God.'"

"My wife, who is NOT a mathematician, in reading all the above, recognized that there is at the basis a Platonic philosophy, that is to say, an assumption that there is a reality to mathematical ideas that is different from the reality of concrete things, the world of sensation. Other mathematicians (not all of whom are theists) are also Platonists, for example Roger Penrose, who proposes three worlds, the platonic (ideas), the physical, and the mental. (seeThe transfinite numbers are not pure creations of our mind, they are onlydiscovered in the mind and in the world. They cannot be our creations since theyprecede our very existence and the existence of the world. As Augustine, whom hequotes, Cantor believes that God utilized numbers to create the world."

*The Emperor's New Mind*)

If Drozdek's article stirs you up, you can also go to Rudy Rucker's fine book on the same subject, "

*Infinity and the Mind",*which gives more mathematical detail than Drozdek's article.