Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
Войти
Лекция 19. Аксиоматика Давида Гильберта
Лекция из курса:
Философия науки
Печенкин Александр Александрович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 19. Аксиоматика Давида Гильберта
Видео закончится через
NaN:NaN
00:00
00:00
00:19
Следующая секция начнется через 02:28
Аксиоматика Гильберта
02:28
Следующая секция начнется через 02:28
Особенности формального построения аксиоматических теорий
06:25
Следующая секция начнется через 02:28
Аксиомы исчисления высказываний
26:22
Следующая секция начнется через 02:28
Метатеорема дедукции и следствия из неё
32:43
Следующая секция начнется через 02:28
Аксиомы исчисления предикатов
40:51
Следующая секция начнется через 02:28
Интуиционизм и неконструктивные доказательства
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 19. Аксиоматика Давида Гильберта

00:19
Следующая секция начнется через 02:28
Аксиоматика Гильберта
02:28
Следующая секция начнется через 02:28
Особенности формального построения аксиоматических теорий
06:25
Следующая секция начнется через 02:28
Аксиомы исчисления высказываний
26:22
Следующая секция начнется через 02:28
Метатеорема дедукции и следствия из неё
32:43
Следующая секция начнется через 02:28
Аксиомы исчисления предикатов
40:51
Следующая секция начнется через 02:28
Интуиционизм и неконструктивные доказательства
Свернуть таймкоды
Конспект лекции
Лекция 19. Аксиоматика Давида Гильберта
1 / Загрузка