[Logica-l] First CFP - XVII Brazilian Logic Conference

=== [ please distribute - apologies for multiple copies ] === First Call for Papers for the XVII Brazilian Logic Conference (EBL 2014) 7-11 April 2014

[Logica-l] On writing proofs that can't go wrong

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

Re: [Logica-l] On writing proofs that can't go wrong

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