Caros, Esta palestra deve ocorrer na tarde do dia 08 de outubro e muito possivelmente será transmitida no YouTube.
Quando eu tiver o link eu volto aqui. Será uma palestra absoluta e absurdamente básica (o que é um grande desafio pra mim), podem recomendar para alunos de graduação (até mesmo calouros). Abraços []s Samuel Palestra: O Non Ignorabimus de Hilbert – Em quais situações a Matemática responde: “não sei e não dá para saber” Café Cultural – Cursos de Matemática da UFBA – 08 de Outubro, 2026 Ministrante: Prof. Dr. Samuel Gomes da Silva - IME/UFBA Resumo: "Nós devemos saber; nós saberemos." A célebre declaração de David Hilbert expressava o sonho de uma Matemática completa e totalmente decidível – na qual qualquer pergunta bem formulada receberia um definitivo “sim” ou “não”. No entanto, o século XX revelou que o universo formal guarda limites incontornáveis. Esta palestra explora as situações em que a Matemática não simplesmente “ignora” uma resposta, mas demonstra formalmente que ela é inalcançável a partir de um dado sistema de axiomas. A partir de exemplos concretos e acessíveis — da Geometria, da Teoria dos Números até a Teoria dos Conjuntos —, examinaremos o conceito de *independência axiomática* e o que acontece quando a resposta para uma pergunta matemática é, comprovadamente, um sonoro "não dá para saber". -- 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/0786cc80-aac8-46b3-9229-7bed6905e251n%40dimap.ufrn.br.
