O mom radu vidi dolje.
Postovi su najčešće kompilacije onoga što sam pročitao i što pokušavam sažeti za najširu publiku (nadam se da je korisno). Izvore uglavnom ne navodim, osim ako ih netko zatraži u komentarima. Odabirem ono što smatram važnim i relevantnim za razumijevanje odabranih tema.
Education
- Sc. Mathematics, University of Zagreb, “Continuum Theory” 1975.
- Sc. Mathematics, University of Zagreb, “General Proof Theory and its Relations with Classic Metamathematics”, 1979.
- D. Mathematics, University of Zagreb, “Systems of Rules and Sequent Systems”, 1986.
Employment
- Teaching assistant, University of Zagreb, 1976-1988.
- Assistant professor, University of Zagreb, 1988-1990.
- Associate Professor, University of Zagreb, 1990-1998.
- Full Professor, University of Zagreb, 1998-2003.
- Full Professor with a permanent position, University of Zagreb, 2003-2017.
- Retired, 2017 – present.
Editorial Duties
- Scientia Yugoslavica, main editor, 1989-1990.
- Scientia, main editor, 1990-1991.
- Glasnik matematički, member of the Editorial Board, 1990-1995.
- Encyclopedia moderna, member of the Editorial Board, 1991-1998.
- International Studies in the Philosophy of Science, member of the Editorial Board, 2001- present.
- Poučak, main editor, 2000- 2010.
Professional Duties
- Forth Conference “Algebra and Logic”, Zagreb, 1984, scientific committee member.
- Croatian Mathematical and Physical Society, steering committee member 1985 – 1990.
- First Yugoslavian Seminar for Logic and Computer Science, Ohrid, 1988, secretary and program committee member.
- Mathematical logic and foundations of mathematics seminar, Department of Mathematics, University of Zagreb, head 1988-present.
- University of Zagreb Scientific Tribune, head 1988-1993.
- Seconds Yugoslavian Seminar for Logic and Computer Science, 1989, secretary and program committee member.
- Croatian Mathematical Society, steering committee member 1991-1997.
- First Meeting of Croatian Mathematics Teachers, 1992, program committee member.
- Independent Union of Science and High Education, president 1993-2002. (honorary president from 2003.)
- Philosophy and Science, Zagreb, 1994, program committee member.
- Second Meeting of Croatian Mathematics Teachers, 1994, program committee member.
- First Croatian Mathematical Congress, Zagreb, 1996, scientific committee member.
- Third Meeting of Croatian Mathematics Teachers, 1996, program committee member.
- Croatian Mathematical Society, vice-president, 1997-1999.
- Croatian Mathematical Society, president, 1999-2003.
- First Congress of Croatian Mathematics Teachers, 2000, program committee member.
- Philosophy of Science, IUC – Dubrovnik, conference director 2001-present.
- Logic and Applications- LAP, IUC – Dubrovnik, founder and conference director 2013-present.
- Croatian Helsinki Committee for Human Rights, vice president 2017 -2018 (member 2008. – present).
- Club of Rome, member 2018 – present.
- Croatian Pugwash group, president 2021 – present.
- Security, Science and Peace Conference, Croatian Pugwash Group and World Academy of Art and Science, Zagreb, 5. 5. 2022. Organizing Committee.
- Energetska budućnost Hrvatske, Croatian Pugwash Group, Croatian Academy of Engineering and World Academy of Art and Science, Zagreb, 12-13. 11. 2021. Organizing Committee.
- Kathy Wilkes Memorial Conference on Mind, Philosophy and Society – Goal Directed Behaviour, St Hilda’s College U. of Oxford, Herbert Simon Society, IUC-Dubrovnik, Dubrovnik 29-30. 4. 2022. Organizing Committee.
- Congress of Mathematics Teachers of the Republic of Croatia, 5-6. 7. 2022. Organizing Committee of the University Section.
Projects
- “Mathematical Modelling and Applications”, subproject of “Algebra and Mathematical Logic”, researcher, 1980-1990.
- “Logical Foundations of Mathematics and Computer Science”, main researcher, 1991- 2001.
- ”Mathematical Logic and Applications”, main researcher, 2002-2014.
Publications
Books
- Kako je stvarana novovjekovna matematika, Školska knjiga, Zagreb 1989.
- Filozofija matematike, Školska knjiga, Zagreb 1995.
- Matematika i muzika, HMD, Zagreb 1999.
- Knjiga o kalendarima, Profil, Zagreb 2002. (Second edition 2003.)
- Matematika i muzika, (extended edition with Zoran Ščekić), Profil, 2013.
- Knjiga za klikeraše – logički pogled na čovjeka i društvo, Profil knjiga, 2020. (Second edition 2021.)
Textbooks
- Račun – diferencijalni i integralni, Školska knjiga, Zagreb 1992. (With L. Krnić).
- Infinitezimalni račun, University of Zagreb textbook, Profil 2002.
- Diferencijalne jednadžbe, University of Zagreb textbook, Profil 2002.
- Logika, Školska knjiga, Zagreb 2013. (With D. Lauc).
- + More than 50 math textbooks in more than 300 editions.
Book editorials
- Novija filozofija matematike, Nolit, 1987. (Author of the introductory essay).
- Inženjerski priručnik 1, Temelji inženjerskih znanja, Školska knjiga, Zagreb 1996. (with I. Alfirević).
Book chapters
- O razlikovanju čiste i primijenjene matematike u svjetlu matematičkog postojanja, Problem postojanja u matematici, 19-27, eds. S. Prešić, et.al., Matematički institut, Beograd 1979.
- Aksiomatska metoda, prirodni brojevi i teorija modela, Brojevi, 231-257, eds. M. Mihaljinec et.al., Školska knjiga, Zagreb 1985.
- Formalna logika i aritmetika, Brojevi, 16-21, eds. M. Mihaljinec et.al., Školska knjiga, Zagreb 1985.
- Closure operators and consequence relations, Proceedings of the conference “Algebra and logic”, 151-159, Sarajevo 1987.
- Diferencijalni i integralni račun, 37-58, Inženjerski priručnik 1, Temelji inženjerskih znanja, eds. I. Alfirević et.al., Školska knjiga, Zagreb 1996.
- Obične diferencijalne jednadžbe, 58-64, Inženjerski priručnik 1, Temelji inženjerskih znanja, eds. I. Alfirević et.al., Školska knjiga, Zagreb 1996.
- Parcijalne diferencijalne jednadžbe, 64-69, Inženjerski priručnik 1, Temelji inženjerskih znanja, eds. I. Alfirević et.al., Školska knjiga, Zagreb 1996.
- Račun kompleksnih funkcija, 69-79, Inženjerski priručnik 1, Temelji inženjerskih znanja, eds. I. Alfirević et.al., Školska knjiga, Zagreb 1996.
- Vektorski račun, 79-91, Inženjerski priručnik 1, Temelji inženjerskih znanja, eds. I. Alfirević et.al., Školska knjiga, Zagreb 1996.
- Sukob prošlosti i budućnosti u suvremenom obrazovanju, Aktualni problemi prirodnih znanosti i obrazovanja u Hrvatskoj, eds. S. Mardešić, M. Meštrov 75-83, HAZU 2001.
- Znanost i demokracija, Znanost i javnost/Public Understanding of Science, ed. B. Jergović, 35 – 42, Izvori 2002.
- Mathematics, physics and music – A case study, Role of Mathematics in Physical Sciences: Interdisciplinary and Philosophical Aspects, eds. G. Boniolo, P. Budinich, M. Trobok, 179–196, Springer Science 2005.
- Kako usporediti razdiobe, Zbornik radova 5. kongresa nastavnika matematike, ed. I. Ivanšić, 551 – 554, Profil 2012.
- Fisherovo testiranje hipoteza i Laplaceovo racunanje vjerojatnosti, Zbornik radova 5. kongresa nastavnika matematike, ed. I. Ivanšić, 554 – 562, Profil 2012.
- Filozofija matematike, Filozofski leksikon, S. Kutleša, 358 – 362, Leksikografski zavod Miroslav Krleža, 2012.
- A Note on Probability, Frequency and Countable Additivity, Philosophy in dialogue with sciences, eds. L. Boršić, I. Skuhala Karasman, 273-279, Institut of philosophy, Zagreb 2013.
- Generalized Pythagorean Comma, CroArtScia2011 – Symmetry: Art&Science, 169 – 174, 2014.
- The speed of light is the speed of everything (on Epstein’s and Minkowski’s diagrams), Physics and Philosophy II, eds. L. Boršić, D. Poljak, I. Skuhala Karasman, F. Sokolić, 3-15, Institute of philosophy, Zagreb 2019.
- Logic and Applications – LAP Meeting, 1–3. (with S. Ghilezan, Z. Ognjanović, T.Studer), Logic, Language, and Security, eds. V. Nigam, T. Ban-Kirigin, C. Talcott, S. Kuznetsov, B. Thau Loo, M. Okada, Springer, 2020.
- Mathematical Logic: Mathematics of Logic or Logic of Mathematics, Guide to Deep Learning Basics, 1 – 7, ed. S. Skansi, Springer, 2020.
- Disease testing, naive heuristics and evolutionary psychology, Mathematics for Human Flourishing in the time of COVID-19 and post COVID-19, eds. M. N. Hounkonnou, M. Mitrović, De Gruyter, ISBN 978-3-11-073862-9 (to appear in 2022)
Scientific journals
- A note on sum-eliminator (abstract), Journal of Symbolic Logic 45, 407, 1980.
- A note on sum-eliminator, Glasnik matematički 15, 249-251, 1980.
- Multiple forms of Gentzen’s rules and some intermediate logics (abstract), Journal of Symbolic Logic 48, 1227-1228. 1983.
- Multiple forms of Gentzen’s rules and some intermediate logics, f. math. Logik und Grundlagen d. Math. 30, 335-338. 1984.
- Novija filozofija matematike, Scientia Yugoslavica 10, 3-10. 1984.
- Nekatere opombe k logiki in filozofiji znanosti, Anthropos 3/4, 126-129. 1985.
- Continuing variations on a system of Gentzen, f. math. Logik und Grundlagen d. Math. 31, 537-544. 1985.
- Prirodni logaritmi, Istorija matematičkih i mehaničkih nauka 4, 95-105. 1990.
- Cantor’s theorem and paradoxical classes, f. math. Logik und Grundlagen d. Math. 32, 221-226. 1986.
- On the logical system L1, f. math. Logik und Grundlagen d. Math. 32, 349-353.1986.
- Singular consequence relations and order relations, Grazer Mathematische Berichte 304, 118-127. 1989.
- Taylor’s theorem, International Journal for Mathematical Education in Science and Technology 21, 111-115. 1990.
- Premiss tree proofs and anti-intuitionistic logic (abstract), Journal of Symbolic Logic 55, 429. 1990.
- Premiss tree proofs and logic of contradiction, f. math. Logik und Grundlagen d. Math. 36, 273-280. 1990.
- A proof of the characterization theorem for consequence relations, f. math. Logik und Grundlagen d. Math. 37, 41-43. 1991.
- On Devide’s axiomatization of natural numbers, Grazer Mathematische Berichte 313, 57- 64. 1991.
- On a distinction between pure and applied mathematics, Encyclopaedia moderna 1, 6-9.1992.
- The diagonal argument – a study of cases, International Studies in the Philosophy of Science 6, 191-203. 1992.
- On the equivalence of the solution lemma and Aczel’s antifoundation axiom, Grazer Mathematische Berichte 323, 69-78. 1994.
- What are numbers, International Studies in the Philosophy of Science 10, 159-171. 1996.
- On unfounded universe with individuals and proper classes (abstract), Bulletin of Symbolic Logic 3, 118-119. 1997.
- On numbers and classes, Mathematical Communications 3, 231-236. 1998.
- Alan Mathison Turing i pojam izračunljivosti, Encyclopaedia Moderna 49, 153–161, 1998.
- Area under xa by geometry, International Journal for Mathematical Education in Science and Technology 34/6, 923-927, 2003.
- Gödel’s Incompleteness and Man-Machine Non-Equivalence, Grazer Mathematische Berichte, 304, 75-78, 2005.
- What Is Probability And Why Does It Matter, European Journal of Analytic Philosophy, 10/1, 21-43, 2014.
- A Note on Probable Conditionals, European Journal of Analytic Philosophy 11/2, 50-55, 2015.
- Compounding objects, Bulletin of the Section of Logic 49/2, 181 – 184, 2020.
- Rules of thumb for positive and negative test results, Journal of Evaluation in Clinical Practice 27, 158 -159, 2021.
- On Nondeductive Mathematics, The Mathematical Intelligencer 43, 35–39,
- Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus, Logica Universalis, 1-16, 2021. http://link.springer.com/article/10.1007/s11787-021-00279-0
Professional journals
- O sumiranju kvadratnih brojeva, Matematika 4 (1978), 5-10.
- Neke primjene mehanike u geometriji, Matematika 2 (1981), 34- 44.
- Taylorova formula i dodiri višeg reda, Matematika 3 (1984), 5-10.
- Polinomske aproksimacije i Taylorova formula, Matematika 3 (1984), 10-19.
- Taylorovom teoremu, Matematika 3 (1984), 19-29.
- “Strojarski” dokazi u matematici, Matematika 2 (1984), 24-38.
- Inženjerska matematika je numerička matematika, Đuro Đaković 1 (1985), 21-26.
- Otkriće prirodnih logaritama, Matematika 3-4 (1985), 56–60.
- Izolirani singulariteti funkcija, Matematika 2 (1986), 60-65.
- Brojevi i brojke, Matematika 3 (1986), 5-15.
- Joseph Louis Lagrange, Matematika 4 (1986), 47–50.
- Aksiomatizacija prirodnih brojeva, Matematika 1 (1987), 12-19.
- Život i djelo Kurta Gödela. Matematika 2 (1987), 49–58.
- Neprebrojivost kontinuuma i porijeklo teorije skupova, Matematika 4 (1987), 7–21.
- Definicije u matematici, Matematika 1 (1988), 5-19.
- Što su skupovi u školi, Matematika 3 (1989), 19-30.
- O zbroju kutova u trokutu, Matematika 4 (1989), 18-26.
- Definicije u matematici II, Matematika 2 (1989), 19-36.
- Newton i Leibniz – otkrivači infinitezimalnog računa, Matematika 1 (1989), 5 – 25.
- Prirodni logaritmi, Istorija Matematičkih i Mehaničkih Nauka 4 (1991), 95–105.
- Kako je Eratosten izmjerio Zemlju, Matka 3 (1993), 17-21.
- Stendhalovi problemi s negativnim brojevima, Matka 6 (1993), 62-64.
- O matematizaciji prirodnih znanosti, Rugjer 2 (1996), 40-42.
- Gödelovi teoremi, Rugjer 5 (1996), 30-36.
- Iracionalnosti potencija, Poučak 1 (2000), 54-55.
- Distributivnost vektorskog produkta, Poučak 1 (2000), 56-57.
- Dokazi bez riječi, Poučak 1 (2000), 58-62.
- Fibonaccijev niz, Poučak 2-3 (2000), 5-17.
- Dokazi bez riječi, Poučak 2-3 (2000), 79-82.
- Brojevni sustavi i pravila djeljivosti, Poučak 4 (2000), 18-23.
- Ekvivalent Fermatovog zadnjeg teorema, Poučak 4 (2000), 40-41.
- Pravilni poligoni, krug i kružnica bez riječi, Poučak 4 (2000), 48-49.
- Znanost, demokracija i matematika, Poučak 5 (2001), 69-75.
- Sukob prošlosti i budućnosti u suvremenom obrazovanju, Poučak 6 (2001), 47-52.
- O zamjeni uvjeta onim što je uvjetovano, Poučak 7 (2001), 15-21.
- Velika nagrada, Matka 9 (2001-2002).
- Poopćenja Talesovog poučka, Matka 10 (2001-2002).
- Kratki pregled osnovnih znanja o realnim brojevima, Poučak 10 (2002), 35-44.
- Beskonačne formule za π bez riječi, Poučak 10 (2002).
- Tri zadatka – Poopćeni Pitagorin poučak, Problem sigurnog razmaka, Regiomontanusov problem, Poučak 11 (2002).
- Od pismenog dijeljenja do Fermatovog malog teorema, Poučak 12 (2002), 16-22.
- Od pismenog dijeljenja do Laurentova i Taylorova razvoja, Poučak 12 (2002), 23-27.
- Eksponencijalni i logistički rast, Poučak 13 (2003), 14-31.
- Istine i laži o zlatnom rezu, Poučak 15 (2003), 50-70.
- Tajna broja 1089, Matka 12 (2003-2004).
- Šest rješenja – Poopćeni Pitagorin poučak, Problem sigurnog razmaka, Regiomontanusov problem, Poučak 17 (2004), 70 – 76.
- Deset ne sasvim lakih teorema – Poopćenje Varignonovog teorema, Cevin teorem, Van Schootenov teorem, Hipokratov teorem, poopćeni Pitagorin teorem, Poučak 17 (2004).
- Deset ne sasvim lakih dokaza – Poopćenje Varignonovog teorema, Cevin teorem, Van Schootenov teorem, Hipokratov teorem, Poopćeni Pitagorin teorem, Poučak 21 (2005), 54 – 60.
- Kako iz datuma odrediti dan u tjednu, Poučak 21, (2005), 61 – 74.
- Pet zadataka iz vjerojatnosti – Očekivani broj pokušaja da se ostvari povoljni ishod i Eulerova konstanta γ, Problem rođendana i eksponencijalna aproksimacija, Poučak 21 (2005).
- Brojevi i računanje u osnovnoj školi, Poučak 23 (2005), 32 – 33.
- Dvije nadopune Arhimedova nadgrobnog spomenika, Poučak 25 (2005), 5 – 10.
- Okreti na minimalnoj površini, Matka 14, (2005-2006)
- Rješenja pet zadataka iz vjerojatnosti- Očekivani broj pokušaja da se ostvari povoljni ishod i Eulerova konstanta γ, Problem rođendana i eksponencijalna aproksimacija, Poučak 25 (2006), 66 – 72.
- Problem lažne kovanice, Poučak 29 (2007), 8 – 13.
- Činjenice, pojmovi, rutine i problemi , Poučak 37 (2009), 4 – 12.
- Nakon deset godina, Poučak 40 (2009).
- Lažljivac Epimenid na putovima paradoksa, Poučak 43 (2010), 72-74.
- Gödelovi teoremi, Poučak 49 (2012), 16-30.
- O matematičkoj neumitnosti tržišnih zakona, Poučak 50 (2012), 70-80.
- Isto, a možda i nije , Poučak 51 (2012), 74-79.
- Tangenta krivulje drugog reda, Poučak 52 (2012), 24-28.
- Što su i čemu služe zakoni? Poučak 53 (2013), 26-33.
- Što dokazuje Arrowljev teorem , Poučak 57 (2014), 69-75.
- Paradoks efikasnog tržišta , Poučak 66 (2016), 75-79.
- Druga kći, Monty Hall, dvije omotnice – zbunjujuće vjerojatnosti, Poučak 77 (2019), 4-17.
- Heronova formula u dvije slike , Poučak 78 (2019), 33.
- O logičkoj strukturi dokaza o postojanju karakterističnih točaka trokuta, Poučak 78 (2019), 34-38.
- Matematika – od neba preko zemlje do skupova, Poučak 87 (2021), 4-14.
- Slučajni trokut, Poučak 88 (2022), 8-12.
Web pages
- Jesmo li lakovjerni, 9. 2. 2022. https://ideje.hr/nismo-lakovjerni-kako-nas-onda-zavedu-i-padamo-u-zablude-antivakseri-i-znanost/
- Ima nade za istinu, 3. 12. 2021. https://ideje.hr/ima-nade-za-istinu/
- Matematika od neba preko zemlje do skupova, 23. 9. 2021. https://ideje.hr/kakve-veze-ako-ikakve-imaju-matematika-i-stvarnost-od-neba-preko-zemlje-do-skupova/
- Bioloski korijeni morala, 7. 9. 2021. https://ideje.hr/bioloski-korijeni-morala-zasto-ljudi-brinu-i-za-druge-a-ne-samo-za-sebe-i-svoje-slobodna-volja/
- Darwin nije socijalni darvinist. Kako dobrota uopće nastaje i kako opstaje. Uloga zajednice, 2. 5. 2021. https://ideje.hr/?s=%C5%A1iki%C4%87+zvonimir
- Zemlje koje ne cijepe AstraZenecom starije od 65 ne usude se reći da im mladalačka godina života vrijedi više, 9. 2. 2021. https://ideje.hr/?s=%C5%A1iki%C4%87+zvonimir
- U ekonomici stalno pobjeđuje struja čiji su teorijski temelji i prediktivna moć slabiji. Tako su uspješni još samo svećenici, 11. 11. 2020. https://ideje.hr/?s=%C5%A1iki%C4%87+zvonimir
- Uspjeh nije zajamčen. Zašto s poliom ne ide kao s boginjama? Što se sve mora složiti da se zaustavi COVID-19? 12. 5. 2020. https://ideje.hr/?s=%C5%A1iki%C4%87+zvonimir
- Gigerenzer vs. Kahneman. Kako ljudi stvarno razmišljaju, 25. 4. 2020. https://ideje.hr/?s=%C5%A1iki%C4%87+zvonimir
- Kolika je vjerojatnost da ste bolesni ako vam je test pozitivan? Dva jednostavna pravila, 2. 4. 2020. https://ideje.hr/?s=%C5%A1iki%C4%87+zvonimir
- Matematički model imuniteta stada, 27. 3. 2020. https://ideje.hr/?s=%C5%A1iki%C4%87+zvonimir
- Rat sjećanja. Zaboravljene premise, 9. 11. 2019. https://ideje.hr/?s=%C5%A1iki%C4%87+zvonimir
- Na svijetu ima posla i za manje efikasne: doktrina komparativne prednosti koju mnogi ne razumiju, 10. 6. 2018. https://ideje.hr/?s=%C5%A1iki%C4%87+zvonimir
- Moralna pitanja Staljinove industrijalizacije, 20. 10. 2017. https://ideje.hr/ s=%C5%A1iki%C4%87+zvonimir
- Kako zaustaviti Trumpa? 03.2016. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Možemo trošiti više nego što imamo01.2016. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Neboder na plitkim temeljima07.2015. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- EU nakon grčke krize: U rukama Njemačke i Francuske07.2015. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Zašto je grčko NE glas za Europu07.2015. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Odlazak Genijalnog uma05.2015. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Yanis Varoufakis i globalni Minotaur02.2015. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Od rođačkog klana do modernog liberalizma11.2014. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Temeljni dohodak spas je za kapitalizam08.2014. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Recenzija knjige – Thomas Piketty: Kapital u 21. stoljeću06.2014. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Sramota, krivnja i kazna04.2014. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Indirektni reciprocitet i reputacija01.2014. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Blagdani nas čine sretnima12.2013. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Ako dobijaš ne mijenjaj – mijenjaj samo ako gubiš12.2013. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Kako evoluira suradnja11.2013. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Reciprocitet i iterirana zatvorenikova dilema11.2013. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Zatvorenikova dilema10.2013. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Teorija igara (1)10.2013. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Recesija i proricanje budućnosti07.2013. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
- Zvonimir Šikić: Odgovor Velimiru Šonji07.2013. https://web.archive.org/web/20160323014500/http://www.banka.hr/zvonimir-sikic
Conferences and invited lectures
- A note on sum-eliminator, Logic Colloquium ’78, Mons, 29. 8. – 1. 9. 1978.
- Multiplarne forme Gentzenovih pravila i neke međulogike, VII. kongres matematičara, fizičara i astronoma Jugoslavije, Bećići 6. – 11. 10. 1980.
- Transformacije Gentzenovih sistema, VII. kongres matematičara, fizičara i astronoma Jugoslavije, Bećići, – 11. 10. 1980.
- Formalna logika i aritmetika, IX. Seminar za konstruktivnu matematiku i teoriju modela Zagreb-Beograd: “Problem broja”, Zagreb, 4. – 6.12.1980.
- Multiple forms of Gentzen’s rules and some intermediate logics, Logic Colloquium ‘82, Firenza, 7.7.-13.7.1982.
- Mehaničko rasuđivanje i Goedelov teorem o nepotpunosti, XI. Seminar za konstruktivnu matematiku i teoriju modela Zagreb-Beograd: “Matematička logika i računarstvo”, Beograd, 7. – 9.12.1982.
- Mehaničko rasuđivanje i Goedelov teorem o nepotpunosti, VII. simpozij iz informatike Jahorina ’83, Jahorina, 4.- 8.4.1983.
- Cantor’s theorem and paradoxical classes, VII. Congress of Balkan’s mathematicians, Athens, 19.-23.12.1983.
- Strojarski dokazi u matematici, I. konferencija “Matematika i strojarstvo”, Slavonski Brod, 1983.
- Inženjerska matematika je numerička matematika, I. konferencija “Matematika i strojarstvo”, Slavonski Brod, 1983.
- On a distinction between pure and applied mathematics, 10. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 4.-14.4.1984.
- Princip permanencije i Eulerova formula, IV. konferencija “Algebra i logika”, Zagreb, 7.- 9.6.1984.
- O logičkom sistemu L1, IV. konferencija “Algebra i logika”, Zagreb, 7.- 9.6.1984.
- Nekatere opombe k logiki in filozofiji znanosti, Intenzionalne modalne logike in teorija znanosti (invited lecture), Ljubljana, 7. – 9.11.1984.
- Logička semantika vs. teorija modela, XII. Seminar za konstruktivnu matematiku i teoriju modela Zagreb-Beogra “Filozofija teorije modela”, Beograd, 13.-16.1.1984.
- Operatori zatvaranja i njihova primjena u logici, VIII. kongres matematičara, fizičara i astronoma Jugoslavije, Priština, 23.-27.9.1985.
- Mathematical logic: mathematics of logic or logic of mathematics, 11. Annual Philosophy of Science Conference, IUC – Dubrovnik 5.- 15.4.1985.
- O tzv. strogom izlaganju infinitezimalnog računa na visokim i višim školama, VIII. kongres matematičara, fizičara i astronoma Jugoslavije, Priština, 23.-27.9.1985.
- Aksiomatizacije prirodnih brojeva, V. konferencija “Algebra i logika”, Cetinje, 12 – 14.6.1986.
- Operatori zatvaranja u logici, VI. konferencija “Algebra i logika”, Sarajevo, 18.- 20.6.1987.
- Premiss-tree proofs and anti-intuitionistic logic, Logic Colloquium ’88, Padova, 28.-30.8.1988.
- Closure operators and consequence relations (invited lecture), VI. Mathematikertrefen Zagreb-Graz, Opatija, 3. – 5.11.1988.
- Dokazi razvedeni prema premisama, I. Jugoslavenski seminar za logiku i računarstvo, Ohrid, 27.-30.9.1988.
- Sistemi sekventi kao metasistemi sistema pravila, II. Jugoslavenski seminar za logiku i računarstvo, Kragujevac, 27.-29.9.1989.
- Sistemi sekventi kao metasistemi sistema pravila, 7. konferencija “Algebra I logika”, Maribor, 15.-17.6.1989.
- On Devide’s axiomatization of natural numbers(invited lecture), VII. Mathematikertrefen Zagreb-Graz, Graz, 17.-18.12.1990.
- Mathematical Education in Croatia, Current Issues in Mathematics and Science Education (invited lecture), University of Bristol, 11.-20.9.1990.
- The diagonal argument – a study of cases, 18. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 13.-18.4.1992.
- Povijest matematike u osnovnoj školi, I. susret nastavnika matematike RH, Zagreb, 29.6.-1.7.1992.
- Povijest matematike u srednjoj školi, I. susret nastavnika matematike RH, Zagreb, 29.6.-1.7.1992.
- Okrugli stol: Matematička terminologija (voditelj rasprave i uvodna riječ), I. susret nastavnika matematike RH, Zagreb, 29.6.-1.7.1992.
- How mathematical physics came into being, 19. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 12.-17.4.1993.
- On the equivalence of the solution lemma and Aczel’s antifondation axiom (invited lecture), VIII. Mathematikertrefen Zagreb-Graz, Graz, 9.-11.12.1993.
- On numbers and classes, 20. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 11.-16.4.1994.
- Zašto je zdravorazumska fizika ustupila mjesto matematičkoj, III. International philosophical Symposium on Plato, Platonism, Petriš & Natural Philosophy, Cres, 17.-21.7.1994.
- O matematizaciji (invited lecture), Filozofija i znanost, Zagreb, 23.-25.6.1994.
- Neke svakodnevne primjene geometrije trokuta, II. susret nastavnika matematike RH, Zagreb, 30.6.-2.7.1994.
- Beskonačni procesi, II. susret nastavnika matematike RH, Zagreb, 30.6-2.7.1994.
- Some questions concerning the unity of mathematics and physics, 21. Annual Philosophy of Science Conference, IUC, Dubrovnik, 10.-15.4.1995.
- On Unfounded Universe with Individuals and Proper Classes, Logic Colloquium ’95, Haifa, 9.-17.8.1995.
- Što je jednostavno a što složeno u matematici, III. susret nastavnika matematike RH, Zagreb. 27.-29.6.1996.
- On Newcomb’s paradox, 23. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik7.-12.4.1997.
- The rational value of paradoxes, 25. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 5 – 10.4.1999.
- Mathematics, evolution and biology (invited lecture), Mind and Brain I, Inter-University Centre, Dubrovnik, 27. – 29.10.2000.
- O prepoznavanju provalnika i testiranju bolesti, I. Kongres nastavnika matematike RH, Zagreb. 1.- 3.7.2000.
- Goedel’s theorem, man-machine non-equivalence and evolution, 27. Annual Philosophy of Science Conference, IUC-Dubrovnik, 9.-14.4.2001.
- Goedel’s theorem, man-machine non-equivalence and evolution, Mind and Brain II, Inter-University Centre, Dubrovnik, 15.-19.10.2001.
- Sukob prošlosti i budućnosti u suvremenom obrazovanju (invited lecture), Aktualni problemi prirodnih znanosti i obrazovanja u Hrvatskoj, HAZU, 3.4.2001.
- Znanost i demokracija (invited lecture), Znanost i mediji, Opatija, 11.-14.6.2001.
- Princip permanencije i Eulerova formula, VI. Susret nastavnika matematike RH, Zagreb. 3. – 5. 7. 2002.
- Mathematics, physics and music (invited lecture), III. International Conference on Science and culture – The role of mathematics in Physical Sciences, Lošinj, 25.-29. 8. 2003.
- Consonance versus Dissonance —Nurture or Nature, 29. Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 14.–19. 4. 2003.
- The Curious History of Modern Integration, 30. Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 19.–24. 4. 2004.
- Comprehension as Compression, Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 11.–15. 4. 2005.
- On a Probable Heliocentric Origin of Ptolemy’s System, 33. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 10.–14. 4. 2006.
- Epistemic Reality and the Miracle of eiπ = –1, 34. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 16. – 20. 4. 2007.
- How to Justify the Probability Axioms, 37. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 12. – 16. 4. 2010.
- Logic in Croatia in 20. Century (invited lecture), Istorijat logike u Srbiji, Matematički Fakultet, Beograd, 14. – 15. 6. 2010.
- Relacija posljedice i sustavi njenog izvodenja (invited lecture), Seminar for Mathematical Logic, Mathematical Institute of the Serbian Academy of Sciences and Arts, Beograd, 25. 10. 2010.
- Laplace, De Finetti, Cox – što je vjerojatnost i treba li nam statistika (invited lecture), Seminar for Mathematical Logic, Mathematical Institute of the Serbian Academy of Sciences and Arts, Beograd, 26. 10. 2010.
- Frequencies, ω-additivity, and Infinitesimals, 38. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 11. – 15. 4. 2011.
- Brzina svjetlosti je brzina svega (invited lecture), Seminar for History and Philosophy of Mathematics and Mechanics, Mathematical Institute of the Serbian Academy of Sciences and Arts, Beograd, 14. 6. 2011.
- The Speed of Light Is the Speed of Everything, 39. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 16. – 20. 4. 2012.
- Probability as relative frequency and countable additivity (invited lecture), Verovatnosne logike i njihove primene, Beograd, 27, -28. 10. 2012.
- Compounding Objects and Transferring Properties: Łoś’s Theorem, Annual Philosophy of Science Conference, IUC – Dubrovnik, 15. -19. 4. 2013
- Gödel’s Incompletness Theorem and Man-Machine Non-equivalence, Logic and Applications – LAP, Dubrovnik, 16. -20. 9. 2013.
- Matematika i svijet oko nas – matematika i muzika (invited lecture), Udruga u kulturi Fenoliga i JU Kamenjak, Premantura, 6. 3. 2014.
- On probable conditionals, 41. Annual Philosophy of Science Conference, Inter-University Centre, Dubrovnik, 14. – 18. 4. 2014.
- On Probable Conditionals, Logic and Applications – LAP, Inter – University Centre, Dubrovnik, 22.-26. 9. 2014.
- Matematika I slikarstvo (invited lecture), Maj Mesec Matematike (M3), Beograd 21. 5. 2014.
- On Probable Conditionals (invited lecture), Verovatnosne logike i njihove primene, Beograd, 2. 10. 2014.
- Zašto nastaju ekonomske krize i kako izaći iz njih? (invited lecture with Vedrana Pribičević), Skeptici u pubu! Sax Klub hrvatskih glazbenika, 6. 3. 2015.
- The Mathematics of Smith’s Invisible Hand , 42. Annual Philosophy of Science Conference, Inter – University Centre, Dubrovnik, 13. – 17. 4. 2015.
- There is only one speed, 4. Physics & Philosophy: Time, Space and Space-Time, University of Split, 6-7.7. 2015.
- What is Probability (invited lecture), Verovatnosne logike i njihove primene, Beograd, 29-30. 10. 2015.
- What is Probability Logic, Logic and Applications – LAP, Inter – University Centre, Dubrovnik, 21. -25. 9. 2015.
- The Sure Thing Principle and Simpson’s Paradox, 43. Annual Philosophy of Science Conference, IUC – Dubrovnik, 11. -15. 4. 2016.
- The sure thing principle and Simpson paradox, Logic and Applications – LAP, Inter – University Centre, Dubrovnik, 19. – 23. 9. 2016.
- The sure thing principle (invited lecture), Verovatnosne logike i njihove primene, Beograd, 6. 10. 2016.
- Why do laws succeed, or not? Annual Philosophy of Science Conference, Inter – University Centre, Dubrovnik, 24. – 28. 4. 2017.
- Jednostavna fizika i složena matematika (invited lecture), Seminar for History and Philosophy of Mathematics and Mechanics, Mathematical Institute of the Serbian Academy of Sciences and Arts, Beograd, 16. 5. 2017.
- Why do laws succeed, or do not succeed? , Social Ontology, University of Rijeka, 22. – 23. 5. 2017.
- What is logical consequence, Logic and Applications – LAP, Inter – University Centre, Dubrovnik, 18. -22. 9. 2017.
- Porijeklo konsonantnosti (invited lecture), Hrvatska Glazbena Unija, 6. 12. 2017.
- Što su veličine i kako s njima računamo (invited lecture), Seminar for Relativity Theory and Cosmological Models, Mathematical Institute of the Serbian Academy of Sciences and Arts,, Beograd, 13. 12. 2017.
- Što je logicizam i je li propao (invited lecture), Seminar for History and Philosophy of Mathematics and Mechanics, Mathematical Institute of the Serbian Academy of Sciences and Arts, Beograd, 12. 12. 2017.
- Povijest matematičke fizike – od Newtona do principa simetrije (invited lecture), Akademija tehničkih znanosti Hrvatske, Zagreb, 28. 3. 2018.
- What are magnitudes, 45. Annual Philosophy of Science Conference, Inter – University Centre, Dubrovnik, 16. – 20. 2018.
- A „refutation“ of CH and a refutation of Freiling argument against CH, Logic and Applications – LAP, Inter – University Centre, Dubrovnik, 24. – 28. 9. 2018.
- On definitions (invited lecture), Conference dedicated to the 70th birthday of Prof. Žarko Mijajlović, Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, 16. – 17. 11. 2018.
- Izborni sustavi, ideali i stvarnost (invited lecture), Liberalni forum: Izborni sustav u Hrvatskoj, DoubleTree by Hilton, Zagreb 16. 3. 2019.
- Compounding objects, Formal methods and science in philosophy III, Inter – University Centre, Dubrovnik, 11. – 13. 4. 2019.
- On Freiling argument against CH, 46th Annual Philosophy of Science Conference, Inter – University Centre, Dubrovnik, 15. – 19. 4. 2019.
- Složene strukture (invited lecture), Seminar za istoriju i filozofiju matematike, mehanike i astronomije, Mathematical Institute of the Serbian Academy of Sciences and Arts, 20. 5. 2019.
- Matematika i muzika (invited lecture), Caffe Teatar &TD, 13. 2. 2020.
- Axiomatizations of natural numbers-some old and some new, Logic and Applications – LAP, Inter – University Centre, Dubrovnik, 23. – 27. 9. 2019.
- Povijest integrala od Galilea do Henstocka i Kurtzweila (invited lecture), Seminar za istoriju i filozofiju matematike, mehanike i astronomije, Mathematical Institute of the Serbian Academy of Sciences and Arts, 26. 11. 2019.
- Rules of thumb for positive and negative test results, Logic and Applications – LAP, Inter – University Centre, Dubrovnik, 24. – 27. 9. 2020.
- Rules of thumb for positive and negative test results (invited lecture), Mathematics for human flourishing in the time of covid and post covid, ICMPA-UNESCO chair, University of Abomey-Calavi, Center for Applied Mathematics, CAM-FMEN, University of Niš, 21. 10. 2020.
- Gödel’s incompleteness theorem and human-machine nonequivalence, Mathematics for Social Sciences and Arts – Algebraic Modeling, Center for Applied Mathematics, CAM-FMEN, University of Niš, International Chair in Mathematical Physics and Applications, University of Abomey-Calavi, University of Sydney, University of Windsor, 24. -26. 2021.
- Knealeove prirodne dedukcije kao notacijska varijanta Bethovih tabloa (invited lecture), Seminar for History and Philosophy of Mathematics and Mechanics, Mathematical Institute of the Serbian Academy of Sciences and Arts, Beograd, 1. 7. 2021.
- Kneale’s natural deductions as a notational variant of Beth’s tableaus, Logic and Applications – LAP, Inter – University Centre, Dubrovnik, 20. – 24. 9. 2021.
- The impossible political trilemma (invited lecture), Croatian dialogues in Europe, The Club of Rome Croatia, Dubrovnik 15. – 17. 10. 2021.
- Što je konsonantnost? (invited lecture), Seminar for Mathematics and Music, Mathematical Institute of the Serbian Academy of Sciences and Arts, Beograd, 6.4. 2022.
- Kneale’s natural deductions as a notational variant of Beth’s tableaus (invited lecture), Logica universalis, Crete, 6. – 11.4. 2022.
- Diagonal argument in set theory, computability theory and logic (invited lecture), Seminar for History and Philosophy of Mathematics and Mechanics, Mathematical Institute of the Serbian Academy of Sciences and Arts, Beograd, 12.4.2022.
- Matematika i slikarstvo – perspektiva (invited lecture), Caffe Teatar &TD, Zagreb, 21. 4. 2022.
- Gödel’s incompleteness theorems and non-mechanical minds, 47th Annual Philosophy of Science Conference, Inter – University Centre, Dubrovnik, 25. – 29. 4. 2022.
- From Frege’s axioms to Kneale’s developments (invited lecture), Logic in Rijeka, 21. 5. 2022.
- Mathematics and Painting (invited lecture), Research Class of the Department of Algebra and Number Theory, Faculty of Mathematics, University of Rijeka, 27. 5. 2022.
Teaching Duties
Undergraduate Courses
- Mathematics I (differential and integral calculus), FSB, University of Zagreb.
- Mathematics II (differential and integral calculus), FSB, University of Zagreb.
- Mathematics III (vector analysis), FSB, University of Zagreb.
- Mathematics IV (probability theory and statistics), FSB, University of Zagreb.
- Mathematics V (complex variable functions), FSB, University of Zagreb.
- Laplace Transforms, FSB, University of Zagreb.
- Mathematical Logic and Set Theory, Department of Mathematics, University of Zagreb.
- History of Mathematics, Department of Mathematics, University of Zagreb.
- Mathematical Logic and Set Theory, Department of Mathematics, University of Rijeka.
Graduate Courses
- Mathematics (applied functional analysis), FSB, University of Zagreb.
- Mathematics (tensor analysis), FSB, University of Zagreb.
- Optimization Methods, FSB, University of Zagreb.
- Tensor Calculus, FSB, University of Zagreb.
- Differential Equations, FSB University of Zagreb.
- Stochastic Processes, FSB, University of Zagreb.
- Linear Algebra, FSB, University of Zagreb.
- Unprovability of consistency, Department of Mathematics, University of Zagreb.
- Unprovability Logic, Department of Mathematics, University of Zagreb.
- Set Theory, Department of Mathematics, University of Zagreb.
- Orthogonality and Geometry of the Special Theory of Relativity, Department of Mathematics, University of Zagreb.
- Applied Logic, Department of Mathematics, University of Zagreb.
- Mathematical Logic, Graduate Study in History and Philosophy of Science, University of Zagreb (Dubrovnik).
- Philosophy of Mathematics, Graduate Study in History and Philosophy of Science, University of Zagreb (Dubrovnik).
- Philosophy of Mathematics, Department of Mathematics, University of Zagreb.
- What are infinitesimals and what are they for, Department of Mathematics, University of Zagreb.
- Mathematics of politics, Department of Mathematics, University of Zagreb.