MAGAZIN ZA NAUKU, ISTRAŽIVANJA I OTKRIĆA
Planeta Br. 105 | VODONIK, gorivo budućnosti
»  MENI 
 Home
 Redakcija
 Linkovi
 Kontakt
 
» BROJ 105
Planeta Br 105
Godina XIX
Maj-Jun 2022.
»  IZBOR IZ BROJEVA
Br. 115
Jan. 2024g
Br. 116
Mart 2024g
Br. 113
Sept. 2023g
Br. 114
Nov. 2023g
Br. 111
Maj 2023g
Br. 112
Jul 2023g
Br. 109
Jan. 2023g
Br. 110
Mart 2023g
Br. 107
Sept. 2022g
Br. 108
Nov. 2022g
Br. 105
Maj 2022g
Br. 106
Jul 2022g
Br. 103
Jan. 2022g
Br. 104
Mart 2022g
Br. 101
Jul 2021g
Br. 102
Okt. 2021g
Br. 99
Jan. 2021g
Br. 100
April 2021g
Br. 97
Avgust 2020g
Br. 98
Nov. 2020g
Br. 95
Mart 2020g
Br. 96
Maj 2020g
Br. 93
Nov. 2019g
Br. 94
Jan. 2020g
Br. 91
Jul 2019g
Br. 92
Sep. 2019g
Br. 89
Mart 2019g
Br. 90
Maj 2019g
Br. 87
Nov. 2018g
Br. 88
Jan. 2019g
Br. 85
Jul 2018g
Br. 86
Sep. 2018g
Br. 83
Mart 2018g
Br. 84
Maj 2018g
Br. 81
Nov. 2017g
Br. 82
Jan. 2018g
Br. 79
Jul. 2017g
Br. 80
Sep. 2017g
Br. 77
Mart. 2017g
Br. 78
Maj. 2017g
Br. 75
Septembar. 2016g
Br. 76
Januar. 2017g
Br. 73
April. 2016g
Br. 74
Jul. 2016g
Br. 71
Nov. 2015g
Br. 72
Feb. 2016g
Br. 69
Jul 2015g
Br. 70
Sept. 2015g
Br. 67
Januar 2015g
Br. 68
April. 2015g
Br. 65
Sept. 2014g
Br. 66
Nov. 2014g
Br. 63
Maj. 2014g
Br. 64
Jul. 2014g
Br. 61
Jan. 2014g
Br. 62
Mart. 2014g
Br. 59
Sept. 2013g
Br. 60
Nov. 2013g
Br. 57
Maj. 2013g
Br. 58
Juli. 2013g
Br. 55
Jan. 2013g
Br. 56
Mart. 2013g
Br. 53
Sept. 2012g
Br. 54
Nov. 2012g
Br. 51
Maj 2012g
Br. 52
Juli 2012g
Br. 49
Jan 2012g
Br. 50
Mart 2012g
Br. 47
Juli 2011g
Br. 48
Oktobar 2011g
Br. 45
Mart 2011g
Br. 46
Maj 2011g
Br. 43
Nov. 2010g
Br. 44
Jan 2011g
Br. 41
Jul 2010g
Br. 42
Sept. 2010g
Br. 39
Mart 2010g
Br. 40
Maj 2010g.
Br. 37
Nov. 2009g.
Br.38
Januar 2010g
Br. 35
Jul.2009g
Br. 36
Sept.2009g
Br. 33
Mart. 2009g.
Br. 34
Maj 2009g.
Br. 31
Nov. 2008g.
Br. 32
Jan 2009g.
Br. 29
Jun 2008g.
Br. 30
Avgust 2008g.
Br. 27
Januar 2008g
Br. 28
Mart 2008g.
Br. 25
Avgust 2007
Br. 26
Nov. 2007
Br. 23
Mart 2007.
Br. 24
Jun 2007
Br. 21
Nov. 2006.
Br. 22
Januar 2007.
Br. 19
Jul 2006.
Br. 20
Sept. 2006.
Br. 17
Mart 2006.
Br. 18
Maj 2006.
Br 15.
Oktobar 2005.
Br. 16
Januar 2006.
Br 13
April 2005g
Br. 14
Jun 2005g
Br. 11
Okt. 2004.
Br. 12
Dec. 2004.
Br 10
Br. 9
Avg 2004.
Br. 10
Sept. 2004.
Br. 7
April 2004.
Br. 8
Jun 2004.
Br. 5
Dec. 2003.
Br. 6
Feb. 2004.
Br. 3
Okt. 2003.
Br. 4
Nov. 2003.
Br. 1
Jun 2003.
Br. 2
Sept. 2003.
» Glavni naslovi

MATEMATIKA

 

Borka Marinković

Kurt Gedel: Logika i filozofija brojeva

Zbog nepoznatog austrijskog doktoranda

 


Na Filozofskom fakultetu Velike škole u Beogradu, počev od 1905.godine, proučava se matematika. A kada je 1947. osnovan Prirodno-matematički fakultet, studije matematike su postale deo tamošnje akademske nastave. Na studijama je školske  1977/78. uveden predmet: filozofija matematike. U najkraćem, to je grana filozofije koja proučava pretpostavke, osnove i implikacije matematike. Njen cilj je da se razumeju priroda i metode matematike jer logička struktura i priroda matematike daju filozofiji novu dimenziju. Pravci filozofije matematike su: platonizam, formalizam, logicizam, spoznajne teorije i socijalni konstruktivizam.

MATEMATIKA

Matematika je oduvek smatrana za najegzaktniju nauku, onu u kojoj nema proizvoljnosti i dvosmislenosti. Nešto jeste ili nije - matematička tvrđenja su uvek pouzdana! Razvojem matematičke logike, među matematičarima se povećala  potreba da se matematika precizno definiše.
Logička uzročno-posledična struktura matematike je savršena. A da li je to baš uvek? Prvo, do tada nezamislivo negiranje dolazi iz geometrije. Prostor u kojem se krećemo Euklid je opisao geometrijom koja je u potpunom skladu sa iskustvom. Logički izgrađen, njegov sistem je čvrsto stajao u opštem sistemu ljudskih znanja pa su se u njega zaklinjali mnogi veliki naučnici tokom istorije.

I tako unedogled...

Godine 1826. Nikolaj Ivanovič Lobačevski izložio je, na Kazanskom univerzitetu (Rusija), rezultate svojih istraživanja o novoj geometriji koja nije imala iskustvenu potvrdu. Geometrija Lobačevskog i Rimana donela je revoluciju u nauci, pokazavši da je euklidska geometrija samo jedna od alternativnih geometrija u zavisnosti od izabranog skupa aksioma.
Početkom 20. veka, britanski matematičar i filozof Bernard Rasel došao je do paradoksa u teoriji skupova, koji je nazvan „Raselov paradoksˮ (paradoks koncepta skupa svih skupova koji nisu članovi samih sebe).
U to vreme David Hilbert, nemački matematičar, krenuo je u rekonstrukciju matematičkih osnova. Njegova ideja, danas poznata pod imenom Hilbertov program, je izgradnja konačanog i kompletnog sistema aksioma koji opisuje celokupnu matematiku i dokazuje da je ovaj sistem bez kontradikcije. Hilbert je smatrao da bi se složeniji sistemi lako mogli svesti na jednostavnije i da bi se cela matematika mogla svesti na osnovnu aritmetiku, a svako novo otkriće moglo opisati tim jednostavnim  jezikom.Mnogima se učinilo da ovaj program može biti i rešenje. A onda, 1931, objavljen je rad koji je uzdrmao celokupnu matematičku zajednicu. Njegov autor bio je Kurt Gedel.
Reč je o radu naslovljenom sa „O formalno neodlučivim stavovima Principia Mathematica i srodnih sistema”, objavljenom u časopisu “Monantshefte für Mathematik und Physik”, za koji se smatra da je jedan od najznačajnijih rezultata u nauci (ne samo) logike iz prošlog veka, a koji je doprineo da njegov autor bude svrstan među najveće logičare u istoriji! Gedel je afirmisao nove (plodne) pojmove u mišljenju, kao što su: numeracija, dokazivost, odlučivost i drugo, odnosno nove naučne teorije poput teorije modela, rekurzivnih funkcija, teorije algoritama i slično, sve do otkrića programskih jezika i veštačke inteligencije. O čemu je reč?
Gedelč je ukazao da, ako prihvatimo konačan sistem aksioma koje Hilbert predlaže, imaćemo uvek jedan izraz koji nećemo moći ni da dokažemo ni da opovrgnemo upotrebom tih aksioma. A ako se pređe u veći sistem, dokaz je moguć, ali onda taj novi, veći sistem ima svoje aksiome koje će moći da se dokažu u samo još većem novom sistemu. I tako unedogled.

Duh iznad moći svake mašine

Čuveni holandski matematičar Lajcen Brauer, za razliku od formalističkog pristupa,  predvodnik druge struje nazvane intuicionisti, daje sledeći primer: „Niz cifara 123456789 pojavljuje se negde u decimalnoj reprezentaciji broja π=3,1414925…ˮ, predstavlja tvrđenje za koje ne možemo utvrditi da li je tačno ili nije jer ne postoji metod za odlučivanje. Gedel je dokazao da je nemoguće utvrditi da li je neki aksiomatski sistem konzistentan ili ne.
„Opažam (sa matematičkom izvesnošću) da su sve ove aksiome, kao i pravila zaključivanja, valjane i verujem da one sadrže čitavu matematiku. Ako neko tvrdi tako nešto, on protivreči sebi. Jer, ako opaža da su aksiome o kojima je reč valjane, on takođe opaža (sa istim stepenom izvesnosti) da su one konzistentne. Dakle, on poseduje matematički uvid koji nije posledica njegovih aksioma.ˮ (1951)
„Matematika ne može da se kompletira u smislu da se njene aksiome nikada ne mogu obuhvatiti pomoću konačnog pravila, što će reći da ljudski duh (čak i u oblasti čiste matematike) beskonačno prevazilazi moći ma koje konačne mašine, ili pak postoje apsolutno nerešivi problem i navedene vrste.ˮ (1951)
Jedna od interesantnih posledica Gedelovih rezultata je da se nikada ne mogu napisati programi za računar koji daju odgovore na sva matematička pitanja. („Šta računari ne moguˮ, Hubert Drajfus). Rad Gedela iz 1940. je značajan doprinos Kantorovoj hipotezi o kontinuumu, aksiomi izbora, funkcionalno zasnovanoj semantici na intuicionističku logiku i novom rešenju jednačina opšte relativnosti.
Gedolovi rezultati zadali su razarajući udarac matematici: najlogičniji od logičkih sistema nije kompletan, a možda ni konzistetan! Najugledniji među matematičarima epohe, Bertran Rasel (1872-1970) nije video teoreme o nepotpunosti kao dokaz da nešto nije u redu sa njegovom ili Hilbertovom teorijom. On je smatrao da je Gedelov pristup svakako bio avangardan u trenutku objavljivanja.

Beskrajna zlatna nit

Nacionalna medalja za nauku Gedelu je namenjena 1975, ali je on zbog svojih strahova odbio da ode na ceremoniju u Vašington. Trebalo je da mu je dodeli predsednik Džerald Ford, koji ga je bezuspešno ubeđivao i nije pomoglo ni slanje privatnog automobila po njega. 
Bojao se da može biti otrovan, pa je njegova supruga morala da proba svako jelo pre njega. Kada se ona razbolela, izgubio je njen čvrst oslonac u svemu, a posebno u bezbednost hrane. Pošto je još u mladosti imao problema sa čirom, zbog čega je bio na strogoj dijeti, preminuo je zbog odbijanja da uzima hranu.
„Timeˮ magazin je 1999. objavio listu najvećih naučnika i mislilaca 20. veka. Na toj listi su bili i Kurt Gedel i Alen Tjuring, matematičari, logičari.
Hofšteter, inače profesor računarstva i kognitivnih nauka na Univerzitetu Indijana u Blumingtonu, je zbog kreativnih analogija, kojima je na pristupačan način povezao pravilnost Bahove muzike, Ešerovog slikarstva i logičkog zaključivanja u matematici, svoju knjigu „Gedel, Ešer, Bah - jedna beskrajna zlatna nit”  učinio zanimljivom i za širu publiku.

Nezavisno od naše svesti

Možda najinteresantniju kritiku uputio je Ludvig Vitgenštajn (1889-1951), filozof zainteresovan za logiku, filozofiju jezika i filozofiju matematike. Po njemu, teoreme nisu ništa drugo do logičko-jezički paradoksi pa nije potrebno davati im bilo kakav značaj. On smatra da Gedel nije rešio problem jer nije ponudio strog matematički dokaz već samo igru reči koja je na korak od kontradikcije. Drugi su odbacili njegove primedbe. Bilo je i govora o tome da se Vitgenštajn više usredsredio na sam jezik i značenje reči nego na sam logički dokaz pa je, izvodeći pogrešne zaključke, pogrešno protumačio ceo Gedelov rad.
Lavina kritika i korespodencije je potrajala nekoliko godina. Senzacionalni novinski naslovi govorili su o kraju matematike, o očaju mnogih što im se decenijska naučna karijera ruši samo zbog jednog naučnog rada mladog nepoznatog austrijskog doktoranta.
Gedelova pozicija u filozofiji matematike uobičajeno se označava kao platonizam. To je gledište po kojem matematički objekti postoje nezavisno od naše svesti. Iako prećutno prihvatan kao „radna” hipoteza mnogih savremenih matematičara, platonizam je sve samo ne opšteprihvaćen kada je potrebno da se matematičari izjasne o svojim filozofskim stanovištima. Platonizam, po Gedelu, predstavlja opravdanje matematičke gramatike.
Gedel je srušio sve ono u šta su matematičari 19. veka verovali. Ne postoji apsolutna istina, ne postoji jedna teorija koja može da objasni celokupnu matematiku niti bilo koju drugu nauku. Možemo saznati mnogo, ali ne možemo saznati sve.
Savremenici poput Džona fon Nojmana i Pola Bernajsa su odmah uvideli značaj Gedelovog rada. Gedel, neopterećen velikim imenima, siguran u svoje ideje i dokaze, ukazao je na greške i promenio matematičku logiku i celokupnu matematiku za sva vremena. Uveo ih je u 20. vek i omogućio im da velikim koracima grabe napred.
Nakon Gedela, možda matematika nije postala osnova za sve prirodne nauke, ali je omogućila nastanak novih poput računarstva i informatike koje su potom promenile i nauku i ljudske živote, tokom 20. i 21. veka.

Gospodin Zašto

Gedelov život je bio podjednako interesantan kao i njegov naučni rad. Izrazitu intiligenciju i radoznalost ispoljio je još kao mali, pa mu je porodica dala nadimak „Gospodin Zaštoˮ. Kao dete preležao je groznicu koja je ostavila srčane i mentalne posledice koje su ga pratile tokom celog života. Istakao se u srednjoj školi i na Univerzitetu u Beču kao natprosečan student, a doktorirao je 1929, sa 23 godine. Studije su mu promenile i profesionalni i privatni život.
Prvo ispoljavanje teških mentalnih bolesti je izazvalo ubistvo profesora Šlika  1933, za koga je Gedel bio vezan jer mu je probudio interesovanje za logiku. Doživevši nervni slom, neko vreme proveo je u mentalnoj instituciji na lečenju od depresije i paranoje.
Gedel je bio predavač na Univerzitetu u Beču do 1938. Predavanja su bila konfuzna, nerazumljiva čak i malom broju prisutnih studenata. Svoju neobičnost pokazao je oženivši se nekoliko godina starijom atraktivnom igračicom. Godine1939. bračni par je emigrirao u Ameriku. Gedel je smatrao da je prelazak preko Atlanskog okeana suviše opasan, pa ih je put do Prinstona vodio preko Sibira, brodom preko Pacifika do Kalifornije i vozom do Prinstona.

MATEMATIKA

Univerzitet Prinston

Gedel je dobio privremeno mesto profesora na novootvorenom univerzitetu za napredne studije, a od 1953 - stalno mesto profesora matematike. Tamo je upoznao Anštajna i sprijateljio se s njim. Anštajn, društven i veseo, bio je suprotnost usamljenom, pesimističnom  Gedelu. Zbližile su ih nauka, filozofija,  jezik i nepokolebljivo stremljenje ka suštini stvari. Anštajn je bio velika podrška komplikovanom Gedelu.
Gedel je došao do neobičnih rešenja Anštajnovih kosmoloških jednačina: ona su dozvoljavala putovanje kroz vreme, u prošlost. Anštajn ih je nevoljno prihvatio jer su odbacivala njegov klasičan pogled na svet.
Pri kraju života, njegova paranoja se pojačala. Izbegavao je  svaki kontakt, neprekidno nosivši  masku sa otvorima samo za oči. Jedna epizoda iz Gedelovog života opisuje njegovo paranoično ponašanje, ali i njegovu duboku preokupaciju matematikom. Mladi matematičar Pol Koen rešio je jedan od Gedelovih problema i želeo je da mu Gedel potvrdi rezultat. Kada je došao do njegove kuće, Gedel je otvorio vrata samo toliko da primi rukopis. Koen je, razočaran, otišao ne videvši ga. Međutim, posle dva dana, stigao mu je poziv na čaj kod Gedela. Koen je dobio potvrdu za svoj dokaz. Svoj rad je objavio 1962.godine i za njega je nagrađen Fildsovom medaljom.

 

 

Borka Marinković

 

 

 



Kompletni tekstove sa slikama i prilozima potražite u magazinu
"PLANETA" - štampano izdanje ili u ON LINE prodaji Elektronskog izdanja
"Novinarnica"

 

 

 

  back   top
» Pretraži SAJT  

powered by FreeFind

»  Korisno 
Bookmark This Page
E-mail This Page
Printer Versie
Print This Page
Site map

» Pratite nas  
Pratite nas na Facebook-u Pratite nas na Twitter - u Pratite nas na Instagram-u
»  Prijatelji Planete

» UZ 100 BR. „PLANETE”

» 20 GODINA PLANETE

free counters

Flag Counter

6 digitalnih izdanja:
4,58 EUR/540,00 RSD
Uštedite čitajući digitalna izdanja 50%

Samo ovo izdanje:
1,22 EUR/144,00 RSD
Uštedite čitajući digitalno izdanje 20%

www.novinarnica.netfree counters

Čitajte na kompjuteru, tabletu ili mobilnom telefonu

» PRELISTAJTE

NOVINARNICA predlaže
Prelistajte besplatno
primerke

Planeta Br 48


Planeta Br 63


» BROJ 116
Planeta Br 116
Godina XXI
Mart - April 2024.

 

 

Magazin za nauku, kulturu, istraživanja i otkrića
Copyright © 2003-2024 PLANETA