Paradox and Infinity

       Curso Paradox and Infinity do MIT.  Apresenta paradoxos lógicos  e matemáticos. Ênfase  em Filosofia.

Paradox and Infinity | edX

Infinity: does it exist?? A debate with James Franklin and N J Wildberger

  Paradoxo apresentado pelo professor Norman J. Wildberger aparece em 37:50 no vídeo.

Paradoxos e quebra-cabeças

10 paradoxos e quebra-cabeças para quebrar a cabeça

Paradoxos que atormentam a humanidade

Os paradoxos que atormentam a humanidade

Isto é Matemática T01E11 Sai Uma Dose de Absurdo No Espeto

   

Einstein's "Spooky Action at a Distance" Paradox Older Than Thought - Technology Review

Einstein's "Spooky Action at a Distance" Paradox Older Than Thought - Technology Review

Scooping the Loop Snooper — Geoffrey K. Pullum

O problema da parada de um programa é indecidível. Existem programas que não se pode decidir se eles param ou não.

Seja um programa P que se queira saber se ele para ou se entra em "loop". Utiliza-se um programa Q para avaliar se P para. P pode ser feito para avaliar Q de modo que se Q concluir que P para, então P retorna para a primeira linha e recomeça tudo outra vez, infinitamente; e se Q conclui que P entrou em "loop", então P para imediatamente.

Scooping the Loop Snooper — Geoffrey K. Pullum