Myvideo

Guest

Login

45/54 теорема Генцена. Оценка силы PA(X) сверху.

Uploaded By: Myvideo
1 view
0
0 votes
0

Использование вспомогательных исчислений в форме Тейта для получения основного результата: - теорема Генцена о верхней оценке доказательного ординала арифметики Пеано. Ссылка на ролик про нижнюю оценку: 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty:

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later