[Logica-l] Special issue of IJAR on Defeasible and Ampliative Reasoning

2017-12-05 Por tôpico Ivan José Varzinczak
* Please accept our apologies if you receive multiple copies of this call * Call for Papers: == Special Issue of the International Journal of Approximate Reasoning on "Defeasible and Ampliative Reasoning" ===

Re: [Logica-l] mais uma sobre o sexo dos Gödelianos

2017-12-05 Por tôpico Adolfo Neto
Lógica matemática para compreender as famílias deste mundo e de outros Divulgação [image: Mascote do biênio da Matemática] Mascote do biênio da Matemática 01/12/2017 02h05 Compartilhar15 Mais opções Lentamen

Re: [Logica-l] Rascunho: Palestra: p = t - Uma rara instância de igualdade entre ordens do infinito

2017-12-05 Por tôpico Thiago Nascimento da Silva
Parece muito interessante, espero ter a oportunidade de assistir. Em 5 de dezembro de 2017 09:26, Samuel Gomes da Silva escreveu: > Caros, > > Inspirado em parte pelas discussões que houve aqui na nossa lista, e tendo > sido cobrado a preparar algum material sobre o assunto tanto na UFBA > como

[Logica-l] Rascunho: Palestra: p = t - Uma rara instância de igualdade entre ordens do infinito

2017-12-05 Por tôpico Samuel Gomes da Silva
Caros, Inspirado em parte pelas discussões que houve aqui na nossa lista, e tendo sido cobrado a preparar algum material sobre o assunto tanto na UFBA como também na UESC (Ilhéus), e tudo devido à já famosa matéria na Quanta Magazine: https://www.quantamagazine.org/mathematicians-measure-inf

Re: [Logica-l] mais uma sobre o sexo dos Gödelianos

2017-12-05 Por tôpico Thiago Nascimento da Silva
Outra maneira é dar Esc assim que o texto carregar. Primeiro ele carrega o texto depois ele carrega o script que bloqueia a página. Em 5 de dez de 2017 00:38, "Profa. Maria Lewtchuk Espindola" < mar...@mat.ufpb.br> escreveu: Valéria Faça o cadastro, mas cuidado pois eles restringem o número de r

[Logica-l] Logica Universalis 11/4 - December 2017

2017-12-05 Por tôpico jean-yves beziau
Volume 11, Issue 4, December 2017 https://link.springer.com/journal/11787/11/4/page/1 Expressivist Perspective on Logicality Pavel Arazim https://link.springer.com/article/10.1007/s11787-017-0171-6 Admissibility in Positive Logics Alex Citkin https://link.springer.com/article/10.1007/s11787-017-0

[Logica-l] enquanto Gödel não concede outra entrevista...

2017-12-05 Por tôpico Joao Marcos
Proving Peano Arithmetic Partially Consistent? (are there no "short" contradictions in sight? how far can we check consistency, and at which cost?) https://rjlipton.wordpress.com/2017/11/27/proving-peano-arithmetic-partially-consistent/ JM -- Você está recebendo esta mensagem porque se inscr