Today I'm celebrating the 128th birthday of graphic artist M. C. Escher (1898-1972). His artwork is most famous for his use of reversals, reflections and multiple perspectives. My tie's design is based on the tilted architecture in "Another World II." You can view a collection of Escher's most popular works at this site.
Graphic artist M. C. Escher was born on 17 June 1898. You can view all of his wonderful works at the Totally History site. My tie (which I wore on 15 June) shows the main details from "Other World," created in 1947. Gravity seems to flex in all directions.
Today falls (or maybe springs?) between Bird Day on 4 May and World Migratory Bird Day on 14 May. It's definitely time to show a tie with artwork from M. C. Escher, so here's "Another World II," where there are birds perching on overhead (?) arches that stretch from all perspectives. Today is also National Eat What You Want Day, so I'm having lunch at Qdoba where I will enjoy my bowl of brown-rice-pinto-beans-black-beans-grilled-chicken-queso-grilled-peppers-chile-corn-pico-de-gallo-sour-cream-and-tortilla-strips, with Lime Fanta Zero. In fact there's enough in the bowl to let me eat what I want for lunch tomorrow too!
Yesterday, 28 April, marked the birthday of mathematics-and-philosophy hero Kurt Gödel (1906-1978). He is most famous for developing the "incompleteness theorems," which say in simplest terms that our systems of mathematics and logic cannot prove themselves to be consistent, and so they are forever incomplete and "open-ended." I chose my tie based on M. C. Escher's artwork "Another World II" for today because its topsy-turvy picture of gravitation (in all directions) suggests how our perceptions are endlessly relative to our position in the universe. In the incompleteness theorems, Gödel was not telling us simply that numbers are endless, and (this is very important to understand) he was not saying that there are truths that literally cannot be proven. He means instead that the (excellent and trustworthy) rules we use for mathematics and logic are (simply) too limited to justify themselves (completely). From the viewpoint of philosophy, our rules for logic and math are constructed "by us" as instruments to understand the universe, and so it is not really surprising that they always provide "incomplete" interpretations of reality. Gödel's work shows that we should not despair about our limitations -- they are essential elements of anything worthy of being called a system. Here comes the technical language: "Gödel’s two incompleteness theorems . . . concern the limits of provability in formal axiomatic theories. The first incompleteness theorem states that in any consistent formal system F within which a certain amount of arithmetic can be carried out, there are statements of the language of F which can neither be proved nor disproved in F. According to the second incompleteness theorem, such a formal system cannot prove that the system itself is consistent (assuming it is indeed consistent)."
