Só tem uma coisa: os "buracos" ou seja, as sentenças indecidíveis, são a situação típica. Excepcional é algo ser demonstrável. Cris Calude tem uma prova, conheço outra, e outro dia Andrey Bovykin me esboçou ainda outra, muito bonita.
Sent from my iPhone > On 27/11/2013, at 22:33, Elaine Pimentel <elaine.pimen...@gmail.com> wrote: > > Eu achei super interessante! > > https://www.simonsfoundation.org/quanta/20131126-to-settle-infinity-question-a-new-law-of-logic/ > > Via Valeria de Paiva :) > -- > Elaine. > ------------------------------------------------- > Elaine Pimentel - DMat/UFMG > > Address: Departamento de Matematica > Universidade Federal de Minas Gerais > Av Antonio Carlos, 6627 - C.P. 702 > Pampulha - CEP 30.161-970 > Belo Horizonte - Minas Gerais - Brazil > Phone: 55 31 3409-5970/3409-5994 > Fax: 55 31 3409-5692 > > htps://sites.google.com/site/elainepimentel/ > -------------------------------------------------------- > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
