I have finished Mr. Blue,^[1] recommended by and borrowed from Vincas. I can see why he likes it. But I do not think I shall read it again. Blue is indeed an intriguing fellow, the sort of character that our modern world no doubt needs more of, and is , with even less doubt, ill equipped to understand. The end of the book casts a shadow over its entirety though, one that I am ill equipped to handle. It is much like Mr. Ray Bradbury’s short stories: I am glad to have them, but I can handle them only in small and infrequent doses.

Mr. George Gilder claims that Mr. (Dr.?) Kurt Gödel proved “in essence that every logical system, including mathematics, is dependent on premises that it cannot prove and that cannot be demonstrated within the system itself, or be reduced to it.”^[1][2] Does anyone know if that is in fact the case? The proof is no doubt beyond me, but E.L. or J.D. would likely be able to understand it, were they interested. I am rather curious to know if this authors claims of the proof (that mathematics necessarily rests on unprovables) are true.