"The completeness theorem, mathematically, is indeed an almost trivial consequence of Skolem 1923a. However, the fact is that, at that time, nobody drew this conclusion ."

“Notices of the AMS, April 2006, Volume 53, Number 4 · Kurt Gödel Centenary Issue”

“The meaning of the world is the separation of wish and fact. Wish is a force as applied to thinking beings, to realize something. A fulfilled wish is a union of wish and fact. The meaning of the whole world is the separation and the union of fact and wish.”

“Gödel and the Nature of Mathematical Truth" Edge: A Talk with Rebecca Goldstein on Kurt Gödel”

“It's Not All In The Numbers: Gregory Chaitin Explains Gödel's Mathematical Complexities”

“National Academy of Sciences Biographical Memoir”

“Ninety percent of see their principal task as that of beating religion out of men's heads. … We are far from being able to provide scientific basis for the theological world view.”