E como ficam teoremas existenciais importantes, p.e. o teorema da codificação de Shannon? A prova deste é bastante clara, e vc vê o motivo de não ser construtivo.
E certas estruturas exóticas para 4-variedades? As que não podemos descrever e muito menos construir? Certas versões do número Omega de Chaitin? On Tue, Oct 8, 2013 at 10:57 AM, Joao Marcos <botoc...@gmail.com> wrote: > > http://www.newscientist.com/article/dn23749-mathematicians-think-like-machines-for-perfect-proofs.html?full=true#.UlIei1CsiSp > > JM > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
