oi Adolfo, >Eu não tenho ideia do que seja a hipótese do contínuo. >Onde encontro uma boa explicação?
Bom, eu sempre gosto das explicacoes do Samuel, que em geral sao bem diretas e "indolores". nesse caso da' pra ler https://www.researchgate.net/publication/334164513_REDUCTIONS_BETWEEN_CERTAIN_INCIDENCE_PROBLEMS_AND_THE_CONTINUUM_HYPOTHESIS que fala de passagem sobre a Hipotese do Continuo. Mas a gente tb pode pedir pra ele escrever um blog post pra gente copm o basico sobre o assunto, ne? alias, 'e capaz dele ter um ja' feito pros alunos dele em algum lugar.. que tal, Samuel? abracos neofitos, Valeria On Tue, Oct 8, 2019 at 1:23 PM Rodrigo Freire <[email protected]> wrote: > Pode-se começar uma explicação simplesmente negando o que essa infeliz > tentativa que está divulgada na página principal do impa diz a respeito. > > Primeiro, a hipótese do contínuo, não "hipótese contínua", não é um > paradoxo lógico e não foi descoberta por Gödel, como dito no primeiro > parágrafo. > (Nem vou comentar a "definição" de paradoxo presente no segundo parágrafo) > . > O terceiro parágrafo não é gramatical, mas em qualquer interpretação está > errado. > O parágrafo seguinte, extremamente confuso, atribui a Cantor a hipótese do > contínuo, negando o que ele disse antes sobre ser uma descoberta de Gödel. > > Depois ele tenta falar da independência com relação ao axiomas e ele solta > isso: > "Os estudos de Godel e Cohen sobre a hipótese do contínuo implicam que > existem universos matemáticos paralelos. Em um deles, a hipótese do > contínuo concorda com os axiomas da teoria dos conjuntos, sendo portanto > verdadeira. No outro, ela contradiz os aximoas, sendo portanto falsa." > Segundo o autor, satisfação em um modelo é "concordância com os axiomas". > Tudo errado. Só para deixar claro o erro técnico cometido aqui: > Suponha que em um dos modelos a HC contradiz os axiomas, com nos diz o > texto. Quer dizer que a HC é inconsistente com os axiomas em tal modelo, ou > seja, que existe uma dedução de sua negação a partir dos axiomas neste > modelo. Portanto, existe uma dedução da negação de HC por absolutidade, o > que implicaria a inconsistência da teoria de conjuntos. > > Há material abundante sobre o tema, ninguém precisa recorrer a isso. > > > > > > > > > On Tue, Oct 8, 2019 at 4:56 PM Eduardo Ochs <[email protected]> wrote: > >> Aqui: >> https://en.m.wikipedia.org/wiki/Continuum_hypothesis >> >> On Tue, 8 Oct 2019, 16:32 Adolfo Neto, <[email protected]> wrote: >> >>> Olá Doria e Rodrigo, >>> >>> Eu não tenho ideia do que seja a hipótese do contínuo. >>> Onde encontro uma boa explicação? >>> >>> Abs. >>> Adolfo >>> >>> On Tue, Oct 8, 2019, 16:30 Famadoria <[email protected]> wrote: >>> >>>> Lixo, Adolfo. >>>> >>>> Sent from my iPhone >>>> >>>> On 8 Oct 2019, at 15:46, Adolfo Neto <[email protected]> wrote: >>>> >>>> Por que? >>>> >>>> On Tue, Oct 8, 2019, 2:24 PM Rodrigo Freire <[email protected]> >>>> wrote: >>>> >>>>> Artigo horroroso. >>>>> >>>>> >>>>> >>>>> https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html >>>>> >>>>> >>>>> >>>>> >>>>> -- >>>>> 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/CAExWzU%2BOmaA%2BtJ1qFQwwJ3MRvBUyGV9zSO%2BaAjEo5zYy-hkQeQ%40mail.gmail.com >>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAExWzU%2BOmaA%2BtJ1qFQwwJ3MRvBUyGV9zSO%2BaAjEo5zYy-hkQeQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>>> . >>>>> >>>> -- >>>> 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/CANspyYUP6OY1iO7EfJicd8kUkFn6n%3D3OT_wUO1eC9BajWCknHg%40mail.gmail.com >>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUP6OY1iO7EfJicd8kUkFn6n%3D3OT_wUO1eC9BajWCknHg%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>>> -- >>> 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/CANspyYXx02fg3G1gRxT1jDAykTF7qufPfPGSvmWJPQRNfujH6g%40mail.gmail.com >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYXx02fg3G1gRxT1jDAykTF7qufPfPGSvmWJPQRNfujH6g%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- >> 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/CADs%2B%2B6gamH-fdDWybYT0jRPgVQe%3Df03vv29dzGDwEefbLEQ1nA%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6gamH-fdDWybYT0jRPgVQe%3Df03vv29dzGDwEefbLEQ1nA%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- > 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/CAExWzULz1zK_DOcBXaFVRjhEGGkTNMAJkwUz%3DDNAgW%3DYBPYE3w%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAExWzULz1zK_DOcBXaFVRjhEGGkTNMAJkwUz%3DDNAgW%3DYBPYE3w%40mail.gmail.com?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%3DXtmA7i4Q1vXR8c-KOykio7if5g0bV48EfsqtRRNb66pbA%40mail.gmail.com.
