Скачать
Печёнкин А. А. - Философия науки - Лекция 19
Автор: teach-in
Загружено: 13 июл. 2021 г.
Просмотров: 881 просмотр
Описание:
Аксиоматика Давида Гильберта
00:02:28 Особенности формального построения аксиоматических теорий
00:06:25 Аксиомы исчисления высказываний
00:26:22 Метатеорема дедукции и следствия из неё
00:32:43 Аксиомы исчисления предикатов
00:40:51 Интуиционизм и неконструктивные доказательства
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Теория игр: жизнь, Вселенная и всё остальное [Veritasium]](https://ricktube.ru/thumbnail/o-lFK7nZIKE/mqdefault.jpg)
![[DeepLearning | видео 1] Что же такое нейронная сеть?](https://ricktube.ru/thumbnail/RJCIYBAAiEI/mqdefault.jpg)
![Мнимая ошибка, над которой ломали голову 2 000 лет [Veritasium]](https://ricktube.ru/thumbnail/yc2350IZvAk/mqdefault.jpg)
