Facets of incompleteness

John Dawson

pp. 9-21

in: Dimiter G. Skordev (ed), Mathematical logic and its applications, Berlin, Springer, 1987

Abstract

Great intellectual discoveries, like fine gems held up before the eyes, continue to fascinate and to reveal new facets as they are beheld in the eye of the mind. As an example of this phenomenon, we may consider the Gődel incompleteness theorems, which, during the 55 years since their discovery, have repeatedly yielded new insights in the course of ongoing reinterpretation.