O paradoxo de Berry: Um algoritmo para verdade.

O paradoxo de Berry: Um algoritmo para verdade.

Enviado por root1961 em sex, 13/08/2021 - 13:20

paradoxo de Berry é um paradoxo auto-referencial decorrente de uma expressão como "o menor inteiro positivo indefinível em menos de 12 palavras"(note que essa frase que o define tem menos que 12 palavras). Bertrand Russell, o primeiro a discutir o paradoxo em impressão, atribuiu isto a G. G. Berry(1867-1928), um bibliotecário júnior na biblioteca Bodleian de Oxford, que tinha sugerido o mais limitado paradoxo decorrente da expressão "primeiro ordinal indefinível".

 

Wikipedia

Assista ao vídeo de Jade Tan-Holmes, indicado por Felipe Abraão.