Transformação do paradoxo numa redução ao absurdo

3 Outubro 2016, 10:00 • Ricardo Lopes Coelho

Foi demostrado, por redução ao absurdo, que raiz de 2 não é um número racional. A par da sequência da demonstração explicitava-se o que é suposto em cada passo.
Tínhamos um exemplo de demonstração que aceitamos. A seguir foi usada a demonstração de Bernhardt (2016), por redução ao absurdo, pela qual o barbeiro de Sevilha não pode existir.
Se isto é feito para o paradoxo do barbeiro, podia ser feita para o paradoxo da flehca de Zenão?
Esta foi a questão de hoje para os estudantes. No final alguns apresentaram as teses, que foram discutidas publicamente.