To proof that they can't proof God? :)
If so, somebody should tell them they can pack up, it's done, lol :)
By the way, this has big Gödel, Escher, Bach vibes :)
I should definitely finish that book one day! It's just pretty intense at times :)

Damn, too late for the weekend but I posted a recommendation to read this book here anyway :)