FMC2-CFR2, 2023-06-28: (2.10) Relações; Russell; Zermelo
Fundamentos matemáticos para computação 2 (FMC2)
Conjuntos, Funções, Relações 2023.1
Thanos Tsouanas
IMD, UFRN, BR
http://tsouanas.org/fmcbook
http://tsouanas.org/teaching/fmc2/2023.1
Relações; Russell; Zermelo
[00:00:00] Bom dia / recap
[00:01:01] Relações de equivalência; partições; o conjunto quociente
[00:16:36] o conjunto quociente vs um conjunto quociente
[00:39:41] Fechos: bottom-up e top down
[00:59:26] Sobre a implementação de funções usando relações
[01:07:23] Q: podemos misturar relações de A para A e de A para B?
[01:13:12] Q: o que significa que RelEq's e Partitions é a mesma coisa?
[01:19:03] O parádoxo de Russell
[01:31:47] Resoluções e Fundamentos de Matemática
[01:39:57] Uns minutos para a palavra de Zermelo
[01:44:59] Uma outra maneira de entender os axiomas duma teoria dos conjuntos
[01:48:38] Q: sobre o princípio da comprehensão geral
[01:49:49] Q: como que surgiu o Ø no ZF3 do nada?
[01:51:28] squema axiomático vs axioma (Plicker)