Gd̲el's way : exploits into an undecidable world / by 182465 Chaitin, Gregory J., Doria, Francisco Antn̥io, Costa, Newton C. A. da

“…He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein's general relativity, as he proved that Einstein's theory admits time machines. …”