‘Happy’ Reformation Day?

I have been (electronically) wished ‘Happy Reformation Day’ a remarkable number of times this morning. Each time, it has jarred slightly.

Read More

On negotiating Halloween

Yes, actually I have noticed that global injustice is a bigger issue than Halloween. The question, though, is not that simple.

Read More

On the verification of a proof of ‘God’s existence’

Der Spiegel online offered an eye-cathcing headline last week: ‘Computer Scientists “Prove”  God Exists’ (article here). The article referred to a pre-publication report of a paper submitted to arxiv.org last month, entitled ‘Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence’ (here). Essentially, the paper claims – it is more of an abstract and statement of results – that (a form of) Kurt Gödel’s modal ontological argument had been successfully coded, and that its validity had been demonstrated using – the detail I rather liked – programs running on a MacBook. As my colleague Alan Torrance pointed out on FB, this is not surprising; there has been a fairly...

Read More
get facebook like button