Myvideo

Guest

Login

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

Uploaded By: Myvideo
8 views
0
0 votes
0

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

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later