Печёнкин А. А. - Философия науки - Лекция 19
TIP! Right-click and select "Save link as..." to download.
Аксиоматика Давида Гильберта
00:02:28 Особенности формального построения аксиоматических теорий
00:06:25 Аксиомы исчисления высказываний
00:26:22 Метатеорема дедукции и следствия из неё
00:32:43 Аксиомы исчисления предикатов
00:40:51 Интуиционизм и неконструктивные доказательства