Atheist Ricky Gervais says that the ‘very definition’ of God is a logical impossibility in this universe. Is he right? Logician Prof. Greg Restall discusses.