Olá, Aproveitando pra melhorar uma partezinha,
Talvez só troque no final, Valeria, "Porém, o Axioma da Determinação Projetiva parece uma opção razoável que decide o contínuo como sendo aleph_2 porém necessita de grandes cardinais para ter sua consistência com ZFC demonstrada." por "Porém, o Axioma da Determinação Projetiva parece uma opção razoável que é válida num modelo onde o contínuo é aleph_2 porém necessita de grandes cardinais para ter sua consistência com ZFC demonstrada." (Porque não é que "PD implica não CH" diretamente, o que ocorre é que contexto no qual conseguiram a consistência de PD tem-se no modelo que o contínuo é aleph_2) []s Samuel On Tuesday, October 8, 2019 at 2:24:48 PM UTC-3, Rodrigo Freire wrote: > > Artigo horroroso. > > > > https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html > > > > > -- 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/2a04b299-24cb-4979-a5b6-8933cf0facc6%40dimap.ufrn.br.
