Eita!
Achei que dublar por IA fosse tecnicamente mais difícil do que
legendar por IA, então se tinha botão pra dublar por IA ia ter também
um botão pra legendar por IA, e aí era só você fazer um segundo vídeo
que fosse só legendado por IA - e das próximas vezes dar prioridade
pra fazer o só legendado...
Aliás, é pior ainda - o primeiro vídeo que você postou tinha dublagem
feita por IA e legendas feitas por IA! Então pra fazer ele você teve
que clicar em dois botões separados... ou não?
[[]] =S,
Eduardo
P.S.: oba, tou conseguindo entender tudo que eles falam na versão com
o áudio original! Obrigado!!! =)
On Fri, 6 Mar 2026 at 18:44, 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/CADs%2B%2B6hLDgpCEkjr3gJw%2Bi_yWYKqSHMAx_t2v908QirqZReN1g%40mail.gmail.com.
