Computer Scientists "prove" God exists

[Sejanus]

Getting back to the original topic of this thread, before it was mercilessly derailed;

in essence the Austrian was arguing that, by definition, God is that for which no greater can be conceived. And while God exists in the understanding of the concept, we could conceive of him as greater if he existed in reality. Therefore, he must exist.

Actually, I contest this argument due to the fact that once god exists in reality, his "greatness" has reached a finite, measurable point, whereas if god only exists as a concept, it is only then that his greatness is infinite.

If the counter to this is that in reality, god's greatness is infinite, then the argument falls in on itself intrinsically.
In bold: I'm assuming that 'as' was intentional, because it changes the meaning of the sentence entirely if it is omitted.

Besides, there is still, as was mentioned earlier in the thread, the problem of infinite regress; who made god?

Its theorems and axioms -- assumptions which cannot be proven -- can be expressed as mathematical equations. And that means they can be proven.

In bold: key word.
In Italics: the nature of mathematics is abstract; the same equation that models the growth of a population of bacteria on a medium can be used to model a similar situation, such as continually compounding interest. Another example would be exponential decay situations, such as nuclear decay of radioactive elements and damping due to external forces in systems which show simple harmonic motion.
I can easily form an equation with a variable and call it god, solve the equation and hey presto, I've proved god exists. I don't think so.