Чусов А. В. - Философия физики и математики - Способы обоснования математики
0:01:28 1. Вопросы обоснавания математики и точных наук
0:34:22 2. Направления в обосновании математики
0:47:12 3. Аксиоматизация математической теории
1:09:15 4. Проблема доказательства в математике
1:19:50 5. Предметная область математики
Видео Чусов А. В. - Философия физики и математики - Способы обоснования математики канала teach-in
0:34:22 2. Направления в обосновании математики
0:47:12 3. Аксиоматизация математической теории
1:09:15 4. Проблема доказательства в математике
1:19:50 5. Предметная область математики
Видео Чусов А. В. - Философия физики и математики - Способы обоснования математики канала teach-in
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Уваров Ф.В. - Группы и Алгебры Ли - 7. Connected Lie groups
Уваров Ф.В. - Группы и Алгебры Ли - 8. Three fundamental theorems of Lie theory
Глушкова Е.В. - Звёздные скопления - 10. Иерархичность звездообразования. Погруженные скопления
Глушкова Е.В. - Звёздные скопления - 11.Диаграмма "цвет-величина" ШЗС. Эволюция в шаровых скоплениях
Степаньянц К.В.-Суперсимметрия-10.Суперсимметричный аналог тензора напряженности калибровочного поля
Степаньянц К.В. - Суперсимметрия - 9. Преобразования суперсимметрии в калибровке Весса-Зумино
Парфенов К.В. - Квантовая теория.Часть 2.Семинары - 10. Резонанс на двух уровнях и потенциальная яма
Кочкин Д.В. - Вторичный метаболизм растений - 8. Изопреноиды. Часть 1
Кочкин Д.В. - Вторичный метаболизм растений - 9. Изопреноиды. Часть 2
Доленко С.А. - Машинное обучение в физике - 11. Технологии работы с глубокими нейронными сетями
Доленко С.А. - Машинное обучение в физике - 10. Глубокие и свёрточные нейронные сети
Емельянов Н.В. - Практическая небесная механика - 11. Диаграмма "цвет-величина" ШЗС
Емельянов Н.В.- Практическая небесная механика - 10.Механические модели.Ограниченная задача трёх тел
Миронов А.М. - Формальная семантика и верификация ПО - 8.Пример верификации распределенной программы
Уваров Ф.В. - Группы и Алгебры Ли - 6. Exponential map
Капитонов И. М. - Физика атомного ядра и частиц - Квантовые электродинамика и хромодинамика
Шурупова Яна Андреевна - Теория эволюции - 2. Эволюционная биология в XXI веке
Горбачёв В.И.-Механика композитов.Часть 2 - 16. Трехмерная теория упругости
Сударикова Е.В. - Лекции для школьников - 2. Марш прогресса
Гиренок Ф.И. - Бытие и грезы - 10. Два сенсориума
Гиренок Ф.И. - Бытие и грезы - 11. Галлюцинат