Myvideo

Guest

Login

Теория множеств: логика, формализм и кризис // Макар Светлый

Uploaded By: Myvideo
108 views
0
0 votes
0

Потенциальная и актуальная бесконечность. Наивная теория множеств Кантора. Мощность. Парадоксы теории множеств. Интуиционизм, логицизм, формализм. Теория доказательств. Программа Гильберта. Аксиоматики ZFC, ZFD, NBG. Полнота и непротиворечивость формальных систем, теоремы Геделя. Современное состояние оснований математики. Дополнительный материал к выпуску: @makarsvet13-poyasnenie-k-roliku-o-teorii-mnozhestv

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later