No limite do (i)lógico

Não tem sido rara a sensação de que não sabemos o suficiente, que não lemos o suficiente, que não argumentamos o suficiente. Em especial em época de pandemia, quando nos chega uma avalanche de informações, por vezes contraditórias. Como saber o que é fato e o que é fake e, principalmente, que tipo de conclusões podemos inferir a partir de toda essa informação? Em matemática também fazemos as mesmas perguntas: como saber de onde devo começar e como devo derivar novas afirmativas? Como saber se uma argumentação é matematicamente correta? Existe um limite para o que podemos ou não provar? Nesta conversa vamos discutir um pouco sobre falácias, paradoxos e teorias matemáticas, tendo como pano de fundo a lógica clássica.