Há exemplos interessantes em "set-topologia" de conjuntos com cardinalidades intermediárias entre o enumerável e o contínuo?
JM On Sun, Jan 13, 2019, 23:34 Claus Akira Horodynski Matsushigue < [email protected] wrote: > > Mas não é mais só uma "crença" ou expectativa de Gödel, mas de um número > crescente de set-topologos!! > > > > > Em dom, 13 de jan de 2019 6:11 PM, Joao Marcos <[email protected] > escreveu: > >> 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 >> . >> >> -- 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_Li-duiEjCzz%3DFzUK0E2q6Z2_hKP0cBf4rmp-wUdyw1VsQ%40mail.gmail.com.
