1:24:43

Надежда Хорошавкина//Роль аксиомы выбора в игре о шляпах

49:07

Неформальное введение в теорию типов, Максим Кольцов / PiterPy Meetup #21

8:57

Простые числа — основа математики

48:35

I. Основания математики: теория множеств vs. теория типов

1:03:24

Физика ЕГЭ 2025. Задание 8. МКТ и молекулярная физика. Работа,количество теплоты,явнутренняя энергия

1:44:28

Артем Сергеевич Пиманов//овременные модификации онтологических структур времени

1:21:56

Александр Герасимов //Бесконечнозначная первопорядковая логика Лукасевича: ...

1:21:20

Александр Колпащиков//Неразрешимые суперинтуиционистские исчисления и закон исключённого третьего.