2009/1/13 Marcelo Salhab Brogliato <msbro...@gmail.com>:
> Olá Paulo,
> por acaso esta "técnica" para montar a seqüência T é chamada de
> Diagonalização, ou algo parecido?
Ele se chama (módulo pequenas variações) "Método da Diagonal de
Cantor", em homenagem a Cantor que (além de estabelecer vários axiomas
sobre conjuntos) utilizou uma técnica parecida para provar que {0,1}^N
(as seqüências infinitas de zeros e uns) é um conjunto não enumerável
(e portanto os reais também, via representação binária !)

> abraços,
> Salhab

Abraços
-- 
Bernardo Freitas Paulo da Costa

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================

Responder a