У нас вы можете посмотреть бесплатно The Kleene-Brouwer order или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
We define the Kleene-Brouwer order, compare it to the lexicographic order, and see how it relates to well-foundedness and trees. Corrections: at some point I write KB(B) and mean KB(T) The stated theorem holds if X is well-founded, or simpler yet, for X = ℕ.