pra logicos brasileiros que gostam de brincadeiras de matematicos franceses http://www.neverendingbooks.org/wheres-bourbakis-tomb boa sexta! Valeria
On Thu, Mar 4, 2021 at 1:09 PM samuel <[email protected]> wrote: > ... Humm... Nâo tenho muita experiência com Teoria dos Conjuntos > construtiva "pra valer" (ir lá dentro e mexer mesmo nesses sistemas, pro > tipo > de coisa que eu faço o "construtivo" é simplesmente ZF mas aí eu mantenho > o Terceiro Excluído ainda), mas se assumimos que todo subconjunto infinito > tem um subconjunto enumerável infinito a idéia seria fazer o argumento de > Cantor dentro desse subconjunto enumerável e obter aí o subconjunto que não > pertence à imagem da função fixada de X em Partes de X; agora como > eliminar a análise de casos ou a prova > por contradição eu teria que pensar um momento, não vejo como agora. > > Até > > []s Samuel > > Em quinta-feira, 4 de março de 2021 às 16:52:52 UTC-4, Joao Marcos > escreveu: > >> > Aí que vem a única análise de casos ("uso do Terceiro Excluído", >> concordo...) >> >> E por falar em Terceiro Excluído, Samuel, você saberia explicar em >> termos pedestres até onde conseguiríamos levar o argumento da >> diagonalização, digamos, em *CZF*, se assumirmos o axioma segundo >> o qual todo conjunto é subcontável? >> >> []s, Joao Marcos >> >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3439ca50-4be9-49ad-b22b-86f5cea76976n%40dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3439ca50-4be9-49ad-b22b-86f5cea76976n%40dimap.ufrn.br?utm_medium=email&utm_source=footer> > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsASgYWH34AHvXzAPfikQ_XtZsfPLDgJu5Ci2npbCzLTw%40mail.gmail.com.
