|
|
30 of 33 people found the following review helpful:
3.0 out of 5 stars
interesting book, but the author's crassness shows..., August 6, 2000
Who Got Einstein's Office offers an interesting look at Princeton's Institute of Advanced Study, the famous people that work(ed) there, as well as their work. The book seems to suggest that the tenured researchers at the Institute of Advanced Study have done their best work before they joined; That somehow at the Institute, they were isolated from a vibrant academic life, from contact with other researchers and students in their field, etc. As such, the book is definitely worth reading.Having said that much, I feel that I should voice my indignation at the way the author depicted and presented one of the greatest lights of this century, the logician Kurt Goedel. It's almost embarrassing to me to mention this, since Goedel's work -- profound and deep and beautiful, is what most people that remember Goedel at all remember him for. But Goedel apparently had some difficulties of an emotional and mental nature that effected his life -- from adolescence to adulthood, difficulties that the author, Ed Regis, finds the generousity to mock. In describing Goedel's relationship with his mother and the influence it had on his romantic life, Regis refers to Goedel as "Kurtele" -- a diminutive of Goedel's first name -- like turning a "Richard" into "little Dicky"... This is but an example. Regis goes to greater length to belittle Goedel and the appreciation of his work. This is beneath contempt. However bizzare and eccentric and troubled Goedel's life was, Goedel himself was its only victim. Goedel left the world precious gems of thought and changed the world of logic and mathematics forever. I think he deserves quite a bit more respect and compassion than Ed Regis afforded him. It certainly doesn't have to be the case that if you don't respect someone you also don't understand his work. It's just ironic that the author, who refers to Goedel mockingly as "The Grand High Exalted Mystical Ruler", fails to understand even the most basic things about Goedel's work: The incompleteness result is described as "... the mathematical equivalent of the assertion that 'This statement is unprovable.'" What could be simpler? Add to this Goedel's own self-doubts, and the author now begins to wonder whether the incompleteness theorem isn't in fact a rather obvious and straightforward result. But as the saying goes, "God is in the detail", and the author doesn't even begin to see the subtleties involved: Mathematics "talking about itself" -- Goedel numbering as a mechanism for mathematics to encode sentences about methematics, a mathematical proposition "refering to itself" -- indexicals, expessing "this" in thematics... As a consequence of "mathematics talking about itself" -- the effective computability of the provability predicate -- What Goedel did in fact is write a scanner, parser and interpreter in type theory -- all in 1931 -- twenty-something years before there were computers around, and people could write canners, parsers and interpreters for programming languages. And Goedel got them all right -- scanner, parser and interpreter -- written maticulously as recursive and primitive recursive functions. Merely envisioning these back in 1931 is a tramendous intellectual achievement. Not having appreciated the depth of Goedel's contributions to logic, it's no wonder Regis doesn't appreciate Goedel's admirers: In describing a meeting between Rudolf Rucker and Kurt Goedel, Regis qoutes Rucker's words of appreciation of Goedel's understanding and insight into the problems he raised during their meeting: "perfect understanding", "informative laghter", ... to which Regis has to contribute: "Of course! Why not? We're not talking about talking about a man, after all, a mere mortal. We're talking about the Emperor of the Forms, the Grand High Exalted Mystical Ruler." Well, shame on you Ed Regis!
|