Muito agradecida, Cloves! Gisele D. Secco <https://philpeople.org/profiles/gisele-d-secco>
On Fri, Mar 6, 2026 at 6:44 PM Cloves Paiva <[email protected]> wrote: > Como a intenção era tornar o conteúdo acessível a todo o público > brasileiro — inclusive àqueles que não entendem inglês, espanhol ou alemão, > acabei fazendo uma dublagem utilizando IA. > > No entanto, para quem prefere assistir sem dublagem, acabei de subir o > vídeo original, sem nenhuma edição. Esse vídeo está como como não listado, > ou seja, apenas quem tiver o link consegue acessá-lo: > > https://www.youtube.com/watch?v=k9Hw3fk1Fs4 > > Em sex., 6 de mar. de 2026 às 18:27, Gisele Dalva < > [email protected]> escreveu: > >> Olá, >> >> Me somo ao Eduardo para perguntar por que não está disponível a opção de >> visualizar o vídeo com o áudio original. >> >> É (para mim) insuportável a imposição da dublagem pela joça. >> >> Obrigada, >> G. >> >> Gisele D. Secco <https://philpeople.org/profiles/gisele-d-secco> >> >> >> On Fri, Mar 6, 2026 at 5:43 PM Eduardo Ochs <[email protected]> >> wrote: >> >>> Esse vídeo é dublado por IA? >>> Tem algum jeito da gente assistir ele com o áudio original? >>> [[]], Eduardo... >>> >>> On Fri, 6 Mar 2026 at 17:32, Cloves Paiva <[email protected]> wrote: >>> >>>> Olá a todos! >>>> >>>> Como o assunto gerou bastante discussão, o Prof. Walter Carnielli >>>> gentilmente viabilizou um encontro no meu canal para levarmos os pontos >>>> levantados aqui diretamente ao Demian Goos, pesquisador que encontrou a >>>> suposta evidência do plágio envolvendo Cantor. >>>> >>>> Para quem tiver interesse, segue o vídeo da conversa: >>>> https://www.youtube.com/watch?v=8c1pgKHUhYc >>>> >>>> Agradeço muito ao Prof. Walter por tornar esse encontro possível. Um >>>> forte abraço a todos! >>>> >>>> >>>> Em qua., 4 de mar. de 2026 às 17:31, 'Samuel Gomes da Silva' via >>>> LOGICA-L <[email protected]> escreveu: >>>> >>>>> ... Hum, estava no celular e acho que esta mensagem não foi. >>>>> >>>>> Então, entendi, mas o argumento é mais de *ordem* do que de >>>>> *cardinalidade*: o truque aí está sendo colocar uma ordem nas raízes >>>>> (e o fato >>>>> da reta ser linearmente ordenada ajuda nisso). Mas isso costuma >>>>> ser feito quando se tem a preocupação de evitar o uso do Axioma da >>>>> Escolha; >>>>> mas na época o Axioma da Escolha era usado meio que implicita e >>>>> desapercebidamente (por exemplo, o Teorema de Schroder-Bernstein-Cantor >>>>> tem >>>>> tantos autores porque ele teve muitas versões, e as primeiras usavam >>>>> "escondido" o Axioma da Escolha). >>>>> >>>>> Então, antes da polêmica toda do Axioma da Escolha, não penso que >>>>> alguém pensasse em evitá-lo. Mas é aquilo, seria bom alguém ver qual foi o >>>>> argumento de Dedekind que Cantor teria roubado. >>>>> >>>>> Abraços >>>>> >>>>> []s Samuel >>>>> >>>>> >>>>> ------------------------------ >>>>> *De: *Samuel <[email protected]> >>>>> *Para: *Frode <[email protected]> >>>>> *Cc: *LOGICA-L <[email protected]>; LOGICA-L < >>>>> [email protected]>; Frode <[email protected]>; jmstern < >>>>> [email protected]>; Joao <[email protected]>; [email protected] < >>>>> [email protected]> >>>>> *Data: *quarta-feira, 4 de março de 2026 às 12:42 -03 >>>>> *Assunto: *Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind >>>>> >>>>> >>>>> >>>>> >>>>> Até >>>>> >>>>> []a Samuel >>>>> >>>>> >>>>> >>>>> ------------------------------ >>>>> *De: *Frode <[email protected]> >>>>> *Para: *LOGICA-L <[email protected]> >>>>> *Cc: *samuel <[email protected]>; LOGICA-L <[email protected]>; >>>>> Frode <[email protected]>; jmstern <[email protected]>; Joao < >>>>> [email protected]>; [email protected] <[email protected]> >>>>> *Data: *quarta-feira, 4 de março de 2026 às 12:32 -03 >>>>> *Assunto: *Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind >>>>> >>>>> Sim, tem n raizes. >>>>> >>>>> Escrevi "Each equation a_nx^n + ... a_1x^1 + a_0 and root m\le n >>>>> corresponds with a tuple (m, a^n, ..., a^1, a_0). " Consequentemente, >>>>> todos os (1, a^n, ..., a^1, a_0), (2, a^n, ..., a^1, a_0), ... , (n, >>>>> a^n, ..., a^1, a_0) correspondem a uma raiz de a_nx^n + ... a_1x^1 + >>>>> a_0; (1, a^n, ..., a^1, a_0) corresponde ao primeiro raiz et cetera. >>>>> Dado isto e a função de emparelhamento, é fácil definir uma função de ω em >>>>> todas as tuplas deste tipo. >>>>> >>>>> Penso que não há necessidade de um princípio de escolha relativamente >>>>> a raízes iguais, pois um número real algébrico pode, por exemplo, ser >>>>> tanto >>>>> a primeira como a segunda raiz de uma dada equação; estou certo nisto? >>>>> >>>>> >>>>> >>>>> onsdag 4. mars 2026 kl. 11:37:15 UTC-3 skrev samuel: >>>>> >>>>> ... Mas uma equação de grau n pode ter até n raízes. Não entendi. >>>>> >>>>> >>>>> >>>>> >>>>> ------------------------------ >>>>> *De: *Frode <[email protected]> >>>>> *Para: *LOGICA-L <[email protected]> >>>>> >>>>> *Cc: *Frode <[email protected]>; samuel <[email protected]>; LOGICA-L < >>>>> [email protected]>; jmstern <[email protected]>; Joao < >>>>> [email protected]>; [email protected] <[email protected]> >>>>> *Data: *quarta-feira, 4 de março de 2026 às 03:53 -03 >>>>> >>>>> >>>>> *Assunto: *Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind >>>>> >>>>> Boa noite, >>>>> >>>>> Yes, the countability of the algebraic numbers is an obvious corollary >>>>> to the enumerability of the rational numbers via the original zig-zag >>>>> method which Cantor used. For the zig-zag function z from >>>>> \mathbb{N}\mapsto\mathybb{N}^2 is from natural numbers to ordered pairs of >>>>> natural numbers. If z(n)=(l^n_z, r^n_z), let the rightmost triple be >>>>> (l^n_z,,z(r^n_z)). And so on. Each equation a_nx^n + ... a_1x^1 + a_0 >>>>> and root m\le n corresponds with a tuple (m, a^n, ..., a^1, a_0). The >>>>> use >>>>> of Cantor's z-function to define tuples now guarantees that all equations >>>>> of the form a_nx^n + ... a_1x^1 + a_0 with root m\le n corresponds >>>>> with >>>>> a tuple, as per above, such that the tuple is z(o) for a natural number o. >>>>> However, this was not obvious to Cantor as ordered pairs first came to >>>>> light at the beginning of the First World War. >>>>> >>>>> Best >>>>> >>>>> Frode >>>>> onsdag 4. mars 2026 kl. 00:20:37 UTC-3 skrev Frode Alfson Bjørdal: >>>>> >>>>> Hei igjen, >>>>> >>>>> Pressupus que Cantor usou a função de emparelhamento ao provar que os >>>>> números racionais são enumeráveis. Teríamos então sequências de números >>>>> naturais como (a0,...,an+1), onde an+1=n indica as raízes algébricas da >>>>> equação anx^n + ... + a1x^1 + a0. Mas acabei de ler que Cantor formalizou >>>>> a >>>>> função de emparelhamento um pouco mais tarde, pois pode ser que o >>>>> corolário >>>>> não fosse tão óbvio quanto eu pensei. Ou será que essas coisas eram >>>>> igualmente óbvias, como visto no método Zig-Zag que Cantor usou >>>>> primeiramente, e do qual extraiu a função de emparelhamento? >>>>> >>>>> Saudações de Frode >>>>> >>>>> tirsdag 3. mars 2026 kl. 21:05:36 UTC-3 skrev samuel: >>>>> >>>>> >>>>> >>>>> Olás >>>>> >>>>> Não sei se na época era tão claro que "união enumeravel de finitos é >>>>> enuneravel", que é o jeito mais fácil de verificar a enumerabilidade dos >>>>> algébricos. >>>>> >>>>> Pensar então numa intrincada prova que eliminasse a necessidade do >>>>> Axioma da Escolha (que entra na justificativa da frase entre aspas do >>>>> parágrafo anterior), talvez menos ainda - é essa eliminação é possível via >>>>> uma ordenação cuidadosa e canônica dos polinomios. >>>>> >>>>> Mas não sei qual foi o argumento de Dedekind. >>>>> >>>>> Abraços >>>>> >>>>> []s Samuel >>>>> >>>>> ------------------------------ >>>>> *De: *Frode <[email protected]> >>>>> *Para: *LOGICA-L <[email protected]> >>>>> *Cc: *jmstern <[email protected]>; Joao <[email protected]>; >>>>> LOGICA-L <[email protected]>; [email protected] <[email protected]>; >>>>> samuel <[email protected]> >>>>> *Data: *terça-feira, 3 de março de 2026 às 14:40 -03 >>>>> *Assunto: *Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind >>>>> >>>>> >>>>> >>>>> Viva! >>>>> >>>>> Cantor já tinha provado que os números racionais são enumeráveis, e é >>>>> um corolário evidente que os números algébricos também o são. >>>>> >>>>> Abraços >>>>> Frode >>>>> >>>>> mandag 2. mars 2026 kl. 13:36:32 UTC-3 skrev jmstern: >>>>> >>>>> Concordo com a Itala: >>>>> Viva Cantor! >>>>> Viva Dedekind! >>>>> -- >>>>> Ha que se esclarecer o papel de Kronecker, >>>>> que parece ter sido um Editor Tirano... >>>>> -- >>>>> Tudo de bom, ---Julio >>>>> >>>>> ------------------------------ >>>>> *From:* [email protected] <[email protected]> on behalf of >>>>> Itala Maria Loffredo Dottaviano <[email protected]> >>>>> *Sent:* Monday, March 2, 2026 12:12 AM >>>>> *To:* Samuel Gomes da Silva <[email protected]> >>>>> *Cc:* Joao Marcos <[email protected]>; LOGICA-L <[email protected] >>>>> > >>>>> *Subject:* Re: [Logica-l] Re: Cantor, plagiador serial de Dedekind >>>>> >>>>> Incrível e muito interessante e surpreendente esta leitura! >>>>> >>>>> Eu já conhecia o texto de José Ferreirós, >>>>> >>>>> Entretanto, concordo com Samuel. Cantor publicou seu artigo, usando o >>>>> resultado sobre os números algébricos sem mencionar Dedekind, mas o resto >>>>> é >>>>> seu e não de Dedekind. >>>>> E as ideias iniciais, sobre as quais havia discutido com Dedekind, >>>>> eram dele, Cantor. >>>>> >>>>> VIva Cantor! >>>>> Viva Dedkind! >>>>> >>>>> Itala >>>>> >>>>> Em sex., 27 de fev. de 2026 às 14:16, 'Samuel Gomes da Silva' via >>>>> LOGICA-L <[email protected]> escreveu: >>>>> >>>>> ... Emails e posts do MathOverflow e MathStackExchange... >>>>> >>>>> Até, vou dar uma olhada, obrigado >>>>> >>>>> []s Samuel >>>>> >>>>> >>>>> -----Mensagem original----- >>>>> De: Joao <[email protected]> >>>>> Para: samuel <[email protected]> >>>>> Cc: LOGICA-L <[email protected]> >>>>> Data: sexta-feira, 27 de fevereiro de 2026 às 14:09 -03 >>>>> Assunto: Re: Cantor, plagiador serial de Dedekind >>>>> >>>>> >>>>> Viva, Samuel: >>>>> >>>>> Um resumo DIAGONAL da história pode ser encontrado aqui: >>>>> https://dailynous.com/2026/02/27/cantors-plagiarism/ >>>>> >>>>> O trabalho do Ferreirós, de 1993, pode ser encontrado aqui: >>>>> https://www.sciencedirect.com/science/article/pii/S031508608371030X >>>>> Na época ainda não haviam sido encontradas as evidências do crime, na >>>>> forma de cartas que andavam até o momento "desaparecidas". No futuro >>>>> usaremos emails como evidência? >>>>> >>>>> Abraços, >>>>> João Marcos >>>>> >>>>> On Fri, Feb 27, 2026 at 1:55 PM samuel <[email protected]> wrote: >>>>> > >>>>> > ... eu só não entendi o que exatamente Cantor roubou (li muito >>>>> rapidamente, só na DIAGONAL hahaha) >>>>> > >>>>> > Parece que o resultado sobre os algébricos serem enumeráveis sim >>>>> Cantor roubou, mas não vi em nenhuma >>>>> > parte se Cantor teria roubado também o argumento diagonal. >>>>> > >>>>> > Abraços >>>>> > >>>>> > []s Samuel >>>>> > >>>>> > Em sexta-feira, 27 de fevereiro de 2026 às 13:34:28 UTC-3, Joao >>>>> Marcos escreveu: >>>>> >> >>>>> >> The Man Who Stole Infinity >>>>> >> https://www.quantamagazine.org/the-man-who-stole-infinity-20260225/ >>>>> >> >>>>> >> JM >>>>> >>>>> >>>>> >>>>> -- >>>>> https://sites.google.com/site/sequiturquodlibet/ >>>>> >>>>> -- >>>>> LOGICA-L >>>>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>>>> Lógica <[email protected]> >>>>> --- >>>>> 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 conversa, acesse >>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1009621674.15432423.1772212583887.JavaMail.zimbra%40ufba.br >>>>> . >>>>> >>>>> >>>>> >>>>> -- >>>>> Prof. Dr. Itala M. Loffredo D'Ottaviano >>>>> Full Professor in Logic and the Foundations of Science >>>>> Member and Researcher of the *Centre for Logic, Epistemology and the* >>>>> *History >>>>> of Science* at the University of Campinas >>>>> Research Fellow of the *Brazilian National Council for Scientific and >>>>> Technological Development* >>>>> Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro) >>>>> Emeritus Member, *Académie Internationale de Philosophie de Sciences * >>>>> (Bruxelles) >>>>> Titular Member, *Institut International de Philosophie *(Paris-Nancy) >>>>> Editor of *Coleção CLE, *by the* Centre for Logic, Epistemology and >>>>> the* *History of Science.* >>>>> -- >>>>> LOGICA-L >>>>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>>>> Lógica <[email protected]> >>>>> --- >>>>> 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 esta conversa, acesse >>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG5XU0wNt_fgmcyjxikLnEfKxLJ4q5ZCKZdWB-z3Qtke2g%40mail.gmail.com >>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG5XU0wNt_fgmcyjxikLnEfKxLJ4q5ZCKZdWB-z3Qtke2g%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>>> . >>>>> >>>>> -- >>>>> LOGICA-L >>>>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>>>> Lógica <[email protected]> >>>>> --- >>>>> 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 esta conversa, acesse >>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1156955661.19806685.1772656260435.JavaMail.zimbra%40ufba.br >>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1156955661.19806685.1772656260435.JavaMail.zimbra%40ufba.br?utm_medium=email&utm_source=footer> >>>>> . >>>>> >>>> -- >>>> LOGICA-L >>>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>>> Lógica <[email protected]> >>>> --- >>>> 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 esta conversa, acesse >>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALOMQEFeN3cvJqwYD95BAj4to2EOSHU%2BwA4ssB20Y3oSHGf3yQ%40mail.gmail.com >>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALOMQEFeN3cvJqwYD95BAj4to2EOSHU%2BwA4ssB20Y3oSHGf3yQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica <[email protected]> >>> --- >>> 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 esta conversa, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6hZrSyaYVCPSAp0ebd1fNw78UieUsbeshga0xUB0sxZYQ%40mail.gmail.com >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6hZrSyaYVCPSAp0ebd1fNw78UieUsbeshga0xUB0sxZYQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOmQKJcgNkofDjmjBOyu0z%2BTj0gLri4dMCriaNxoipDOwByn7A%40mail.gmail.com.
