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