Roger Penrose:

Was den sehr dogmatischen, Gödel-immunen Formalisten angeht ­ er behauptet, nicht einmal anzuerkennen, dass es so etwas wie mathematische Wahrheit überhaupt gibt ­ so werde ich ihn schlicht und einfach ignorieren, denn offenbar besitzt er die Fähigkeit zum Herausfinden der Wahrheit nicht, um die sich die ganze Diskussion dreht!