Invited talk and the regular seminar “Logique, Mathématiques, Informatique, Raisonnement” at the department of philosophy of the university Lyon-III (Jean Moulin), Jan. 30, 2024 (abstract)(slides)(video)
January 2, 2024
January 1, 2024
Why is the Hilbert-style Axiomatic Method Not Suitable for Constructing Scientific Theories?
Invited talk at the World Logic Day 2024 (an alternative site here) workshop ”Formal Methods and Their Applications” organised by the Ural Federal University (Ekaterinburg, Russia) on January 14, 2024. In Russian. (slides)(video)
Comments Off on Why is the Hilbert-style Axiomatic Method Not Suitable for Constructing Scientific Theories?
Negation in Kolmogorov’s Calculus of Problems
invited talk at the World Logic Day 2024 (an alternative site here) workshop organized by the Universidade Federal de Minas Gerais (UFMG), Brazil on January 15. (program)(video, see 1h02min – 1h58min)(slides)
Comments Off on Negation in Kolmogorov’s Calculus of Problems