Em Busca da Diagonalização de Cantor

Para colocar ordem na casa, a tradução de dois artigos de Georg Cantor sobre a não numerabilidade dos números reais.

Triste é a sina de quem pretende entender.

Enquanto escrevia o livro sobre cálculo lambda, me deparei com alguns problemas surpreendentes. Não imaginava quanto seria difícil encontrar a sequência dos fatos que levaram a criação da ciência da computação.

Por exemplo, as informações sobre a origem da prova por contradição, usando a técnica de diagonalização. A maioria das fontes dá a entender que Cantor criou esta técnica para provar que os números reais não podem ser contados. Cresci ouvindo isso.

Conteúdo Exclusivo

Quer continuar lendo?

Este artigo completo contém estratégias práticas e dados exclusivos reservados para nossos membros cadastrados.

Continuar com Google Acesso gratuito e instantâneo com sua conta Google