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

49 Просмотры

  • Спасибо! Поделитесь с друзьями!

    Вам не понравилось видео. Спасибо за то что поделились своим мнением!

admin
Издатель
Аксиоматика Давида Гильберта

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

Следующее