Ordem dos naturais e indução forte - Ordinais e recursão transfinita
Автор: Ad infinitum
Загружено: 2025-08-26
Просмотров: 166
Demonstramos que os naturais formam uma ordem total (linear). Em seguida, introduzimos o conceito de boa fundação, demonstrando que os naturais são bem fundados. Usamos essa propriedade para demonstrar uma versão mais forte para o teorema da indução.
Site com exercícios:
https://www.canaladinfinitum.com/t%C3...
#teoriadosconjuntos
#ordinais
#recursao
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: