Хофштадтер, предисловие к Gödel’s Proof Нагеля и Ньюмена, xiv.

Читателям, заинтересованным в понимании этих ограничений, я рекомендую книгу Грегори Хайтина, Ньютона да Коста и Франциско Антонио Дориа (Gregory Chaitin, Newton da Costa, and Francisco Antonio Doria) Gödel’s Way: Exploits into an Undecidable World (London: CRC, 2012). Я хотел бы отметить, что Франсиско Антонио Дориа был руководителем и соавтором моей магистерской работы и великолепным наставником на ранних этапах моей карьеры. Кроме того, я рекомендую книгу Хайтина Meta Math!:The Quest for Omega (New York: Vintage Books, 2005).