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
October 25, 2023
Digital Echos: The Future Integrity of Archival Stores
October 27, 2023, 16h (Berlin); invited talk at Bard College Berlin (announcement 1) (announcement 2 with Zoom link)(slides)(youtubevideo, starts with min. 7, Gagarin Center channel)
Comments Off on Digital Echos: The Future Integrity of Archival Stores
July 17, 2023
Proofs and Solutions, according to Kolmogorov
talk at the workshop Proofs and styles of reasoning across history and cultures, a part of CLMPST2023, Buenos-Aires, July 28, 2023 (slides)
Comments Off on Proofs and Solutions, according to Kolmogorov
July 8, 2023
Aspects ontologiques et épistémiques des sources et des ressources textuelles, le mardi 11 juillet 2023.
Séminaire dans le cadre du projet DDS. Programme. Programme pdf. Slides of my talk
Comments Off on Aspects ontologiques et épistémiques des sources et des ressources textuelles, le mardi 11 juillet 2023.
April 5, 2023
Le calcul des problèmes de Kolmogorov et sa postérité
Conférence aux Journées Scientifiques 2023 organisées par les Archives Henri Poincaré, Couvent Saint-Jean-de-Bassel, 15-16 mai, 2023 (résumé)(slides)(program)
Comments Off on Le calcul des problèmes de Kolmogorov et sa postérité
March 31, 2023
Kolmogorov and Voevodsky on the Scope of Logic
Upcoming talk at the workshop ‘Logic in Question‘, Sorbonne, Paris, April 24-25, 2023 (slides)(audio)
Comments Off on Kolmogorov and Voevodsky on the Scope of Logic
March 30, 2023
A.N. Kolmogorov’s Way to the International Mathematical Scene
Upcoming talk at CHORUS colloquium (Colloquium for the History of Russian and Soviet Sciencе, moderator Slava Gerovitch), April 20, 2023 (abstract)(slides)(video)
Comments Off on A.N. Kolmogorov’s Way to the International Mathematical Scene
March 28, 2023
Préserver le patrimoine numérique à travers les siècles. Journée de lancement du projet
Journée de lancement du projet DDS.
Quand : le 13 avril 2023
Où : Amphithéâtre de la présidence de l’Université de Lorraine, 34 cours Léopold, Nancy, France
Comments Off on Préserver le patrimoine numérique à travers les siècles. Journée de lancement du projet