Isso mesmo, Walter. ###
Um episódio interessante de se mencionar nesta lista, sobre este assunto, diz respeito à crença persistente de Gödel de que c deveria ser igual a \aleph_2: "In 1972, Gödel circulated a paper called “Some considerations leading to the probable conclusion that the true power of the continuum is ℵ2,” which derived the failure of the continuum hypothesis from some new assumptions, the so-called scale axioms of Hausdorff. The proof was incorrect, and Gödel withdrew it, blaming his illness." Mais sobre o relacionamento entre Gödel e Cohen pode ser conferido em: https://www.ias.edu/ideas/2011/kennedy-continuum-hypothesis ### JM On Sun, Jan 13, 2019 at 4:05 PM Walter Carnielli <[email protected]> wrote: > > Muito estranha nesta reportagem. O articulista diz peremptoriamente : > > “Which raises the question, are there any infinities larger than the set of > integers but smaller than the set of real numbers? The continuum hypothesis > says, yes, there are. “ > > > > O que não é o caso. A Hipótese do Contínuo responde à questão citada > *negativamente. Não tem "yes" nenhum aí. > > Melhor ver o artigo original, que está on line: > > https://www.nature.com/articles/s42256-018-0002-3 Learnability can be > undecidable (Shai Ben-David, Pavel Hrubeš Shay Moran, Amir Shpilka and Amir > Yehudayoff ) Nature Machine Intelligence vol 1, pp 44–48 (2019) > > No original se vê corretamente: > > “The continuum hypothesis states that there are no sets whose cardinality > lies strictly between the cardinalities of the integers and the continuum “ > > Walter > > > Em sáb, 12 de jan de 2019 às 19:22, Joao Marcos <[email protected]> escreveu: >> >> Um problema de aprendizado de máquina que só pode ser resolvido se a >> Hipótese do Contínuo for verdadeira >> https://amp.livescience.com/64469-unsolvable-math-problem.html >> >> >> JM >> >> -- >> 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 postar nesse grupo, envie um e-mail para [email protected]. >> Acesse esse grupo em >> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgYvHKsjnRmg_i%2B2eEGv9HvAAGupf6mNMvg2Ne9WFR9EQ%40mail.gmail.com. > > > > -- > ----------------------------------------------- > Walter Carnielli > Centre for Logic, Epistemology and the History of Science and > Department of Philosophy > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > > > http://www.cambridge.org/br/academic/subjects/philosophy/twentieth-century-philosophy/significance-new-logic?format=HB&isbn=9781107179028 > > > Institutional e-mail: [email protected] > Website: http://www.cle.unicamp.br/prof/carnielli > CV Lattes : http://lattes.cnpq.br/1055555496835379 > > -- > 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 postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58MeyB-0VSPdKtr7Ngtt21b2hMCqu%2BaGby-SVEr%2BNOWp2w%40mail.gmail.com. -- http://sequiturquodlibet.googlepages.com/ -- 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 postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgCNjMavXfjHiiKpXbyPP8274%2BiKpkeN8o5gw0hFx0wXQ%40mail.gmail.com.
