{"id":1281,"date":"2021-04-13T12:08:34","date_gmt":"2021-04-13T12:08:34","guid":{"rendered":"https:\/\/www.christianfaur.com\/NewSite\/?p=1281"},"modified":"2021-04-14T12:06:33","modified_gmt":"2021-04-14T12:06:33","slug":"kurt-godel","status":"publish","type":"post","link":"https:\/\/www.christianfaur.com\/NewSite\/2021\/04\/13\/kurt-godel\/","title":{"rendered":"Kurt G\u00f6del"},"content":{"rendered":"\n

Kurt G\u00f6del (<\/strong>Mathematician Series) \u2013<\/strong>36\u00d736\u201d
Melted hand cast encaustic crayons<\/em><\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

Kurt G\u00f6del (1906 – 1978) was born in what is now Brno, Czech Republic. As a child, his nickname was Herr Warum (Mr. Why, in German), and due to his voracious curiosity, he excelled in all subjects in school. Incredibly, the theorems he is most famous for were developed in his early twenties, while he worked on a PhD in mathematics at the University of Vienna. The early part of his career coincided with Hitler\u2019s rise to power, and although he was not Jewish, he was hassled by Nazi youths because he appeared Jewish. Because of his association with Jewish professors at the University, his promotion in the world of academia progressed at a snail\u2019s pace. Eventually, he was even conscripted into Hitler\u2019s army since Germany had annexed Austria. All of these factors convinced him to flee the continent for good in 1939 with his wife, Adele.<\/p>\n\n\n\n

At Princeton, like several other mathematicians in this crayon series, he worked at the Institute for Advanced Study. He and Einstein became close friends, taking long walks and conversing in their native German about their projects. According to Einstein, these walks were the highlight of his day, which is no shabby compliment. For one of Einstein\u2019s birthdays, G\u00f6del developed the G\u00f6del metric as a gift, which worked with Einstein\u2019s field equations to describe closed, timelike curves that would allow time travel in a given universe.<\/p>\n\n\n\n

G\u00f6del\u2019s mathematical and logical insight has often been referred to as beautiful. In our modern lingo, one could say he thought outside the box. His Incompleteness Theorems were revolutionary works in that they upended what we take for granted about math – that it is always predictable using agreed-upon rules, it follows these rules with no exceptions or contradictions, and the conclusions we arrive at are indisputable. To paraphrase G\u00f6del, some truths are not provable using current day mathematical methods and axioms, nor can they be proved in a way that mathematicians would consider unproblematic and watertight. In his second Incompleteness Theorem, he proposed that we cannot prove that a system of axioms (statements that we take as true, like 2+2 = 4) is consistent unless we use a different set of axioms. Therefore, a system all by itself cannot prove its own consistency. <\/p>\n\n\n\n

Although theoretical, G\u00f6del\u2019s contributions to mathematics and logic have had far-reaching effects. He was a friend of von Neumann, and despite not being involved in the development of computers literally, he contributed to the field with his work in logic. He was interested in exploring which kinds of problems computers can and cannot solve. Since 1993, there has been a G\u00f6del Prize for outstanding papers in the area of theoretical computer science. <\/p>\n\n\n\n

G\u00f6del was plagued by mental health problems for most of his life. Having had rheumatic fever as a child, he was convinced that his heart was permanently damaged, and he monitored his health obsessively. Paranoid of being poisoned, he would eat only food that his wife prepared for him. Unfortunately, this meant that when she was hospitalized for several months and could not cook for him, he stopped eating, dropped down to 65 pounds, and died of starvation. He was buried in Princeton Cemetery.<\/p>\n\n\n\n

-article by Lisa Alberico<\/a><\/p>\n\n\n\n