Открытый вебинар на базе Европейского Университета в Санкт-Петербурге. Ссылка на регистрацию (нужно пройти по ссылке и кликнуть еще раз на слово “регистрация”)(слайды)(видео)
July 23, 2026
“ДАВАЙТЕ ПОСЧИТАЕМ”: УНИВЕРСАЛЬНАЯ ХАРАКТЕРИСТИКА ЛЕЙБНИЦА, ПРОГРАММА ГИЛЬБЕРТА И ДОКАЗАТЕЛЬСТВО ТЕОРЕМ С ПОМОЩЬЮ КОМПЬЮТЕРА
Comments Off on “ДАВАЙТЕ ПОСЧИТАЕМ”: УНИВЕРСАЛЬНАЯ ХАРАКТЕРИСТИКА ЛЕЙБНИЦА, ПРОГРАММА ГИЛЬБЕРТА И ДОКАЗАТЕЛЬСТВО ТЕОРЕМ С ПОМОЩЬЮ КОМПЬЮТЕРА
July 11, 2026
A Constructive Axiomatic Method for Physics: a formal description of LIGO experiment
Contributed talk at the conference Logic, Relativity and Beyond (Budapest 13-15 July 2026)(abstract)(slides)
Comments Off on A Constructive Axiomatic Method for Physics: a formal description of LIGO experiment