Re: [Logica-l] New axioms for Set Theory?
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 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
[Logica-l] New axioms for Set Theory?
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] Pedido de um artigo
Caros Tenho um paper com Jonas Arenhart, conforme abaixo, e preciso de uma cópia na forma publicada. Mas na UFSC não temos acesso à revista. Alguém tem acesso a ela e pode por favor me enviar uma cópia? Agradeço mil vezes. Abraços Décio Journal of Applied Non-Classical Logics Volume 22, Issue 1-2, 2012, pages 105-124 Special Issue: SPECIAL ISSUE 1: Uses of Non-Classical Logic: Foundational Issues; SPECIAL ISSUE 2: Formal A discussion on quantum non-individuality DOI:10.1080/11663081.2012.682447 Décio Krausea* & Jonas R. Becker Arenhartb Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l