Editing Mathematics and God (section)

==Mathematical arguments for God's existence==
In the 1070s, [[Anselm of Canterbury]], an [[Italy|Italian]] medieval [[philosopher]] and [[theology|theologian]], created an [[ontological argument]] which sought to use [[logic]] to prove the existence of God.<ref name="Ontological arguments">{{cite web|url=http://plato.stanford.edu/entries/ontological-arguments|title=Ontological arguments|publisher=plato.stanford.edu|date=2007-02-15|accessdate=2007-03-04}}</ref> A more elaborate version was given by [[Gottfried Leibniz]] in the early eighteenth century.<ref name="Ontological arguments" /> [[Kurt Gödel]] created a formalization of Leibniz' version, known as [[Gödel's ontological proof]].<ref name="Ontological arguments" />

A more recent argument was made by [[Stephen D. Unwin]] in 2003, who suggested the use of [[Bayesian probability]] to estimate the probability of God's existence.<ref name="Bayesian probability">{{cite web|url=http://www.bede.org.uk/unwin.htm|title=Doing the math with God|publisher=plato.stanford.edu|author=Unwin, Stephen|year=2003|accessdate=2007-03-04}}</ref>