AULA 12

4 Novembro 2022, 12:00 Fernando Ferreira

Demonstração, por recursão transfinito nos ordinais, da distributividade à direita da multiplicação em relação à adição. Menção de que se pode demonstrar, por recursão transfinita, a associatividade da multiplicação nos ordinais usando a associatividade. Observações, exemplos e contra-exemplos.


A função colapso. Enunciado do princípio do colapso.