Kurt Gödel (në qendër) u vlerësua me Çmimin Albert Ajnshtajn në vitin 1951 nga vetë fizikani i famshëm, me të cilin ishte një mik i ngushtë. Me të ishin fizikantët Julian Schwinger dhe Lewis Strauss.
VOAL- Njëqind e njëzet vjet më parë, më 28 prill, në Brno, një qytet në Republikën Çeke që atëherë ishte pjesë e Perandorisë Austro-Hungareze, lindi Kurt Gödel, një nga logjicienët matematikë më me ndikim të shekullit të njëzetë. Me studimet e tij, Gödel ishte në gjendje të vinte në pikëpyetje themelet e të gjithë matematikës në një moshë shumë të re. Sipas matematikanit dhe popullarizuesit italian Piergiorgio Odifreddi, madhështia e Gödel në logjikë është e krahasueshme me atë të Aristotelit, filozofit të famshëm të Greqisë së Lashtë. Ajo që e bën emrin e Gödel interesant edhe për ata jashtë matematikës, por ndoshta për teologjinë ose filozofinë në një kuptim më të gjerë, është formalizimi i tij i “provës ontologjike”, ose, për ta thënë më thjesht, demonstrimi matematik i ekzistencës së Zotit.
Filozofia dhe Shkenca në Kohën e Shekspirit
Historia e “provës ontologjike” daton në kohë dhe fillon me teologun e shekullit të njëmbëdhjetë, Anselmin e Aostës. Duke mos pasur rigorozitetin që karakterizon debatin midis ekspertëve, prova e tij bazohej në përkufizimin e Zotit si qenia më madhështore që mund të konceptohej. Në këtë pikë, Anselmi vërejti se një Zot që ekziston në të vërtetë është më i madh se një i pranishëm vetëm në mendimet tona. Prandaj, përfundimi më logjik dhe i pakontestueshëm ishte se Zoti ekziston. Teologët, filozofët dhe logjicienët e të gjitha llojeve kanë debatuar mbi premisat dhe arsyetimin e Anselmit për gati një mijëvjeçar. Gjatë shekullit të nëntëmbëdhjetë dhe fillimit të shekullit të njëzetë, zhvillimet në matematikë çuan në ndërtimin e mjeteve të reja teorike për arsyetimin logjik. Gödel i shfrytëzoi këto elementë për të formalizuar “provën ontologjike” në një mënyrë logjikisht të patëmetë. Ai e konceptoi provën në vitin 1941 dhe më pas punoi më tej mbi të në vitet 1954 dhe 1970. Ai ia tregoi këtë punim, afërsisht një faqe të gjatë, logjicientes Dana Scott, por deklaroi se nuk donte ta botonte dhe në fakt bota mësoi për “provën ontologjike” të tij vetëm pas vdekjes së tij. Për të, i cili nuk ishte një besimtar i zjarrtë fetar, nuk kishte ndonjë vlerë të veçantë teologjike në provë: interesi i tij lindi vetëm nga perspektiva logjike. Sigurisht, dikush mund të mos pajtohet me premisat nga të cilat ai filloi dhe për këtë arsye të mos marrë parasysh përfundimet, por ushtrimi logjik është teknikisht i përkryer.

Prova ontologjike e Gödel në notacionin simbolik: është e pamundur që të painformuarit ta kuptojnë.
Brenda komunitetit matematik, Gödel njihet për kontributet e tij revolucionare në fushën e të ashtuquajturës “logjikë matematikore”, e cila merret me themelet e disiplinës. Në dekadat e para të shekullit të njëzetë, komuniteti matematik ishte në një gjendje trazirash të mëdha, duke u përpjekur të strukturonte themelet e saj. Në veçanti, studiuesit kërkuan të kuptonin rregullat dhe parimet që qëndronin në themel të të gjitha teorive matematikore. Në vitin 1931, Gödel revolucionarizoi botën e matematikës duke demonstruar se disa nga parimet në të cilat besonin shumë studiues ishin në të vërtetë të pasakta. Për shembull, në të ashtuquajturën “teorema e parë e paplotësisë”, ai vërtetoi se brenda një sistemi matematik, ekzistojnë pohime të vërteta, por të pavërtetueshme. Me fjalë të tjera, sado paradoksale që mund të duket, ai arriti të demonstronte me rigorozitet absolut se ekzistojnë pohime të sakta matematikore që askush nuk mund t’i provojë kurrë. Për më tepër, prova nuk specifikon se cilat janë këto pohime të vërteta, por të pavërtetueshme, sepse, siç ndodh shpesh në matematikë, teorema duhet të kuptohet në një kuptim të përgjithshëm. Së bashku me këtë rezultat, i cili shkaktoi një sensacion, Gödel publikoi “teoremën e dytë të paplotësisë”, në të cilën ai demonstroi se është e pamundur të provohet se një sistem matematik është i lirë nga kontradiktat. Vërtet, këto janë abstraksione komplekse, por këto janë shtyllat mbi të cilat bazohet matematika, dhe bashkë me të, shumë disiplina themelore për shoqërinë tonë, të tilla si fizika, shkenca kompjuterike, ekonomia dhe forma të ndryshme të inxhinierisë.
Nuk është kurrë vonë për të njohur Zotin!
Këto zbulime, të ndjekura nga kontribute të shumta të tjera në logjikën matematikore, e çuan atë në ballë të studiuesve në gjysmën e parë të shekullit të njëzetë. Pasi iku në Shtetet e Bashkuara për shkak të ngritjes së nazizmit, ai u bë profesor në Institutin për Studime të Avancuara në Princeton dhe krijoi një miqësi të ngushtë me Albert Ajnshtajnin. Jeta e tij u shënua nga një paqëndrueshmëri e konsiderueshme psikiatrike, veçanërisht në fund të moshës madhore. Me kalimin e viteve, ai u bind se ushqimi i tij po helmohej dhe përfundoi duke ngrënë vetëm atë që i përgatiste gruaja e tij Adele. Kur u shtrua në spital për shkak të një goditjeje në tru në vitin 1978, ai ndaloi plotësisht së ngrëni derisa vdiq nga uria. RSI/ Simone Pengue/Elida Buçpapaj