 In light of the fact that readers can turn to the  entry on the Gödel’s Incompleteness Theorems,  a full review here is not needed. Instead, readers will be given a decent sense of the argument by turning to an online paper in which Penrose, writing in response to critics (e.g., the philosopher David Chalmers, the logician Solomon Feferman, and the computer scientist Drew McDermott) of his Shadows of the Mind, distills the argument to a couple of  paragraphs.[40]  Indeed, in this paper Penrose gives what he takes to be the perfected version of the core Gödelian case given in SOTM. Here is this version, verbatim: 