Всесвітньому Дневі логіки, який щороку відзначається 14 січня*, присвячено інтернет-міст між Львовом і Варшавою, одним з організаторів якого є механіко-математичний факультет.
Деталі можна побачити на афіші.
Логічно, що у такий день варто згадувати статтю, у назві якої є слово “логіка”: Zarycki, M.: Quelques notions fondamentales de l’analysis situs au point de vue de l’algèbre de la logique. Fundamenta Mathematicae 9(1), 3–15 (1927). Ця стаття Мирона Зарицького, який свого часу був заступником декана (тоді Стефана Банаха), а згодом і деканом нашого факультету, відіграє особливу роль у історії топології (див. одне з сучасних цитувань: David Fuenmayor, Semantical Investigations on Non-classical Logics with Recovery Operators: Negation, arXiv:2104.04284).
*це символічна дата: 14 січня помер Курт Ґедель і народився Алан Тюрінґ.
Автор:
Зарічний Михайло Михайлович
Математик, доктор фізико-математичних наук, професор кафедри алгебри, топології та основ математики ЛНУ ім. Івана Франка
