- Gradovi
- Suradnja i aktivnosti
- Novosti
- Medijski kutak
- O nama
Ovog se ljeta, u okviru manifestacije Logic in Vienna, u glavnom gradu Austrije održavaju brojna događanja u čijem je fokusu logika. Vodeći stručnjaci iz cijelog svijeta okupit će se u Beču kako bi zajedno raspravljali o logici i zajedničkim snagama pronašli rješenja.
Nije slučajno da se logičari ovog ljeta okupljaju baš u austrijskom velegradu, moglo bi se čak reći da je i logično. Naime, Austrijanac Kurt Gödel bio je jedan od najvažnijih logičara prošlog stoljeća, a u dobi od 18 godina ovaj se matematičar i filozof preselio u metropolu kako bi upisao studij teorijske fizike na Sveučilištu u Beču. U središtu njegova znanstvena rada bilo je istraživanje potpunosti i logike dokazivosti. Kurt Gödel prvi je opisao mogućnost da neki problemi nemaju rješenje iz čega proizlazi da se svi matematički problemi ne mogu riješiti. A upravo je to problem koji i dan-danas zaokuplja umove mnogih logičara.
Svjetski stručnjaci za logiku u Beču će raspravljati o tome zašto je matematika takva kakva jest te što može i ne može. Osim toga, razgovarat će se i o budućnosti računalstva i umjetne inteligencije. I dok će se stotine logičara iz područja matematike, filozofije i informatike u ljetnim mjesecima baviti ovim složenim temama, Juan Aguilera, logičar i član programskog odbora manifestacije Logic in Vienna ističe kako je logika sastavni dio naše svakodnevice – ona je znanost koja objašnjava kako funkcionira moderni svijet. Dodaje kako bez znanosti nema tehnologije, bez matematike nema znanosti, a bez logike nema matematike.
Bečko logičko ljeto krajem lipnja otvorio je desetotjedni program „Reverse Mathematics“ koji uključuje tri radionice i ljetnu školu. Program se bavi matematičkim aksiomima koji su potrebni za dokazivanje određenog teorema ili za razvoj određene grane matematike.
Program „DEON“ održao se od 1. do 3. srpnja, a sudionici su se bavili deontičkom logikom i normativnim sustavima. Ovaj dio logike proučava odnos između logičkih pojmova koji impliciraju obvezu poput „trebati“, „morati“ i „smjeti“.
„Logic Colloquium“, europska ljetna konferencija najveće internacionalne organizacije logičara Association for Symbolic Logic, počela je 7. srpnja. To je najvažnija svjetska konferencija posvećena logici. Na konferenciji se ovih dana predstavljaju rezultati iz različitih područja logike poput teorije dokaza, teorije modela, teorije skupova, teorije izračunljivosti, logike u informatici i sličnih područja.
Vrhunac konferencije „Logic Colloquium“ je Gödelovo predavanje nazvano po prethodno navedenom velikom austrijskom logičaru, koje će biti otvoreno za javnost. Svake godine Association for Symbolic Logic izabire predavača, a ove je godine ta čast pripala katalonskom logičaru i matematičaru Joanu Bagariji čija je uža specijalnost teorija skupova. U svom predavanju, koje će se održati 9. srpnja, Bagaria će govoriti o izazovima koji proizlaze iz naše predodžbe beskonačnosti.
Osim toga, održat će se i konferencija u čast 80. rođendana izraelskog matematičara Saharona Shelaha, kao i konferencija u čast umirovljenja Jeffa Hirsta koji je predavao matematiku na američkom sveučilištu Appalachian State University u Sjevernoj Karolini.
Manifestaciju Logic in Vienna u rujnu će zatvoriti konferencija „Young Set Theory“ tijekom koje će novi naraštaji raspravljati o teoriji skupova.
Priopćenje za medije (PDF-format)
