Vladimir Voevodsky: Matematika kot metoda stabilizacije uma

Vladimir Voevodsky: Matematika kot metoda stabilizacije uma

Intervju Olge Baklitskaya-Kameneva z Vladimirjem Voevodskim

Vladimir Voevodsky, I laureat nagrade za nagrade iz matematike in računalništva, Heidelberg, 26. september 2013

Štirideset dni je minilo odkar je umrl izjemen matematik Vladimir Voevodsky (4. junija 1966 – 30. september 2017). Pred štirimi leti smo se srečali v Nemčiji v Heidelbergu, kjer je znanstvenik predaval o Univalentnih temeljih matematike na prvem forumu nagrajencev za matematiko in računalništvo.

Na forumu so me organizatorji povabili kot znanstvenega novinarja. Po nasvetu matematičnega sina, ki je govoril z željo po Vladimirju Voevodskemu, je izkoristila priložnost, da se pogovarja z znanstvenikom. Na žalost je bil računalnik s snemanjem pogovora izgubljen in šele pred kratkim sem našel kopijo pogovora in fotografij na starem pogonu. Mislil sem, da se bom srečal z Vladimirom in nadaljeval pogovor, vendar mi ni bilo treba.

Ponujamo vam zapis o majhnem pogovoru, ki je potekal v univerzitetni kavarni Heidelberg. Do takrat sem že prebral intervjuje z znanstvenikom, ki je bil na voljo na internetu in poslušal njegovo predavanje, vendar mislim, da nisem imel občutka, da smo se že dolgo seznanili. Brezposelnost in odprtost, iskrenost, subtilnost in zmožnost poslušanja sogovornika me niso nič bolj navdušili,kot genij vojevodskih matematičnih konstrukcij.


– Vaši kolegi David Kazhdan, Andrei Okounkov in drugi znanstveniki iz matematike poleti (2013) so prišli v Rusijo in prebrali predavanja za študente in podiplomske študente na poletni šoli matematike "Algebra in geometrija" v Yaroslavlu. Mladi matematiki so bili zelo zadovoljni. Kako se počutiš takim srečanjem z mladimi ruskimi matematiki?

– Na žalost nisem vedel o tem. V Rusijo dvakrat letno poskušam priti – teti in mojim prijateljem, običajno v juniju, ob rojstnem dnevu in v novo leto, čeprav je delovna obremenitev velika. In ker so mnogi moji prijatelji v matematiki, sem tudi prebral eno ali dve predavanji.

Kaj počneš zdaj? Na forumu se imenuje glavni strokovnjak za algebraično geometrijo.

– Čeprav tega ne storim, se bom po nekaj časa vrnil. Zdaj je zanimivo, da ustvarim nove temelje matematike, razvijam računalniške sisteme, ki jih matematiki lahko uporabijo pri svojem vsakodnevnem delu in na katerem koli področju matematike. To, čudno, bi jim lahko pomagalo narediti natanko abstraktno matematiko in ne v smislu abstraktnih izračunov, temveč zgraditi dokaze o teorijah.Tako je s pomočjo tega računalniškega programa, tako kot s kolegom, bilo mogoče interaktivno graditi neke vrste teorijo. Na eni strani to zahteva ustvarjanje novih temeljev matematike, v zadnjih letih pa smo v tej smeri veliko storili. Po drugi strani je treba razviti nove jezike, ki so križanje jezikov logike in programskih jezikov za opis kompleksnih abstraktnih predmetov.

– Ali lahko za to ponudite neke vrste zaprto strukturo?

– Ne želimo, da bi bil popolnoma zaprt, želeli bi biti tako živahno kot človeški jezik: imeti jedro na vsaki določeni stopnji, ki je na nek način preizkušena in zanesljiva. In izven tega jedra se bo pojavilo določeno območje v razvoju. Ko raste dovolj, potem z njeno pomočjo lahko zgradite naslednje jedro. Na tem področju imam veliko različnih idej, vendar jih še nisem pripravljen spregovoriti.

Zdaj se aktivno premikamo v to smer. Lani smo imeli letni program na Inštitutu za višje študije v Princetonu. Nimam skupine kot take, vendar je lani šlo okoli šestdeset ljudi iz različnih držav sveta.Te zamisli so vzeli z njimi in so postopoma organizirali svoje skupine.

Naša nova smer ima dva imena, prva – enkratna osnova matematike, druga – homotopska teorija vrst. Obe področji se hitro razvijajo in se nahajajo na presečišču zgolj abstraktne matematike in računalništva.

– Torej delaš sam?

– Po eni strani, ja, ker sem tako navajen. Po drugi strani pa lahko glede na to, s čim sem vpleten, delam sam ali v skupini, lahko preprosto komuniciram z mnogimi ljudmi, kar delam. Če se želim posvetovati z nekom, se obrnem na svoje kolege. Trenutno ne delam kot svetovalec, razvil se je zgodovinsko, vendar ni bila zavestna izbira.

– Ali še naprej uživate v matematiki? Kaj vas motivira za te razrede? Ali vas privlači njena lepota ali pa poskušate odgovoriti na vprašanje, kako izboljšati vsakdanje življenje? Ali pa, morda, najprej ste zaseženi s priložnostjo za reševanje težav, ki jih predstavlja prejšnja generacija matematikov?

"Zdaj uporabljam matematiko na enak način, da visokokakovostni jogi uporabljajo položaje v telesu, kot nekaj, kar mi pomaga stabilizirati moj um in moje telo." Ne samo v duševno-duševnem smislu, temveč tudi v organizacijskem smislu.Matematika ni tako samoumevna, saj mi daje določen temelj, na katerem se zanašam, da bi naredil druge stvari.

– Kaj praviš na druge stvari?

– Jaz bi to rekel duhovni razvoj. Poleg bralnih knjig je potopitev v stvari blizu ezoterike in okultne.

– Ali se ne bojite, da bodo ta območja tako razburljiva, da je tak potop mogoče preveč globoko in celo nepreklicno?

– Matematika služi kot sidro, ki ga lahko držite, da se tam ne boste vlekli. Lahko si zelo predstavljam, kako se to zgodi.

– Ali imate splošno mnenje, da so veliki znanstveniki in ne le matematiki pogosto najpomembnejša odkritja, ki so bila opravljena pred štiridesetim letom? Ali je odgovor na to vprašanje odvisen od starosti?

– Vzemite, na primer, enolične matematike, ki jih zdaj delam. Razvila sem večino idej, na katerih temelji teorija po štiridesetih letih. Dejstvo je, da je veliko odvisno od tega, kako gledate na matematiko. Izgledate lahko kot sistem, v katerem nekdo postavlja hipoteze, nato pa jih nekdo dokaže, rodi v procesu dokazovanja novih hipotez in jih ponovno dokazuje.Izkazalo se je, kot pravilo, dokaz drugačne hipoteze, ki je bližje mlajši generaciji: narediti nekaj, interes, ki ga določi oblast tistega, ki je prišel do tega zanimivega. Toda s starostjo postane težje motivirati sebe z idejami drugih ljudi …

– Ne postavljate meja? Na primer, ustvarjam do določene starosti, nato pa bom začel študirati zgodovino matematike, razsvetljenstva.

"Nisem prepričan, kajti, kot sem rekel, medtem ko uporabljam matematiko kot tehniko za stabilizacijo mojega uma."

– Za vse namene ni mogoče uporabljati matematike. Kako se počutite glede usode čudovitih matematikov, ki so živeli čudno in nenavadno življenje: Alexander Grothendieck, Alan Turing, John Nash?

– Veliko različnih usod. Od 45 do 55 let se mnogi prebijejo skozi obdobje ponovnega razmišljanja o svojih dejavnostih in se postavljajo vprašanje, toda zakaj delam vse to? Ne izključujem ničesar zase, vendar ne bi želel iti v Pireneje (kot Grotendyk. Opomba ed.).

– Kakšna je vloga družine pri vašem delu?

– 8 let živim sam. Otroci živijo v Bostonu in v Princetonu se srečam z njimi glede na okoliščine.

– Ali je matematika tukaj imela svojo vlogo ali so to navadne človeške okoliščine?

– Težko je razdeliti. Pred osmimi leti se še nisem ločil od matematike, zdaj se ločim od matematike.

– Ali menite, da je nujno povedati širši javnosti, na primer o enotnih temeljih matematike?

– Po mojem mnenju je smiselno. Prepričan sem, da bodo enosmerni temelji matematike postopoma postali standardno orodje. Ne vem kako hitro, vendar nimam nobenega posebnega dvoma o tem. Druga stvar je, kako se pogovoriti o tem.

Verjetno ste daleč od ruskih težav. Toda vaše mnenje o reformi RAS je zanimivo.

– Svet brez matematike ne more obstajati, preveč je odvisno od tega, matematika bo še vedno potrebna. Koliko ljudi bo vanj vključenih v nekaterih obdobjih prihodnje zgodovine, ni znano. Čeprav je splošno prepričano, da bo preživela le uporabljena matematika, ne more preživeti brez čiste matematike. Banke pokličete matematike, analitike, za gradnjo mostov, za letenje letala – za vse, kar potrebujete za matematiko. Poleg tega računalništvo vedno bolj uporablja čisto matematiko.

– Katero mesto v vašem življenju je vaš hobi? Šport, potovanje? Ali so pogoji v Princetonu tako dobri za matematiko, da nič ni potrebno?

– Zame ne igra tako pomembne vloge; Očitno ne posvečam dovolj pozornosti temu. V letih 2006-2007 sem imela dva dolga obdobja, ko sem z mladimi preživel čas na rave, to je adrenalinsko in fizično izobraževanje hkrati, toda ta hobi je minil.

Kaj naj naredim za stabilizacijo, če sem preobremenjen z matematiko? Veliko hodim, poleg moje hiše v Princeton Forestu, veliko časa preživim tam. Ko sem preživel 23 ur, sem odšel domov za 4 ure in spet šel v gozd. Večina sprehajališč se ponoči, to je, hodim ponoči, spoznavam jelena …

Zahvaljujoč takšnim sprehajam imam neke vrste fizično aktivnost. Kar se tiče potovanja, niso toliko, kot bi želeli. Eno vožnjo težko. Tukaj bodo hčere malo odraščale, z njimi lahko potujete. Pred kratkim smo z njimi potovali na Sicilijo, to je bilo super.

– Kaj pomeni v Rusijo? Kako se počutiš?

– Namesto, ameriški, ker živim 23 let v državah.

Intervjuja Olga Baklitskaya-Kameneva
Foto: Olga Baklitskaya-Kameneva

Glejtudi:
"Bil je pripravljen delati dneve brez spanja in hrane." V spomin Vladimirja Voevodskega.


Like this post? Please share to your friends:
Dodaj odgovor

;-) :| :x :twisted: :smile: :shock: :sad: :roll: :razz: :oops: :o :mrgreen: :lol: :idea: :grin: :evil: :cry: :cool: :arrow: :???: :?: :!: