[Logica-l] uma para os teóricos de modelos entre nós

reflexões interessantes sobre ultraprodutos http://terrytao.wordpress.com/2013/12/07/ultraproducts-as-a-bridge-between-discrete-and-continuous-analysis/ jm ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo

[Logica-l] e esta para os teóricos de conjuntos

Things that a ___ researcher should have done at least once http://boolesrings.org/krautzberger/2012/09/30/n-things-a-set-theorist-should-have-done-at-least-once/ JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailma

[Logica-l] Three Sisters : Philosophy, Mathematics and Logic

Esta disponivel on-line no meu website http://www.jyb-logic.org/ meu ultimo artigo Three Sisters : Philosophy, Mathematics and Logic relativo a uma palestra que eu apresentei o ano passado em Lisboa num coloquio organizado para comemorar a unificacao da antiga Universidade de Lisboa (UL) com a Univ

[Logica-l] Sobre "Mateus e Lucas"

Olás, Já aviso: este é um post sobre... Cienciometria. Discutindo umas citacoes da Bíblia com um aluno religioso (onde eu só entro pela parte da análise de consistência, nao sou religioso) descobrimos que uma mesma passagem do Evangelho tem descricoes bastante diferentes, dependendo de que

[Logica-l] cienciometria, Hilbert, e P vs. NP

* * * (O que acontece quando se aplica a cienciometria a si mesma?) Falamos de pesquisa de impacto. Cito: https://rjlipton.wordpress.com/2012/09/29/why-we-lose-sleep-some-nights/ [...] David Hilbert once said: "One can measure the importance of a scientific work by the number of earlier public