Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 22. prosinca 2025. u 17:15 sati, u predavaonici 105, PMF-MO, Zvonimir Šikić održat će predavanje
Prikaz teksta buduće monografije „Logika i vjerojatnost” (2)
Sažetak: Drugi dio prikaza teksta buduće knjige „Logika i vjerojatnost” (403. str. plus reference).
Vjerojatnost počinjemo standardni prikazom klasične vjerojatnosti s mnogo nestandardnih primjera. (Bacio sam 5 kuna i 1 kunu. Ne vidite rezultat ali vas istinito informiram da je 5 kuna dalo glavu. Kolika je vjerojatnost da je 1 kuna dala glavu? Nije nužno 1/2!) Tu se bavimo i problemom determinizma. (Bacanje kovanice je deterministički pokus, jer za zadani v i ω ishod možemo izračunati i eksperimentalno potvrditi. Zašto je onda bacanja kovanice slučajni pokus?)
Slijedi prikaz frekvencijskog pristupa vjerojatnosti (vjerojatnost = granična frekvencija) i mnogih problema koji potkopavaju taj pristup. Posebno se bavimo Bernoullijevim pogrešnim izvodom vjerojatnosti iz frekvencija (njegov tzv. zlatni teorem).
Prikazujemo i najstariji pristup vjerojatnosti kao plauzibilnosti s obzirom na raspoložive informacije. To je najopćenitiji i najprimjenljiviji pojam vjerojatnosti, koji su frekvencionisti odbacili „jer nije jasno zašto bi taj pojam zadovoljavao standardne aksiome vjerojatnosti.“ No, Cox je dokazao da ih plauzibilnost zadovoljava i taj prigovor ne stoji već skoro sto godina.
Konačno se vraćamo logici pokazujući da je vjerojatnost proširena logika. Definiramo probabilističke modele kao proširenja logičkih (verističkih) modela i u odnosu na njih definiramo probabilističku implikaciju (npr. probabilistički modus ponens izgleda ovako: 𝑃𝑟(𝐴)=𝑝 & 𝑃𝑟(𝐵|𝐴)=𝑞 ⟹ 𝑃𝑟(𝐵)∈[𝑝𝑞,1−𝑝𝑞]). To je zapravo bila Booleova logika.
Dokazujemo da u logičkom kontekstu zakon velikih brojeva zapravo ne zahtijeva neprebrojiv vjerojatnosni prostor (na kojem je relevantni skup nizova zanemariv).
Sljedeća dva poglavlja bave se pitanjem što je slučajnost. Na izgled različiti odgovori koji se pozivaju na nepredvidivost (Mises, Ville, Kolmogorov), tipičnost (Martin-Löf) i nekompresibilnost (Kolmogorov, Chaitin) daju ekvivalentne rezultate. To Martin-Löf Chaitinovu tezu da oni dobro definiraju slučajnost čini plauzibilnom.
U kontekstu nekompresibilnosti dokazujemo i Gödel-Chaitinov teorem o nepotpunosti (postoji 𝑚 takav da se ni za jedan konačni niz 𝑠 ne može formalno dokazati da on ima složenost veću od 𝑚).
Zadnje poglavlje bavi se odnosom vjerojatnosti, (znanstvene) indukcije i kauzalnosti. Pokazujemo da nema probabilističke metode koja uzroke može odrediti iz podataka. Zato podatke moramo tumačiti i na temelju neformalnih uzročno-posljedičnih pretpostavki (tj. treba li ili ne treba kontrolirati neku varijablu ne možemo riješiti bez kauzalnih pretpostavki). No, postoje i formalne metode koje to rješavaju algoritamski i koje su u zadnjih 30-tak godina, dovele do prave „𝑘𝑎𝑢𝑧𝑎𝑙𝑛𝑒 𝑟𝑒𝑣𝑜𝑙𝑢𝑐𝑖𝑗𝑒“. Prikazujemo i njihovu osnovnu ideju.
Pristupačnost
