Sumários

AULA 10

20 Outubro 2023, 12:00 Fernando Ferreira

Propriedade associativa da soma ordinal. Produto ordinal. Exenplos.


AULA 9

18 Outubro 2023, 08:00 Fernando Ferreira

O paradoxo de Burali-Forti. Indução transfinita nos ordinais.

Introdução à recursão transfinita nos ordinais: o exemplo da soma ordinal.


TP: aula 4

13 Outubro 2023, 13:30 Fernando Ferreira

Resolução de exercícios.


AULA 8

13 Outubro 2023, 12:00 Fernando Ferreira

Ordinais de von Neumann. Propriedades basicas. Menção do paradoxo de Burali-Forti.


AULA 7

11 Outubro 2023, 08:00 Fernando Ferreira

Princípio da indução transfinita. Princípio da recursão transfinita.