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.