This is a preview. Log in through your library . Abstract THINKER is an automated natural deduction first-order theorem proving program. This paper reports on how it was adapted so as to prove ...

As headlines go, it's certainly an eye-catching one. "Scientists Prove Existence of God," German daily Die Welt wrote last week. But unsurprisingly, there is a rather significant caveat to that claim.