Печёнкин А. А. - Философия науки - Лекция 19

preview_player
Показать описание
Аксиоматика Давида Гильберта

00:02:28 Особенности формального построения аксиоматических теорий
00:06:25 Аксиомы исчисления высказываний
00:26:22 Метатеорема дедукции и следствия из неё
00:32:43 Аксиомы исчисления предикатов
00:40:51 Интуиционизм и неконструктивные доказательства
Рекомендации по теме
Комментарии
Автор

Спасибо за отличный курс и знания Александра Александровича!

kirillneklesa
join shbcf.ru