[It is possible that] the human mind (in the realm of pure mathematics) is equivalent to a finite machine that, however, is unable to understand completely its own functioning.
(Gödel 1995, pp. 309)
If intrigued, click to download:
There’s an MIT OpenCourseWare for Gödel, Escher, Bach.