(vou anotar sua sugestão, obrigado !) Em sexta-feira, 7 de novembro de 2025 às 15:45:15 UTC-3, samuel escreveu:
> (achei que já tinha respondi a esta conversa, mas não está aparecendo pra > mim aqui, se aparecer duplicidade me desculpem) > > Salve Joao, > > Quando eu preparei essa palestra em 2018 o nome que sempre aparecia nas > referências era Benacerraf. > > E eu concordei com o mencionado B., no caso, de que não existe paradoxo na > Lâmpada de Thompson, o que ocorre > é que as informações prévias não permitem deduzir o estado da lâmpada ao > final. > > Meu argumento para convencer uma audiência disso envolve a noção de > continuidade, o que não acho que seja > o que Benacerraf pensou... > > Abraços > > []s Samuel > > Em quinta-feira, 6 de novembro de 2025 às 21:50:30 UTC-3, Joao Marcos > escreveu: > >> Viva, Samuel: >> >> Muito bom que você siga fazendo este importante trabalho de divulgação >> matemático-filosófica! Espero que fique gravado! >> >> Um dos poucos livros introdutórios para filósofos que eu conheço que >> trata mais extensamente de *supertarefas* é o "More Precisely: The >> Math You Need to Do Philosophy", do Eric Steinhart. No instigante >> livro do Hamkins de Filosofia da Matemática o assunto é tocado apenas >> muito brevemente em um exercício, no capítulo 3, no qual ele >> basicamente menciona o artigo clássico "beautiful" de Laraudogoitia na >> Mind, de 1996. (Mas bem, tem muita gente que pensa que *Filosofia da >> Matemática* não é o que o Hamkins faz, mas se resume simplesmente ao >> estudo das tradicionais "escolas históricas de Filosofia da >> Matemática", que pouca ou nenhuma relevância têm para o trabalho do >> matemático contemporâneo...) >> >> Abraços, >> Joao Marcos >> >> On Thu, Nov 6, 2025 at 4:00 PM 'samuel' via LOGICA-L >> <[email protected]> wrote: >> > >> > Caros, >> > >> > Boa noite, >> > >> > Visitarei a UFF na semana que vem, na sexta-feira dia 14, e às 14hs >> desse dia vou ministrar a palestra abaixo (no contexto de um seminário para >> iniciantes em Matemática). >> > >> > Agradeço o Petrucio por viabilizar o convite e a palestra. >> > >> > É uma palestra sobre supertarefas e hipertarefas, assunto que acho que >> é mais de Filosofia da Ciência do que de Matemática, de todo vai ser só o >> ponto de vista mais do Matemático que vai aparecer... >> > >> > Ainda não sei se vai ser gravado (Mario Benevides me cobra um video >> dessa palestra há muitos anos hehe, não sei se vai ser dessa vez Mario, >> pelo menos você poderá estar lá espero...). >> > >> > É uma palestra de 2018, estou tentando revisitá-la. >> > >> > Abraços >> > >> > []s Samuel >> > >> > ********************************************************************** >> > >> > Palestra – O Infinito e a Intuição: Analisando Supertarefas e >> Hipertarefas >> > >> > Palestrante: Prof. Dr. Samuel Gomes da Silva (UFBA) >> > >> > Palestra - Projeto Matemática para Iniciantes / Matemática UFF >> > >> > Sexta-feira, 14 de Novembro de 2025 >> > >> > Horário: 14hs >> > >> > Sala G308 - Campus Gragoatá - UFF >> > >> > >> > >> > RESUMO: >> > >> > >> > >> > São bastante conhecidos os paradoxos de Zenão, que envolvem a noção de >> infinito; em seu Paradoxo da Dicotomia, por exemplo, temos o famoso >> argumento das “metades de caminhos” com os quais poderíamos concluir que a >> própria noção de movimento é uma ilusão, sendo impossível deslocar-se de um >> ponto A até um ponto B ! O argumento para expor tal paradoxo “vende” esse >> movimento comum e corrente – de simplesmente sair de um ponto até chegar em >> outro – como uma tarefa envolvendo infinitos passos intermediários, o que é >> impossível para nós humanos, que apenas podemos realizar tarefas finitas. >> Essa descrição do paradoxo constitui-se, na linguagem da Filosofia da >> Ciência, em uma supertarefa – uma sequência enumerável e infinita de >> operações que ocorrem sequencialmente dentro de um intervalo de tempo >> finito. A argumentação matemática usual para “destruir” o Paradoxo da >> Dicotomia é considerar a noção de infinito atual (em oposição ao infinito >> potencial) e considerar que a série geométrica correspondente é >> convergente. Nesta palestra, estaremos interessados em outro aspecto >> (talvez igualmente desagradável para muitas pessoas...) das tais >> supertarefas: é muito comum que o desenlace final de uma supertarefa seja >> tal que a “situação limite no infinito”, ainda que perfeitamente >> determinável, não necessariamente se constitui no “limite das situações >> finitas” – situação essa que se torna bastante anti-intuitiva. Discutiremos >> nesta palestra as seguintes supertarefas: a Lâmpada de Thompson; o Demônio >> das Moedas; o Paradoxo de Ross-Littlewood; o Metrô Transfinito (a qual é >> uma hipertarefa, pois o número de operações a serem realizadas >> sequencialmente é não-enumerável); e, finalmente, o Quebra-cabeça dos >> infinitos chapéus dos prisioneiros. Dependendo de cada caso, tais >> super/hipertarefas podem ter um desenlace: ou impossível (no sentido da >> resposta a uma determinada pergunta ser impossível de ser determinado) ou >> possível e determinado – porém com uma conclusão totalmente surpreendente e >> anti-intuitiva ! Questões matemáticas mais avançadas (envolvendo noções >> como continuidade ou mesmo o Axioma da Escolha) também aparecerão durante >> as análises dessas supertarefas e hipertarefas. >> > >> > >> > >> > -- >> > 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/24abf2e4-6440-4a2b-8b33-658be8a07d48n%40dimap.ufrn.br. >> >> >> >> >> >> -- >> 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/c405bd16-248f-450f-b163-853b04af1238n%40dimap.ufrn.br.
