Kurt Gödel: Pagkakaiba sa mga binago

Si '''Kurt Gödel''' ({{IPA2|kuɹtˈgøːdl}}) ([[28 Abril 28]], [[1906]] sa [[Brno|Brünn]], [[Austria-Hungary]] (ngayon Brno, Czech Republic) – [[14 Enero 14]], [[1978]] sa [[Princeton, New Jersey]]) ay isang pinanganak sa [[Austria]] na [[Estados Unidos|Amerikanong]] [[matematika|matematiko]] at [[pilosopiya|pilosopo]].

Si Gödel ay naging tanyag dahil sa kanyang dalawang teorema ng hindi pagiging kumpleto(incompleteness theorems) na inilimbag noong 1925. Ang mas tanyag sa dalawang teoremang ito ay nagsasaad na sa anumang konsistente sa sariling mga rekursibong aksiyomatikong mga sistema na sapat na makapangyarihan upang ilarawan ang aritmetika ng mga natural na bilang(halimbawa ang artimetikang Peano), may mga proprosisyon tungkol sa mga natural na bilang na hindi mapapatunayan mula sa mga aksioma. Upang patunayan ang teoremang ito, binuo ni Gödel ang isang teknikong tinatawag na pagbibilang Gödel(Gödel numbering) na nagkokoda ng mga pormal na ekspresiyon bilang mga natural na bilang.

Sa mga huling yugto ng buhay ni Gödel, siya ay dumananas ng mga panahon ng pagkakaroon ng [[sakit sa pag-iisip]]. Siya ay nagkaroon ng obsesibong takot na lasunin. Dahil dito, si Gödel ay kumakain lamang ng pagkaing inihanda ng kanyang asawa si Adele. Noong 1977, si Adele ay nahospital sa loob ng anim na buwan at dahil dito hindi niya nagawang paghandaan ng pagkain si Gödel. Sa kawalang presensiya ni Adele, si Gödel ay tumangging kumain na naging dahilan ng kanyang kamatayan dahil sa pagkagutom. Ang timbang ni Godel noong siya ay namatay ay 65 libra(pounds) lamang. Ang kanyang sertipiko ng kamatayan ay nag-ulat na siya ay namatay sanhi ng malnutrisyon at kagutuman na sanhi ng [[sakit sa pag-iisip|kaguluhan sa personalidad]] noong 14 Enero 14, 1978 sa Hospital ng Princeton sa New Jersey, [[Estados Unidos]] .