-
1
Gd̲el's way : exploits into an undecidable world /
Published c201“…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. …”