logo Маткульт-привет!

Теорема Гудстейна. Доказательство и заключение

Рассказывает ‎Николай‏ ‎Казимиров ‎(https://www.youtube.com/channel/UCdmf8RSgKOOXYjOk9WlUUCg)

00:00 Доказательство

35:35 Независимость ‎теоремы ‎Гудстейна ‎от‏ ‎аксиом ‎арифметики‏ ‎первого‏ ‎порядка

37:00 Аксиомы ‎арифметики ‎и‏ ‎типы ‎формул

1:05:00 Классы‏ ‎рекурсивных ‎функций

1:28:33 Быстрорастущая ‎иерархия ‎Лёба-Вайнера

1:50:54 Ссылки

Часть‏ ‎1:‏ ‎https://youtu.be/IS_PazHA2_0

Часть ‎2:‏ ‎https://youtu.be/0WLmiejT9vM

Часть ‎3:‏ ‎https://youtu.be/0SoydsEr0OA

Наши ‎ресурсы: ‎https://vk.com/alexei_savvateev https://www.instagram.com/aleksey_savvateev https://www.facebook.com/savvatan https://savvateev.livejournal.com https://savvateev.xyz https://t.me/savvateev_xyz

Поддержать ‎Алексея ‎Савватеева:‏ ‎https://sponsr.ru/checkout?project=savvateev

Предыдущий Следующий
Все посты проекта
0 комментариев

Подарить подписку

Будет создан код, который позволит адресату получить бесплатный для него доступ на определённый уровень подписки.

Оплата за этого пользователя будет списываться с вашей карты вплоть до отмены подписки. Код может быть показан на экране или отправлен по почте вместе с инструкцией.

Будет создан код, который позволит адресату получить сумму на баланс.

Разово будет списана указанная сумма и зачислена на баланс пользователя, воспользовавшегося данным промокодом.

Добавить карту
0/2048