Re: [Logica-l] Equivalência com AC

[hugomar]

Oi Samuel e Rodrigo,


Uma prova do Lowenheim-Skolem para baixo (LSb) segue do seguinte  
resultado (que segue pode ser provado com o principio da  
boa-ordenacao):  em toda estrutura e todo subconjunto desta estrutura  
existe substrutura elementar que contem este subconjunto e tem  
cardinal no maximo o cardinal do subconjunto + cardinal da linguagem.
O resultado k.k = k para k cardinal infinito segue de LSb utilizando  
uma linguagem com um simbolo de operacao binario e axioma descrevendo  
que a interpretacao deste simbolo eh uma  funcao bijetora (basta  
injetora). Como (sem o axioma da escolha) mostramos que para todo  
cardinal infinito I existe outro infinito J > I tal que J.J = J  
(exemplo J = 2^{I.\aleph_0} funciona), entao LS b acarreta I.I=I todo  
I infinito.


Abracos,
Hugo


Citando sam...@ufba.br:


Oi Rodrigo,

Sim, o argumento original de Tarski pelo que sei era em cima desse  
k.k = k mesmo, já tinha ouvido falar disso... As sutilezas aí, têm  
aos montes !


Por exemplo, sei que se vc enuncia de uma determinada maneira o  
Lowenhein-Skolem, "só ele sozinho" já fica equivalente ao Axioma da  
Escolha.


(Achei aqui uma referência para isso, é o verbete de Bell na  
enciclopédia de Stanford:


http://plato.stanford.edu/entries/axiom-choice/#AxiChoLog

Tem uma lista de equivalências aí.

No caso, seria o Downward Lowenhein-Skolem que seria equivalente,  
pelo visto...)


Assim, quando se juntam "coisas para formar uma equivalência com o  
Axioma da Escolha", fica mais interessante juntar coisas que são  
sabidamente mais fracas, como BPI e LT, BPI mais algo muito próximo  
do Lowenhein-Skolem eu já começo a não perceber onde entrou "o a  
mais"...


Até,

[]s  Samuel






Citando Rodrigo Freire :


Olá Samuel


Interessante seu comentário.
A "parte a mais" no enunciado pode ser identificada com a informação de
cardinalidade adicional. Com esse enuciado você prova que para qualquer
cardinal infinito k, k.k = k e isso é equivalente ao axioma da escolha
(Tarski).

Abraço
Rodrigo







2011/6/29 


Olás a todos, Rodrigo e João Marcos em particular,

Interessante, o Teorema da Completude é equivalente ao Teorema do
Ultrafiltro, e aí o que aparece "a mais" (na formulação do Bell-Slomson),
chega na equivalência com Axioma da Escolha...

Isso realmente tem a haver com ultraprodutos, lembro de ter visto durante a
iniciação científica com um aluno daqui da Ufba que o axioma da escolha é,
também, equivalente à conjunção do Teorema do Ultrafiltro com o Teorema de
Lós.

(BPI + LT equivalente a AC, isso é um resultado de Howard dos anos 70,
onde BPI é o Teorema do Ideal Booleano Primo (que é equivalente ao Teorema
do Ultrafiltro) e LT é o Teorema de Lós, segue o link do artigo...

http://www.jstor.org/stable/**2040659  
   )


É como se o LT fosse "a parte de existir(em) o(s) modelo(s)" no primeiro
parágrafo acima, seria o "a mais"...

Até,

[]s  Samuel

PS: Só pra quem for ler o artigo: dentro da discussão do último parágrafo,
algum tempo depois Blass construiu um modelo *sem* ultrafiltros livres. Daí
não tem mesmo como excluir BPI da equivalência AC <--> BPI + LT, já que o
Teorema de Lós é "óbvio" se só existirem ultrafiltros principais...


--**--**
Universidade Federal da Bahia - http://www.portal.ufba.br

__**_
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l








Universidade Federal da Bahia - http://www.portal.ufba.br

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Sobre a discussao do(s) Qualis-LOGICA(S)

[hugomar]

Ola a todos,

Tenho acompanhado a intensa (e interessante) movimentacao na lista de  
logica sobre a questao do Qualis da(s) Logica(s) (matematica,  
computacional, filosofica). Acredito que seria boa estrategia colocar  
os esforcos coletivos da nossa comunidade em  demandas para a Capes de  
curto prazo e medio prazo.


(I) Curto prazo (proximas semanas): como a avaliacao trienal ja esta  
em curso, por uma questao de pragmatismo, parece ser mais  
razoavel/seguro trabalhar em cima de aperfeicoamentos pontuais do  
trabalho da Valeria, Rodrigo,  Samuel e Charles.  Listas mais longas e  
completas de periodicos poderiam ser adicionadas a essa proposta   
basica para "apontar" que pretendemos  ainda mais  no  futuro proximo   
(2015) . Uma lista extensa e  substancial de apoios dificilmente sera  
completamente ignorada e nossos colegas da Capes  terao clareza que o  
movimento esta (e estara) "mobilizado" para futuras  demandas  
(melhores, mais profundas).  Assim, o fundamental aqui e que  
consigamos garantir que seremos ouvidos, antes desta revisao de 2012  
terminar: seria apenas uma solucao parcial e transitoria (3 anos), em  
funcao da urgencia. Em resumo,  precisamos ser cautelosos para nao  
sermos  mais  um caso  onde o "otimo"  inviabiliza o "bom" (ou  
possivel).


(II) Medio prazo (avaliacao de 2015): teremos tempo suficiente  para  
debate e reflexao e gerar uma proposta mais consistente e estavel. Por  
exemplo:
-  Demandar o status que cada uma das 3 Logicas merecem (por exemplo,  
no caso da  Matematica, a Logica Matematica eh classificada no CNPQ  
como subarea da Algebra: propor a grande area "Logica e Fundamentos").
- Produzir listas de periodicos de Logica(s)  bem mais extensas (para  
as 3 logicas) ;
- Propor a criacao de um mix de indicadores *completamente* objetivos  
para avaliacao: uma media adequadamente ponderada de fatores de  
impacto, fator 5 anos, tabela com  pesquisadores internacionais e onde  
publicararam (estes 2 ultimos  capturariam   de alguma forma a questao  
da  "meia vida"), etc... Aqui tratariamos de  algo nos moldes de um  
"IDH" para ciencia e nao apenas algo centrado o "PIB" (= fatores de  
impacto).  Assim como em Economia,  caberia defender o  
"reescalonamento" do PIB em funcao de algum numero estimado de  
pesquisadores de cada grande area (um "MaC-dolar" para a ciencia):
novamente exemplificando com a situacao da Matematica, certamente ha  
muito mais analistas e geometras no mundo que logicos. Assim,  
poderiamos propor no estrato A1, 8 revistas "generalistas" e 2 para  
cada grande area (Geometria, Analise, Algebra, Logica+Fundamentos); no  
estrato A2 poderiam ser 12 generalistas e 3 de cada grande area; os  
estratos B e C nao teriam limitacoes de quantidades.  Espera-se que   
varios indices de revistas devam subir, alguns devam descer, mas uma  
objetidade (mesmo que " meio burra") eh bem superior que decisoes  
subjetivas e personalisticas.

- Defender reavaliacoes automaticas e anuais.
- Articular como outras areas descontentes e/ou subrepresentadas no  
Qualis  (ex, no caso da Matematica, ha setores da Algebra em situacao  
analoga a da Logica).


Como muitos, nao sou muito afeito a "numerologias" enrigecidas, mas  
com certeza isto  ja seria um avanco importante em relacao a situacao  
surreal do momento ("nao conheco, mas nao gosto da area tal, logo seu  
indice Qualis sera baixo"), centrado, em ultima instancia,  em um   
misto de desconhecimento, preconceito e personalismo.


 Por fim,  acredito que as tentativas de desmontar o "sistema"  sao  
possiveis (como no caso Gowers e Elsevier), e ha indicios de  
movimentos na direcao anti-numerologia (fatores de impacto, etc) na  
comunidade internacional. Nao eh necessario que tomemos a vanguarda  
deste processo ainda nebuloso, podemos conviver bem com um sistema  
"numerologico" razoavel por um tempo indeterminado.   Mas  estar "bem  
posicionado" dentro do "sistema" certamente facilitaria este novo  
processo de reforma, quando este obtiver massa critica internacional...


Abracos,

Hugo

Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Qualis: um exercicio de democraria na lista de Logica

[hugomar]

Ola a todos,

Penso que, apos estas semanas de intensos e democraticos debates em  
torno das sugestoes de mudancas de avaliacoes dos Qualis das 3  
Logicas, caberia mais um importante exercicio democratico sobre o  
tema: votacoes de propostas concretas.
Participaria desta votacao a comunidade dos logicos brasileiros  aqui,  
por questoes praticas, identificada com a totalidade dos participantes  
da lista de Logica (eleicao viabilizada atraves de algum instrumento  
google???)


Sugiro as 3 propostas abaixo, com eleicao finalizada na segunda-feira,  
dia 2 de abril:


Proposta (1): enviar a Capes no dia 4 de abril (quarta-feira) as 12hs,  
o trabalho realizado pela Valeria, Rodrigo, Samuel e Charles, com  
sugestoes de alteracoes de notas aceitas ate as 23:59 de terca-feira  
(3 de abril).


Proposta (2): retrabalhar todo o conteudo da proposta, em cima das  
sugestoes do Jean-Yves (via fatores de impacto) e outras, a partir da  
lista ampliada do Joao Marcos, ate dia 2 de maio (quarta-feira),  
quando o resultado do trabalho seria enviado a Capes.


Proposta (3): nenhuma das anteriores.

Abracos,

Hugo




Abracos,

Hugo

Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Qualis: um exercicio de democraria na lista de Logica

[hugomar]

Oi Jean Yves!

Na verdade imaginei que esta acao democratica auxiliria nossa  
comunidade da Logica a:


(1) *Nao* encaminhar esse assunto, que interessa a toda comunidade, de  
forma pessoal.
Claro que todos temos ideias distintas de como deveria/poderia ser  
tratado o assunto do Qualis e em que momentos, mas unidade com 400  
pessoas envolvidas nao eh muito provavel: so democracia, via votacao  
direta e com propostas concretas poderia nos auxiliar no processo de  
convergencia. Listei, apenas como forma de sugestao, 3 propostas,  
claro que a comunidade poderia/deveria formular outras propostas e  
decidir como e quando votarmos e por quais mecanismos tecnologicos.
(2) Respaldar a proposta a ser apresentada a Capes: votacao direta  
escolhendo (via maioria) uma proposta fixa daria respaldo a o que a  
SBL deveria pleitear a CAPES ja que a SBL eh simplesmente uma  
representacao da comunidade dos logicos do Brasil.


Abracos,

Hugo


  Quoting jean-yves beziau :


Caro Hugo

E melhor ver a situcao de maneira menos pessoal (Valeria, Hugo, Samuel,
Charles vs JYB e JM)
e dramatica (ultimatum 23:59).
Nao se trata de um confrontacao entre duas listas eleitorais.
Seria melhor mandar uma  carta oficial para a CAPES em nome da Sociedade
Brasileira de Logica
assinada pela nossa presidente e sem usar o bloguismo.
Nao precisa esperar muito tempo.
Hoje em dia com a Internet, tudo mundo pode se expressar diretamente e com
muita velocidade.
Me parece que so precisa especificar melhor os parametros da consulta e da
decisao.

Um abraço, JY
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l




Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Qualis: um exercicio de democraria na lista de Logica

[hugomar]

Ola a todos,

Notei que nos ultimos dias cessaram as discussoes em torno da questao  
Qualis-Logica: isto me surpreendeu *bastante* pois sabemos que algumas  
areas (Fisica, por exemplo) ja terminaram o processo de revisao de  
2012, sugerindo que a comunidade dos logicos (matematicos, filosofos,  
teoricos da computacao) tambem tem poucos dias para se posicionar  
quanto ao assunto da nossa avaliacao pelo Qualis (lembro que a proxima  
avaliaco so ocorrera em 2015).
Em email anterior (28 de marco), sugeri 3  propostas (ver email  
abaixo) para auxiliar, de forma democratica, no processo de  
posicionamento de nossa comunidade quanto essa grave e urgente  
questao. Tambem foi sugerido que esta consulta se encerrasse no final  
do dia 2 de abril (segunda feira).  Ate agora,  apenas duas pessoas se  
posicionaram (= votaram), de forma espontanea, sobre esta consulta  
(Arthur e Decio). Aproveito email para declarar meu voto na *proposta  
1*.

Convido a todos a declararem suas posicoes!!!

Abracos,
Hugo



Quanto Quoting hugo...@ime.usp.br:


Ola a todos,

Penso que, apos estas semanas de intensos e democraticos debates em  
torno das sugestoes de mudancas de avaliacoes dos Qualis das 3  
Logicas, caberia mais um importante exercicio democratico sobre o  
tema: votacoes de propostas concretas.
Participaria desta votacao a comunidade dos logicos brasileiros   
aqui, por questoes praticas, identificada com a totalidade dos  
participantes da lista de Logica (eleicao viabilizada atraves de  
algum instrumento google???)


Sugiro as 3 propostas abaixo, com eleicao finalizada na  
segunda-feira, dia 2 de abril:


Proposta (1): enviar a Capes no dia 4 de abril (quarta-feira) as  
12hs, o trabalho realizado pela Valeria, Rodrigo, Samuel e Charles,  
com sugestoes de alteracoes de notas aceitas ate as 23:59 de  
terca-feira (3 de abril).


Proposta (2): retrabalhar todo o conteudo da proposta, em cima das  
sugestoes do Jean-Yves (via fatores de impacto) e outras, a partir  
da lista ampliada do Joao Marcos, ate dia 2 de maio (quarta-feira),  
quando o resultado do trabalho seria enviado a Capes.


Proposta (3): nenhuma das anteriores.

Abracos,

Hugo




Abracos,

Hugo

Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] amanha domingo 1 de abril eleicao obrigatoria para todos os logicos brasileiros!

[hugomar]

Oi Jean-Yves,

Conforme resposta a seu email sobre a votacao (nao eh relevante  
adiciona-la, isto pode ser visto na lista), a questao nao eh  
*personalizar* a discussao, nem  muito menos encerrar a discussao, mas  
que a *comunidade dos logicos* decida se quer ou nao quer enviar  
alguma proposta a Capes a tempo de aproveitar as reflexoes conjuntas  
de forma *efetiva*, pois operiodo de revisao para o Qualis 2012 esta  
acabando e depois so teremos chance de sermos ouvidos em 2015!  Por  
isso, e pelo imobilismo que vem ocorrendo nos ultimos dias, sugeri  
(com tranquilidade e seriedade) a comunidade dos logicos, a votacao  
espontanea sobre 3 propostas concretas.


Acho que contribuira mais a disponibilizacao de meu primeiro email a  
lista de Logica (abaixo):


***
Ola a todos,

Tenho acompanhado a intensa (e interessante) movimentacao na lista de  
logica sobre a questao do Qualis da(s) Logica(s) (matematica,  
computacional, filosofica). Acredito que seria boa estrategia colocar  
os esforcos coletivos da nossa comunidade em  demandas para a Capes de  
curto prazo e medio prazo.


(I) Curto prazo (proximas semanas): como a avaliacao trienal ja esta  
em curso, por uma questao de pragmatismo, parece ser mais  
razoavel/seguro trabalhar em cima de aperfeicoamentos pontuais do  
trabalho da Valeria, Rodrigo,  Samuel e Charles.  Listas mais longas e  
completas de periodicos poderiam ser adicionadas a essa proposta   
basica para "apontar" que pretendemos  ainda mais  no  futuro proximo   
(2015) . Uma lista extensa e  substancial de apoios dificilmente sera  
completamente ignorada e nossos colegas da Capes  terao clareza que o  
movimento esta (e estara) "mobilizado" para futuras  demandas  
(melhores, mais profundas).  Assim, o fundamental aqui e que  
consigamos garantir que seremos ouvidos, antes desta revisao de 2012  
terminar: seria apenas uma solucao parcial e transitoria (3 anos), em  
funcao da urgencia. Em resumo,  precisamos ser cautelosos para nao  
sermos  mais  um caso  onde o "otimo"  inviabiliza o "bom" (ou  
possivel).


(II) Medio prazo (avaliacao de 2015): teremos tempo suficiente  para  
debate e reflexao e gerar uma proposta mais consistente e estavel. Por  
exemplo:
-  Demandar o status que cada uma das 3 Logicas merecem (por exemplo,  
no caso da  Matematica, a Logica Matematica eh classificada no CNPQ  
como subarea da Algebra: propor a grande area "Logica e Fundamentos").
- Produzir listas de periodicos de Logica(s)  bem mais extensas (para  
as 3 logicas) ;
- Propor a criacao de um mix de indicadores *completamente* objetivos  
para avaliacao: uma media adequadamente ponderada de fatores de  
impacto, fator 5 anos, tabela com  pesquisadores internacionais e onde  
publicararam (estes 2 ultimos  capturariam   de alguma forma a questao  
da  "meia vida"), etc... Aqui tratariamos de  algo nos moldes de um  
"IDH" para ciencia e nao apenas algo centrado o "PIB" (= fatores de  
impacto).  Assim como em Economia,  caberia defender o  
"reescalonamento" do PIB em funcao de algum numero estimado de  
pesquisadores de cada grande area (um "MaC-dolar" para a ciencia):
novamente exemplificando com a situacao da Matematica, certamente ha  
muito mais analistas e geometras no mundo que logicos. Assim,  
poderiamos propor no estrato A1, 8 revistas "generalistas" e 2 para  
cada grande area (Geometria, Analise, Algebra, Logica+Fundamentos); no  
estrato A2 poderiam ser 12 generalistas e 3 de cada grande area; os  
estratos B e C nao teriam limitacoes de quantidades.  Espera-se que   
varios indices de revistas devam subir, alguns devam descer, mas uma  
objetidade (mesmo que " meio burra") eh bem superior que decisoes  
subjetivas e personalisticas.

- Defender reavaliacoes automaticas e anuais.
- Articular como outras areas descontentes e/ou subrepresentadas no  
Qualis  (ex, no caso da Matematica, ha setores da Algebra em situacao  
analoga a da Logica).


Como muitos, nao sou muito afeito a "numerologias" enrigecidas, mas  
com certeza isto  ja seria um avanco importante em relacao a situacao  
surreal do momento ("nao conheco, mas nao gosto da area tal, logo seu  
indice Qualis sera baixo"), centrado, em ultima instancia,  em um   
misto de desconhecimento, preconceito e personalismo.


 Por fim,  acredito que as tentativas de desmontar o "sistema"  sao  
possiveis (como no caso Gowers e Elsevier), e ha indicios de  
movimentos na direcao anti-numerologia (fatores de impacto, etc) na  
comunidade internacional. Nao eh necessario que tomemos a vanguarda  
deste processo ainda nebuloso, podemos conviver bem com um sistema  
"numerologico" razoavel por um tempo indeterminado.   Mas  estar "bem  
posicionado" dentro do "sistema" certamente facilitaria este novo  
processo de reforma, quando este obtiver massa critica internacional...


Abracos,

Hugo



 Quoting jean-yves beziau :


Caro Hugo
Com eu ja falei, ver a baixo, a

Re: [Logica-l] amanha domingo 1 de abril eleicao obrigatoria para todos os logicos brasileiros!

[hugomar]

Oi Joao Marcos,

Assim como voce, tambem acredito que:

a comunidade *já optou por apoiar
o envio da carta* por seus autores, ao topar prontamente assiná-la, no
blog, e assiná-la mesmo quando não inteiramente de acordo com o seu
conteúdo.

e tambem que:

não é de se esperar da comunidade uma *adesão sem
questionamento*, ou uma *aclamação acrítica* da proposta atual.
O ponto aqui eh se a comunidade cre que devamos (ou nao) enviar esta  
proposta (mesmo que incompleta, com pontos a serem melhorados) para a  
CAPES *nos proximos dias*, pelo menos a tempo deles registrarem o  
descontentamento da comunidade dos logicos do Brasil quanto ao  
Qualis-Logica(s) e haver alguma  alguma oportunidade de melhora nos  
indices.
Acredito tambem que muitos concordam que esta proposta para a revisao  
de 2012 nao eh a "proposta otima" e que algo mais consistente e  
estavel so poderia ser alcancada apos *muitas* reflexoes conjuntas, e  
com ampla participacao da comunidade, para a *revisao de 2015*.

Abracos,
Hugo



Quoting Joao Marcos :


Olá, Hugo:

A minha impressão pessoal foi de que a comunidade *já optou por apoiar
o envio da carta* por seus autores, ao topar prontamente assiná-la, no
blog, e assiná-la mesmo quando não inteiramente de acordo com o seu
conteúdo.  O que também parece ter ficado claro, por outro lado, foi
de que não é de se esperar da comunidade uma *adesão sem
questionamento*, ou uma *aclamação acrítica* da proposta atual.

Eu particularmente propus algumas críticas iniciais a partir de emails
de _esclarecimento_ do que estava realmente em jogo, mas confesso que
ao longo das discussões fiquei mais e mais desanimado com relação ao
verdadeiro conteúdo da proposta que estaria sendo agora "submetida à
votação".  Com efeito, ao perceber que a proposta não está nem estará
baseada em quaisquer critérios identificáveis de classificação
(retirados do documento de área ou não), que os números mágicos não
podem ser reajustados para cima nem muito menos para baixo, que os
autores da proposta precisam ser pessoalmente convencidos, com algum
custo, acerca de cada novo periódico a ser acrescentado, mas que estão
menos dispostos a rever o que propuseram eles próprios acerca de seus
periódicos preferidos, e ao entender por fim que a proposta se
pretende tão-somente como uma espécie de "lobby dos lógicos, só para
marcar presença", confesso que perdi um pouco de interesse no esforço
que você descreve "a curto prazo".  Espero bem contudo que saibamos
viabilizar o interessante esforço "a médio prazo" que você descreve,
para que possamos ter uma ação realmente colaborativa, lógica e
racional sobre a "questão classificatória" dos veículos de publicação
da área.

Joao Marcos


2012/3/31  :

Oi Jean-Yves,

Conforme resposta a seu email sobre a votacao (nao eh relevante adiciona-la,
isto pode ser visto na lista), a questao nao eh *personalizar* a discussao,
nem  muito menos encerrar a discussao, mas que a *comunidade dos logicos*
decida se quer ou nao quer enviar alguma proposta a Capes a tempo de
aproveitar as reflexoes conjuntas de forma *efetiva*, pois operiodo de
revisao para o Qualis 2012 esta acabando e depois so teremos chance de
sermos ouvidos em 2015!  Por isso, e pelo imobilismo que vem ocorrendo nos
ultimos dias, sugeri (com tranquilidade e seriedade) a comunidade dos
logicos, a votacao espontanea sobre 3 propostas concretas.

Acho que contribuira mais a disponibilizacao de meu primeiro email a lista
de Logica (abaixo):

***
Ola a todos,

Tenho acompanhado a intensa (e interessante) movimentacao na lista de logica
sobre a questao do Qualis da(s) Logica(s) (matematica, computacional,
filosofica). Acredito que seria boa estrategia colocar os esforcos coletivos
da nossa comunidade em  demandas para a Capes de curto prazo e medio prazo.

(I) Curto prazo (proximas semanas): como a avaliacao trienal ja esta em
curso, por uma questao de pragmatismo, parece ser mais razoavel/seguro
trabalhar em cima de aperfeicoamentos pontuais do trabalho da Valeria,
Rodrigo,  Samuel e Charles.  Listas mais longas e completas de periodicos
poderiam ser adicionadas a essa proposta  basica para "apontar" que
pretendemos  ainda mais  no  futuro proximo  (2015) . Uma lista extensa e
 substancial de apoios dificilmente sera completamente ignorada e nossos
colegas da Capes  terao clareza que o movimento esta (e estara) "mobilizado"
para futuras  demandas (melhores, mais profundas).  Assim, o fundamental
aqui e que consigamos garantir que seremos ouvidos, antes desta revisao de
2012 terminar: seria apenas uma solucao parcial e transitoria (3 anos), em
funcao da urgencia. Em resumo,  precisamos ser cautelosos para nao sermos
 mais  um caso  onde o "otimo"  inviabiliza o "bom" (ou possivel).

(II) Medio prazo (avaliacao de 2015): teremos tempo suficiente  para debate
e reflexao e gerar uma proposta mais consistente e estavel. Por exemplo:
-  Demandar o status que cada uma das 3 Logica

Re: [Logica-l] classificacao de revistas de logica na qualis matematica

[hugomar]

Otimo Jean-Yves!

Acho que eh isso mesmo! Com sugestoes como a sua aqui nossa comunidade  
vai  conseguir chegar  em uma boa proposta a Capes, e em tempo habil!

Abracos,
Hugo


Quoting jean-yves beziau :


Ola a todos

Acho muito bom que a discussao retomou e que estamos avançando
Vem ai alguns comentarios  a respeito de classificacao de revistas de
logica na matematica
Se eu entendi bem a classifacao proposta atualemente na matematica e a
seguinte:

A1 JSL Journal of Symbolic Logic
A1 APAL Annals of Pure and Applied Logic
A1 JML Journal of Mathematical Logic

A2 AML Archives for Mathematica Logic
A2 NDFL Notre Dame Journal of Formal Logic
A2 FM Fundamata Mathematicae
A2 MLQ Mathematical Logic Quarterly

B1 IGPL Logic Journal of the IGPL
B1 AL Algebra and Logic
B1 BSL Bulletin of Symbolic Logic
B1 SL Studia Logica
B1 JLC Journal of Logic and Computation
B1 LU Logica Universalis

Vem ai a comparacao com o factor de impacto

1. JLC  532 (B1)
2. MLQ  425 (A2)
3. LU   400 (B1)
4. JML  375 (A1)
5. APAL 359 (A1)
6. IGPL 352 (B1)
7. SL   336  (B1)
8. JSL  303 (A1)
9. AML  250  (A2)
10. FM  235   (A2)
11. BSL 174   (B1)
12. AL  156  (B1)
13. NDFL sem classificacao (A2)

Factor de impacto nao e o unico criterio mas tem que se levador em conto.
E nao pretendo que deveria establecer a classificaco qualis so em funcao
disto
mas me parece ainda que tem muito diferança levando isto em conta e tambem
outros criterios.

Rodrigo escreva
"Todos os dados que temos confirmam que JSL, APAL, JML, FM, AML, NDJFL, MLQ
(e BSL) ainda são as principais referências dos pesquisadores em lógica
matemática"

De fato o JML Journal of Mathematical Logic nao e um journal traditional
e um journal pouco conhecido que publica pouco
foi lançado pela World Scientific (Singapore) em 2001,
tem um alto factor de impacto porque publica muito pouco mas publica
artigos de alta qualidade
Parece que ate hoje o JML nao tem  classificacao Qualis, entao ele iria
diretamente de nada para A1
nao sou necessaramente contra, me parece que nao e questao de fazer fila
mas neste caso porque nao aplicar o mesmo raciocino para outras revistas

Do lado oposto tem o jornal com NDFL (Notre Dame Journal of Formal Logic)
no momento nao ha classificacao de factor de impacto,
e um journal que foi fundado  pelo polones Boleslaw Sobocinski (1904-1980)
aluno de Lukasiewicz que se mudou para os Estados Unidos em 1945
e foi professor na Universidade de Notre Dame
Ele era uma pessoa animada com muitas ideias que dirigiu esse jornal
durante muitos anos
depois que ele despareceu, começou a caida progessiva de NDFL
nao sabemos se este journal vai voltar de novo a alto nivel

Espero que meus commentarios nao sejam vista com acusacoes
mas sejam considerados em vista da amelioracao da classificaco.

JY
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l




Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Tradicao vs Innovacao

[hugomar]

Ola a todos,

Realmente a questao do que (ou se) gostariamos de enfatizar algum  
aspecto (tradição vs inovação), e como capturar de forma adequada   
isso, eh uma questao extremamente complexa, conforme emails do  
Jean-Yves, Samuel, Rodrigo, etc.
Mas sem duvida, mantendo essa nivel de mobilizacao e reflexao, nossa  
comunidade chegara ate 2015 com uma "proposta excelente", respaldada  
na criacao de um indice mix de indicadores *completamente* objetivos  
para esta avaliacao

(uma media adequadamente ponderada).
Contento, por exemplo:
- fatores de impacto;
- fator 5 anos;
- tabela com  pesquisadores internacionais e onde publicararam  
(digamos, nos ultimos 10 anos para nao enfatizar demais a "tradicao");

- alguma pontuacao referente ao corpo editorial;
- etc.

Abracos,
Hugo



Quoting Rodrigo Freire :


De fato, esses artigos antigos do Hintikka só aparecem se colocar K. Jakko.

Também acho que tradição vs inovação é um ponto importante, independente da
discussão de avaliação de revistas.

Contudo, discordo que impact factor equilibra essa diferença, dado que
tradição é muitas vezes mais valorizado. O que fazer para equilibrar a
balança? É uma pergunta relevante.

O Samuel colocou um relatório sobre o impact factor na lista. Acrescento
alguns pontos sobre citação, etc que me parecem relevantes:

1- Numero de citação pode medir acima de tudo o tamanho de uma comunidade.
É um erro colocar todas as revistas de lógica no mesmo pacote. Claro que
revistas com perfil mais computacional são visadas por uma comunidade maior
que revistas de lógica matemática pura.

2- Alguns artigos são o fim de alguma coisa e não tem motivos para serem
citados. São artigos que resolvem um problema, mas não introduz técnicas
novas que serão úteis em outros contextos. Além disso, o problema que foi
resolvido pode não ser particularmente útil, mas mesmo assim relevante. Não
há motivos para citar esses artigos

3- Número de citação não diz porque o artigo foi citado. É muito comum por
exemplo em filosofia citações críticas. Em matemática também não é incomum
artigos corrigindo erros de outros artigos.

4- É facilmente fraudado como já está claro.

Abraço
Rodrigo



2012/3/31 jean-yves beziau 


Caro Rodrigo

Tradicao vs Innovacao.
Isso me parece de fato um ponto importante.
Artigos innovadores geralemente nao sao aceitos em revista "tradicionais"
de logica.
Uma pessoa  por exemplo com o Jean-Yves Girard publicou  pouco nessas
revistas.
mas  se "Theoretical Computer Science" tem um factor de impacto elevado
(mais que o JSL, etc)
e em particular devido ao artigo dele sobre logica linear que foi publicado
la
e que é um dos artigos mais citados no mundo da logica ...
Com eu falei o factor de impacto tem  defeitos mais equilibro um pouco
essa dualidade tradicao vs innovacao.
Permite valorizar ideias novas e aparicao de novos talentos.
Se avaliar e so reconhecer o que e ja e reconhecido  seria trivial.

Um abraço,
JY

Hinitkka no JSL:
Hintikka, K. Jaakko J. Vicious circle principle and the paradoxes. J. Symb.
Logic 22 (1957) 245–249.
 Hintikka, K. Jaakko J. Identity, variables, and impredicative definitions.
J. Symb. Logic 21 (1956)
___
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





Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] sugestão para a área de CC, seguindo as instruções do documento de área correspondente

[hugomar]

Excelente contribuicao Joao Marcos!

Com sugestoes como a sua aqui a  comunidade dos logicos brasileiros  
certamente  chegara em uma  proposta "bem afinada"  para ser enviada a  
Capes nos proximos dias, antes de eles finalizarem as revisoes de 2012!

Abracos,
Hugo


Quoting Joao Marcos :


Caros amigos bibliometro-lógicos:
[ao fim desta mensagem há uma proposta construtiva, dentro das
restrições que vocês impuseram nos últimos dias]

Desisti de tentar entender a estratégia classificatória de vocês.  O
jogo proposto é muito difícil de jogar, para mim, pois as regras não
são claras e discordo da premissa básica que vocês admitiram sem
questionar, segundo a qual o _valor_ de uma produção bibliográfica
depende de quem está olhando para ela.  Parece-me quase
incompreensível que vocês defendam a ideia de que, por exemplo, se
"alguém da Filosofia" publicar, digamos, no ACM Transactions of
Computational Logic isto não conta nada, embora este veículo esteja no
top-tier da Computação, ou que se "alguém da Matemática" publicar no
Journal of Philosophical Logic isto também não conta nada, embora o
periódico em questão esteja no top-tier da Filosofia.  Também me
parece incrível que a classificação da Filosofia seja aparentemente
baseada somente em impressões subjetivas, e mesmo assim ninguém dê a
mínima.  Finalmente, parece-me contra-produtivo e pouco científico que
não possamos revisar para baixo alguma eventual classificação atual,
em qualquer área (não parece haver qualquer cálculo ou raciocínio que
justifique por exemplo como o Logic Journal of the IGPL mereceu a
classificação A2 em Filosofia, e o mesmo vale para a History and
Philosophy of Logic), mesmo em casos em que a classificação atual seja
claramente baseada em um equívoco (ou seja mais provavelmente fruto de
algum grande lobby ocorrido no passado!).

O jogo da comunidade de Computação
(http://qualis.capes.gov.br/arquivos/avaliacao/webqualis/criterios2007_2009/Criterios_Qualis_2008_02.pdf),
que me parecia antipático e até algo obscuro até recentemente,
conseguiu se transformar em algo muito mais simpático e direto nos
últimos dias, pois ao menos neste caso os critérios se pretendem
límpidos e objetivos.  Assim sendo, resolvi tentar colaborar com vocês
da seguinte forma.  Comecei por selecionar da tabelona
http://tinyurl.com/83wek6n, atualmente com 129 periódicos (os tais que
foram ditos "lato sensu"), os 36 periódicos aos quais estão associados
índices JCR, SJR e H-index.  Estes não são exatamente os índices
citados do documento de área de CC (a saber, JCR, HS e HG), mas são
boas aproximações, e consegui fatorar a partir deles a classificação
usada pelas linhas de corte dos critérios que aparecem na página 5 do
documento de área.  Vale notar que dos 36 periódicos citados, 14
pertencem à lista de 27 periódicos da atual planilha "O que querem os
lógicos".  No que diz respeito aos periódicos restantes da
privilegiada lista desta última planilha, para aplicar o mesmo
procedimento acima nos 7 casos em que não existe um índice JCR mas
estão disponíveis os outros dois índices, é fácil ajustar os cálculos
(em 2 casos que tratam de revistas recentes, o cálculo se baseou
somente no SJR, já que o H-index fica distorcido).  Finalmente, os 6
casos restantes foram analisados e justificados um-a-um --- como
espera a coordenação de CC.  (Bom, eu poderia explicar mais em detalhe
as contas mágicas, mas provavelmente vocês não estariam interessados
--- qualquer coisa perguntem!)  O resultado é divulgado abaixo.

* * *

PROPOSTA para a tabela "O que os Logicos querem do Qualis" - versão CC

No seguinte link podem ser encontrada a proposta de qualis-ficação que
submeto à aprovação dos colegas, justificada pelos respectivos
cálculos bibliométricos ou outras observações semi-objetivas:

  http://goo.gl/uTFUa

Rogo atenção especial às colunas:

 - cálculo p/ documento de área CC
 - NOVA PROPOSTA DE CLASSIFICAÇÃO
 - JUSTIFICATIVAS PARA NOVA CLASSIFICAÇÃO, com suas  respectivas  
interpolações


Noto ainda que a planilha contém duas folhas.  Na primeira,
"Periódicos 1", incluí apenas os 27 periódicos privilegiados
escolhidos pelos colegas que propuseram a outra planilha.   Na outra
folha, "Periódicos 2", estendi o trabalho anterior para 75 outros
periódicos da planilhona já citada, sempre *sem diferenciar por área*
(afinal, os índices não são capazes de fazer tal diferenciação).  Esta
segunda folha não recebeu a mesma atenção que a primeira, mas contém
basicamente as mesmas informações que aquela (vale mencionar que nesta
folha o Qualis atual da Filosofia é questionado diversas vezes).

Se houver alguma dúvida ou questionamento, é só gritar!

* * *

Supondo que o software que está sendo desenvolvido pelo pessoal de CC
para auxiliar nestes cálculos entre mesmo em ação na construção do
novo documento de área de CC, o esforço acima só não se tornará
totalmente inútil porque nem tudo afinal é computável e também porque
poderemos usar os atuais resultados para averiguar eventuais
aberr

[Logica-l] Qualis-Logica: questionamentos

[hugomar]

Caros colegas,


Apos alguns emails sobre o(s) Qualis-Logica(s) a esta lista, e uma  
serie de emails particulares trocados com os proponentes das 2  
principais propostas, gostaria de expor alguns questionamentos e  
reflexoes pessoais sobre a questao Qualis, mas de possivel  interesse  
da comunidade. Desde ja peco desculpas pelo longo email: nao o teria  
escrito se nao acreditasse necessario.


Abreviarei as 2 propostas principais: RSV (Rodrigo, Samuel e Valeria)  
e JM (Joao Marcos).


Algumas questoes:
(Q1) Qual ou quais propostas enviar a Capes?
(Q2) Quando envia-las?
(Q3) Qual o real respaldo dessas propostas pela comunidade?
(Q4) Qual a real chance dessas propostas serem *seriamente*  
consideradas pela Capes?




Algumas reflexoes:

Sobre (Q2):
- Noto inicialmente que ambas as propostas RSV e JM nao explicitaram,  
de antemao, datas de envio:  talvez na esperanca de   favorecer algum  
eventual  "processo de convergencia sem pressionar a comunidade", algo  
que parece que so comecou a ocorrer na *pratica*  ha um par de horas.
- Noto que o deadline  de coleta de informacoes pela Capes (18 de  
abril) nao passa de   um indicativo pois cerca de 60% (27 em 47, hoje  
pela manha) das areas ja constam como "atualizadas". Assim precisamos  
"torcer" para que nenhuma das areas (CC, FI, MA) feche em breve seus  
dados com a Capes, senao nos resta aguardar 2015. E isto,  
infelizmente, nao eh improvavel, posto que Logica eh uma atividade   
"marginal" para os tres comites: CC, FI,MA (como bem lembrado pela  
Andrea).
- Como resolver esta questao? Esperar que cada grupo declare que  
acredite que a proposta esta pronta? Mais um plebiscito (de pouca  
utilidade e/ou  validade) para decidir a data? Fixar (arbitrariamente)  
segunda-feira 9 de abril e "torcer para dar certo"?


Sobre (Q1):
- Lancamento de votacoes sobre a questao Qualis nao foram (ou nao  
deveriam ser) motivadas para ser um exercicio (sempre possivel)  de  
democracia direta: decorrem de percepcoes (pessoais)   que ambos os  
grupos estavam (estao?) despendendo uma quantidade enorme de energia e  
tempo sobre basicamente detalhes: escolhas de propostas com prazos  
encerram  (ou deveriam encerrar) esta etapa formal.  Novas votacoes  
podem ser sempre convocadas (por qualquer um, ou qualquer entidade) em  
cima de novos prazos e (+ ou -) novas propostas: mas quem (ou o que)  
podera dizer que "eh esta que vale", e que outras chamadas  
subsequentes serao desconsideradas? Seria abrir a Caixa de Pandora:  
mais discussoes desgastantes e  interminaveis sobre algo lateral (o  
encaminhamento da questao) e nao sobre o CERNE: qual sera o conteudo  
da proposta enviada a Capes, e qual o efetivo respaldo desta?
- A sugestao da Andrea, claro  eh a mais democratica possivel, assim  
quem nao estaria a favor? Porem, na *pratica*,  tenho certeza, esta  
pulverizacao  seria um desastre completo para toda a comunidade: nao  
eh dificil imaginar "nossos colegas da Capes" vendo chegar  uma  
pleiade de sugestoes "dos logicos" (provalvemente muitas  
irreconciliaveis(ou so fatores de impacto, ou so percepcao da  
comunidade), e comentando  entre eles, talvez com  algum sorriso de  
satisfacao e meio ironico: "perfeito,  nao precisaremos mais  (nem em  
2015, nem nunca) considerar nenhuma demanda  desses  caras da logica  
porque nem mesmo dentro do grupinho deles eles se entendem... Puxa, e  
eles nos deram isso de bandeja..."



Sobre (Q3):
- De acordo com as observacoes acima, acredito que nao resta caminho  
*viavel* fora de uma proposta unica (RSV+JM) e com amplo respaldo da  
comunidade (lista de assinaturas no blog + lista de votantes de alguma  
eleicao).  Torcemos para que isto se viabilize *na pratica* e  
rapidamente
(seria para 9/4? sera  que da para ser antes? nao estaria faltando  
pouco para isso?).


Sobre (Q4):
  Cabendo apenas uma proposta *unica* e amplamente *respaldada pela  
comunidade*, como ela deveria ser apresentada  para ser  *seriamente*  
considerada pela Capes?


 Novamente, como nosso tempo eh exiguo (esforcos de curto prazo, nao  
de medio prazo)  e nossa comunidade de logicos eh relativamente  
pequena ("marginal") parece inevitavel que enviemos uma boa solucao  
"parcial" e transitoria (2012-2015), que esteja  *bem documentada*, e  
com respaldo em dados explicitos (tabelas, indices) e documentos  
internacionais (ex. em MAT: IMU, ICM)
Precisariamos convencer a Capes a considerar *seriamente* as  
alteracoes sugeridas, jogando  *estritamente* dentro do jogo deles e  
jogando *muito melhor* que eles. Assim, *inexoravelmente*, de antemao:


a) a proposta deve  conter  conceitos de revistas de Logica para 3  
comites: MA,CC, FI.
Comentario: noto que a proposta RSV contempla estas distincoes e a(s)  
proposta(s) JM nao contempla(m) isto (notas unicas para as 3 areas).


b)  devem constar *explicitamente*  dados numericos (e suas  
metodologias): mix de fatores de impacto, avaliacoes de congressos:
- veja Qualis-CC 2007-2009   
htt

[Logica-l] PROPOSTA CONJUNTA: QUALIS DA(S) LOGICA(S)

[hugomar]

Caros colegas,

Escrevo este email com o aval de Joao Marcos, Rodrigo Freire, Samuel
Gomes, Valeria de Paiva.

Tenho a grande satisfacao de informar-lhes que nos ultimos dias tem  
sido  construida, sob ambiente de intensa e cordial colaboracao, uma

proposta unica para o(s) Qualis-Logica que funde as propostas de 2
grupos RSV (Rodrigo, Samuel e Valeria) e JM (Joao Marcos). Como a situacao
do Qualis-FI (Filosofia) ja foi definida (atualizacao
efetivada na quinta-feira 5/4), esta proposta se refere aos Qualis CC
e MA (Ciencia da Computacao e Matematica) e sera enviada com urgencia,  
(e provalvelmente pela SBL) na segunda-feira (9/4). Nesta proposta  
constam: tabela com 70 revistas de logica e carta detalhada a ser  
enviada a Capes

justificando as demandas da nossa comunidade de logicos do Brasil.
Os colegas Joao Marcos e Rodrigo Freire enviarao em breve os links com  
esses dados.


Atenciosamente,
(e boa Pascoa)
Hugo Mariano

Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] PROPOSTA CONJUNTA: QUALIS DA(S) LOGICA(S)

[hugomar]

Caros colegas Logicos,

A proposta conjunta, fusao de varias abordagens, ja foi enviada aos  
coordenadores da Capes para CC e  MA. Lembramos apenas que este eh  
apenas o primeiro estagio do esforco conjunto da comunidade dos  
Logicos do Brasil (das 3 areas: CC, FI, MA) na direcao de equiparar as  
condicoes de trabalho dos Logicos com relacao as outras subareas (nos  
3 casos: CC, FI, MA). Este esforco centrou  na urgencia do envio desta  
peticao ja que cerca de 2/3 das areas da Capes ja constam como  
atualizadas em 2012. Novas, mehores, mais estruturadas,  demandas  
devem ser construidas na proxima revisao, em 2015!
Certamente a imensa maioria dos membros de nossa comunidade enxerga  
com desconfianca essas questoes "numerologicas" caracteristicas da  
burocracia cientifica brasileira, expressas tanto na doenca autoimune  
descritas pelo prof. Chico Miraglia e pelo Rodrigo Freire, quanto  
pelos tais "indices de impacto de revistas": um dia estaremos livres  
disso e so investiremos nosso tempo e energia em atividades  
*realmente* cientificas. Todo castelo de cartas cai, em algum momento,  
so nao precisamos estar no calabouço enquanto ele estiver em pe...


Abracos,
Hugo

Quoting Rodrigo Freire :


Caros colegas

Falo por mim, apenas. Eu que agradeço à comunidade pelo apoio e pelas
sugestões, e aos colegas que se juntaram na iniciativa de elaborar uma
proposta coerente e justa. Felizmente conseguimos juntar o melhor das
várias abordagens para a questão (neste momento).

Concordo com o prof. Miraglia: é preciso resistir e espero que esse seja
apenas um passo na direção de um esforço continuado para melhorar as
condições acadêmicas dos lógicos (e também dos não-lógicos), sem deixar de
lado a qualidade da pesquisa em Lógica, que é o principal. Também sou
contra essa produtivite sem qualquer preocupação com qualidade ou
relevância.

A essa altura, os documentos seguintes (incluindo as assinaturas dos
colegas) já estão nas caixas de emails dos coordenadores da Capes para CC e
MA:

Abaixo assinado:
https://docs.google.com/document/pub?id=1JUzDMXs6HbIhxFgyMOL8vSvlLY9kiM7Fo7NIIgBc5BE

Carta:
http://goo.gl/9UAYS

Tabela:
http://goo.gl/DCYcd


Abraço
Rodrigo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

[hugomar]

Ola a todos,

Talvez pudessemos sugerir a Capes que, se um periodico nao esta agora  
no "Coleta" mas  consta de nossa proposta de qualis-ficacao, entao que  
sua nota proposta fique publicamente disponibilizada como "reserva"  
(nota entre colchetes ex: [B2]) e que esta saia do "banco de reservas"  
no ano imediatamente seguinte a publicacao de um artigo por  um  
pesquisador do Brasil, i.e., no exemplo, passando de [B2] para B2 no  
prazo de 1 ano e nao apenas na proxima revisao, em 2015.

Me parece uma solucao intermediaria que poderia ser considerada por eles.
O que acham?

Abracos,
Hugo


Quoting Joao Marcos :


Tenho três questões a colocar à Coordenação de CC, a saber:

"(1) O Coleta é preenchido anualmente pelas coordenações de pós, mas o
Qualis da área de CC na CAPES é atualizado apenas a cada 3 anos,
correto?  Ou haveria algum mecanismo intermediário de correção de
distorsões?"

"(2) Os periódicos ora qualis-ficados são aqueles e somente aqueles em
que o Coleta acusou publicações nos últimos n anos?  Qual o valor de
n?"

"(3) Será já usado neste ano o novo aplicativo de coleta de dados
online para classificação dos periódicos por fatores de impacto e
relevância?  Os resultados desta fase serão públicos?"

Alguém tem mais alguma questão a acrescentar?
JM


2012/4/11  :

Olá a todos,

João Marcos, muito boa sua mensagem de reforço ao email do Hugo que
encaminhou nossa proposta.

Na verdade, este procedimento de só incluir o que está no coleta é o que
vem sido feito nestes últimos anos, embora eles já tenham sinalizado o
interesse de incluir, no Qualis, a classificação de todos os periódicos
(as conferências são inúmeras, fica impraticável incluir todas no Qualis,
e nem toda área as consideram para efeitos de avaliação).

De qualquer forma, foi muito importante que tenhamos enviado nossa opinião
tão bem fundamentada como o fizemos. Obrigada, novamente, à toda equipe
pelo excelente trabalho.

Agora é o momento do "boca-a-boca" com os membros do comitê.

Um abraço a todos,
Ana



Que se nenhum professor presentemente vinculado a um programa de
pós-graduação brasileiro "na área" tiver publicado no periódico em
questão, durante o período de avaliação, a "informação" que enviamos
é
ignorada.

JM

2012/4/11 Valeria de Paiva :

O que isso

no entanto periódicos só são incluídos quando constam no coleta.


quer dizer?

obrigada
Valeria

2012/4/11 Joao Marcos :

Reação da Coordenação de CC da CAPES às "informações" que
enviamos.

JM


-- Forwarded message --
From: 02.comp <02.c...@capes.gov.br>
Date: 2012/4/11
Subject: RES: Urgente: Proposta para o Qualis -CC e Qualis-MA


Prezado João Marcos,

as informações de vocês serão levadas em conta, no entanto
periódicos só são incluídos quando constam no coleta.

Atenciosamente
Coordenação da Computação


De: botoc...@gmail.com [botoc...@gmail.com] em Nome de Joao Marcos
[jmar...@dimap.ufrn.br]
Enviado: segunda-feira, 9 de abril de 2012 14:41
Para: 02.comp
Assunto: Re: Urgente: Proposta para o Qualis -CC e Qualis-MA

À Coordenação de à rea em Ciência da Computação da CAPES:

Venho por meio desta reforçar a importância dos documentos enviados
pelo colega Hugo Mariano, do IME/USP ---documentos estes que também
estão sendo encaminhados pela *Sociedade Brasileira de Lógica*---,
após terem sido amplamente debatidos online na LOGICA-L ("Lista
acadêmica brasileira dos profissionais e estudantes da área de
LOGICA").  Em dezembro último usamos também este fórum para debater
e
compilar a lista de 67 conferências a serem atualizadas ou incluídas
no documento de área, que encaminhamos diretamente através do sistema
gerenciado pelo Prof. Altigran.

Estamos cientes de que a classificação dos periódicos para a área
de
CC será feita inicialmente a partir da coleta de dados feita por um
software (ora em experimentação).  Nas tabelas que enviamos,
contudo,
fizemos esta coleta manualmente, com cuidado, para 70 periódicos que
estão "no radar" dos pesquisadores da área de Lógica.  Quer nos
parecer, assim, que as classificações Qualis que sugerimos nesse
documento estão muito bem justificadas, e por conseguinte esperamos
que as classificações que serão consagradas por ocasião da
construção
do documento de área deste novo triênio hão por bem refletir com
razoável grau de fidelidade o nosso presente entendimento, corrigindo
em particular algumas distorsões e omissões do documento ainda
vigente.

Certos de contar com a compreensão e a atenção dos membros da
Coordenação de à rea CC, despeço-me em nome da comunidade
interessada
de lógica computacional,
Joao Marcos
Group for Logic, Language, Information, Theory and Applications
(LoLITA)
Department of Informatics and Applied Mathematics (DIMAp)
UFRN


2012/4/9  :

Caros Coordenadores de à rea  CC e MA,

Desde ja peço desculpas por eventual multiplicidades de mensagens.
Encaminho, com o aval da

Re: [Logica-l] qualis 2012

[hugomar]

Ola a todos,

Me parece um bom comeco...

Abs.
Hugo

 Quoting Rodrigo Freire :


Caros colegas

Os qualis da matemática e computação foram atualizados.

Acho que nosso trabalho teve algum efeito. Na matemática temos agora o JSL
e APAL como A2. Na computação, o NDJFL é A2 e APAL é B1.

O resultado não é grande coisa, mas pelo menos algumas revistas específicas
de lógica romperam a barreira do A.

Abraço
Rodrigo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Qualis 2012 - MATEMÁTICA

[hugomar]

Ola a todos,

 O levantamento preliminar do Joao Marcos eh uma evidencia clara que  
ainda mantiveram avalicao da area de Logica muito aquem da razoavel.

Tambem dei uma espiada na lista de Matematica, que tem cerca de 1200 revistas:
1) Como o JM notou, nossa (pequena) demanda aparentemente se manteve  
constante: 25 para 27 revistas da area de logica.
2) Continua a grande quantidade de revistas de Medicina com duvidoso  
conteudo matematico, cerca de 20 no estrato A de qualis-MA
De fato, o trabalho de atuacao dos logicos junto ao Qualis-Capes  
apenas comecou!

Abs.
Hugo

  Quoting Rodrigo Freire :


Não penso que seja o caso de comemorar tanto assim.




Concordo, e certamente não estou comemorando o resultado. Continuo achando
que o qualis nem deveria existir. O único ponto positivo que vi nisso tudo
é que nosso trabalho teve algum efeito, pois minha expectativa era que nem
isso seria alcançado. (Não acredito que colocariam qualquer revista de
lógica no A espontaneamente).

Estou sem entender a queda da Theoretical Computer Science para B1, e a
ascensão do NDJFL para A2 na computação. Quando divulgarem os documentos de
área do triênio poderemos encontrar alguma pista.

Abraço
Rodrigo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Qualis 2012 - MATEMÁTICA

[hugomar]

Ola a todos,

Acredito que no momento, enquanto nao divulgados os criterios  
utilizados na Quali(s)ficacao das revistas, nada de muito concreto  
pode ser feito.
Mas como o Joao Marcos indicou, acredito que uma resposta critica, bem  
pontuada ( e levando em conta nao apenas as qualis MA e CC de revistas  
de logica), deva ser dada nos proximos meses e nao na proxima avalicao  
qualis, daqui ha tres anos: senao acredito que ha serio risco  
retornarmos a estaca  zero, um  "castigo de Sisifo".

Abs.
Hugo


 Quoting Rodrigo Freire :


Olá Hugo

Como a grande área é Matemática/Probabilidade e Estatística, essas revistas
de medicina, muitas qualis A como você observou, devem vir pelo lado
"Estatística" da área.

Como já ficou claro para mim, é muito complicado comparar revistas de
características muito diferentes. A comparação deveria ocorrer apenas entre
revistas mais ou menos do mesmo tipo.

Parece que existiu algo parecido com o qualis na Australia, mas acho que a
comparação levava em conta subárea.

De qualquer modo, eu olhei a classificação deles quando estávamos
preparando nossa proposta. Aqui tem um link para a matemática:

http://www.austms.org.au/Rankings/AustMS_final_ranked.html

Nesse site de editora, eles explicam o significado dos estratos A*, A, B, C..

http://blogs.wiley.com/publishingnews/2011/05/11/the-excellence-for-research-in-australia-era-initiative/

A última classificação foi feita em 2009. As principais revistas de lógica
que eu encontrei em uma olhada rápida estão classificadas assim:

A* - Journal of Mathematical Logic
A - Annals of Pure and Applied Logic, Fundamenta Mathematicae, Notre Dame
Journal of Formal Logic, Studia Logica, The Journal of Symbolic Logic, The
Bulletin of Symbolic Logic.
B - Algebra and Logic, Algebra Universalis, Archive for Mathematical Logic,
Journal of Logic and Algebraic Programming, Journal of Logic and
Computation, IGPL, Mathematical Logic Quarterly.

Abraço
Rodrigo




Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fwd: Walter Carnielli: indicação para medalha de ouro

[hugomar]

Parabéns Walter!
Muito merecido!

Forte abraço,
Hugo

Quoting gerson zaverucha :


Parabens Walter!
Belo reconhecimento.
Gostaria de esclarecer que o Walter ganhou o premio (nao foi "apenas" uma
indicaçao):
*Professor Walter Carnielli is to receive the TGA Medal 2013 for
Mathematics.*
Vejam o video da Matematica.

Abs,
Gerson

2012/8/1 Joao Marcos 


-- Forwarded message --
From: Juliana Bueno-Soler 
Date: 2012/8/1
Subject: Walter Carnielli: indicação para medalha de ouro


Caros colegas e amigos:

escrevo para comunicar que o Prof. Walter Carnielli foi indicado para
receber a medalha de ouro da Telesio Galilei Academy of Science (baseada
em Bellinzona, Suiça) para 2013 na área de Matemática, por suas
contribuições conjuntas à Matematica, Lógica e Filosofia

http://telesio-galilei.com/tg/index.php/academy-award-2013

O nome da academia homenageia Bernardino Telesio e Galileo Galilei, tidos
como heróis da resistência à autoridade contra a ciência livre.

A academia premiou desde 2008 diversos físicos, matemáticos e alguns
poucos filósofos, incluindo os brasileiros Fernando Galembeck (Química,
Unicamp) e Djairo Guedes de Figueiredo (Matemática, Unicamp).

Gostaria que alguém postasse esta mensagem na Lista dos Lógicos
Brasileiros (da qual eu não faço parte mais).

Att.,
Juliana

+
Juliana Bueno-Soler
Professor Adjunto I
Universidade Federal do ABC - CCNH
Rua Santa Adélia, 166 - Bangu
Santo André - SP
homepages: http://tinyurl.com/juliana-bueno-soler
   http://geocities.com/j_bueno13/
___
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





Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Convite: workshop em homenagem aos 70 anos do professor Chico Miraglia

[hugomar]

Prezados colegas,

Temos a satisfação de convidá-los para a participar do workshop "Logic  
and Applications:in honor to Francisco Miraglia by the occasion of his  
70th birthday" , a ser realizado no IME-USP (auditório  Jacy Monteiro)  
nos  dias 16 e 17 de setembro (sexta-feira e sábado).


Nesta singela homenagem que organizamos para  agradecer  as  
contribuições de nosso professor e colega Francisco “Chico” Miraglia,  
contaremos  com 11 comunicações, 5 palestras e 2 mesas redondas.


Algumas informações sobre o evento estão na página
https://www.ime.usp.br/destaques/francisco-miraglia

Abaixo segue a versão mais atualizada sobre a programação.

16 de setembro

09:30  10:00 Abertura
10:00  10:50  P1: Max Dickmann, Paris 6-7:  TBA
10: 50 11:20 Coffee break
11:20  11:50 C1: Marcelo Coniglio, CLE-Unicamp: Swap structures:  
algebraizing logics by means of multialgebras

11:55  12:25  C2: Rodrigo Dias, UFABC:  Selective games on binary relations
12:30  14:30 Almoço
14:30  15:20 P2: Ofelia Alas, IME-USP:  Maximal countably compact spaces
15:25  15:55 C3: Lucia Junqueira, IME-USP:  Reflecting topological properties
16:00  16:30 C4: Rodrigo Freire, UNB: Existential Import in Set Theory
16:35  17:05  Coffee break
17:05  17:55 P3: Ricardo Bianconi, IME-USP: Some model theory of  
hypergeometric functions

18:00  18:30 C5: Hugo Mariano, IME-USP:  Abstract aspects of quadratic forms
18:30  19:00 C6: Vinicius Lopes, UFABC: Some of Chico's quotes

17 de setembro

9:30  10:20  P4: Ruy de Queiroz, UFPE: Propositional equality,  
identity types, and computational paths

10: 25 10:55 C7: Andreas Brunner, UFBA: Model Theory in Sheaves
10:55  11:25 Coffee break
11:25  11:55 C8: Samuel Silva, UFBA: Topological equivalences of CUT  
and CUT(Fin)
 12:00  12:30 C9: Ciro Russo, UFBA: Quantale modules and  
propositional deductive systems: interpretation, amalgamation and the  
Deduction Theorem

12:30  14:30 Almoço
14:30  15:20 P5: Ivan Shestakov, IME-USP: TBA
15:25  15:55 C10: Leandro Aurichi, ICMC-USP: A family of hyperspaces  
and its applications on products problems
16:00  16:30  C11: Claus Horodynski, UNB: Issues concerning  
Mathematical formalism

16:30  17:00 Coffee break
17: 00 18:00  Perspectivas da Universidade Brasileira (mesa redonda)
18: 00 19:00  Perspectivas em Lógica e aplicações (mesa redonda)
19: 00 19:20 Encerramento


Cordialmente
a Comissão Organizadora:
Marcelo Esteban Coniglio- UNICAMP
Vinicius Cifú Lopes- UFABC
Hugo Luiz Mariano –IME-USP

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20160910231023.Horde.yDJUb5knOm1Jy0bzt4GEJg5%40webmail.ime.usp.br.

Re: [Logica-l] Re: Saiu o Qualis 2015 !

[hugomar]

Olá a todos,

Sobre estes absurdos do Qualis, em geral, valeria a pena (re)ver as  
informações contidas em

http://br.okfn.org/author/jorgemachado/
é um link que o João Marcos passou a lista faz algum tempo.

Resumindo: toda esta "estória" não tem como ser levada a sério, pois  
não há evidência que efetivamente são utilizadas as regras que eles  
declaram utilizar para "calcular" os Qualis.


Abs
Hugo



Citando 'Samuel Gomes' via LOGICA-L :


... Boa análise Hermógenes,

Esse jogo entre o Qualis-teoria-Jekyll e o Qualis-prática-Hyde ficou
interessante.

Até,

[]s  Samuel




On Monday, December 19, 2016 at 12:40:56 PM UTC-3, sam...@ufba.br wrote:


Caros,

Recebi numa lista de pesquisadores de Matemática a informação de que o
Qualis 2015 foi divulgado (o que deve ter sido recente).

Dei uma olhada rápida só nas revistas de Matemática que
conheço/publico e em geral essa lista registra um movimento de queda
(pelo menos em Matemática) que já aparecia nos tais "Qualis parciais",
de 2013 e 2014.

Por exemplo, o Logic Journal of IGPL, que normalmente publica os
proceedings de EBLs, chegou no ponto mais baixo em Matemática que eu
me lembre: B4.

(Está A1 para Filosofia e B1 para Computação)

Aparentemente ainda haverá um Qualis 2016 para fechar o quadriênio
(agora não é mais triênio, é quadriênio).

Sugiro que o pessoal que sempre acompanha dê uma olhada pra ver se
houve perdas em Filosofia e Computação, como seguramente houve em
Matemática.

Atés,

[]s  Samuel








Universidade Federal da Bahia - http://www.portal.ufba.br




--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,  
envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/93c4848f-428c-4982-878e-61af14ca8434%40dimap.ufrn.br.




--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20161221203152.Horde.xToUcho9Pd4gLHTn5s1kig3%40webmail.ime.usp.br.

[Logica-l] Concurso Aberto IME-USP - Departamento de Matematica: 2 vagas, RDIDP

[hugomar]

Caros colegas,

Demorou, mas finalmente a Matemática do IME-USP tem um concurso aberto
para ingresso na carreira RDIDP!
São 2 vagas, sem taxas de inscrição e inscrição feita on-line. (vejam
mensagem abaixo).
Edital em  
https://www.ime.usp.br/images/arquivos/concursos/docentes/2017/EditalDoutorMAT2cargos_2017.pdf


Peço para que divulguem entre seus conhecidos Lógicos/Conjuntistas (do
Brasil ou do exterior) para que se inscrevam: vai ser uma ótima termos
mais representantes aqui no departamento!

Abraços,
Hugo



-- Forwarded message --
From: dire...@ime.usp.br
Date: Thu, 11 May 2017 16:08:04 -0300
Subject: [g-mat] Concurso Aberto IME-USP - Departamento de Matematica
To: todo...@ime.usp.br


Prezados,

A pedido do Prof. Artur Hideyuki Tomita, Chefe do Departamento de  
Matemática, segue mensagem referente à abertura de concurso público  
para provimento de 02 (dois) cargos no MAT.



Att.,
Fabiana Oliveira
Secretária da Diretoria


Boa tarde,



Favor divulgar para possíveis interessados e também aos seus contatos  
em outras instituições.


Concurso de Professor Doutor MS-3 em RDIDP para provimento de 02(dois)  
cargos no Departamento de Matemática do IME-USP.


As inscrições são somente on-line e vão de 10/05 a 07/08/2017.

O link para inscrição é https://uspdigital.usp.br/gr/admissao


Obs. Após entrar na janela  dos concursos abertos no IME, clicar em  
“Professor Doutor do Departamento de Matemática” e então clicar em  
“Inscrição”  para iniciar o processo, e  para acessar o edital clicar  
em “Detalhes” (cópia do edital em anexo)


Em caso de dúvidas, procurar a secretaria da diretoria do IME.



Atenciosamente,

Artur Tomita
Chefe do Departamento de Matemática
IME-USP


--
Fabiana Oliveira
Secretária da Diretoria
Instituto de Matemática e Estatística
Universidade de São Paulo
Fone: +55 11 3091-6101/6102




___
g-mat mailing list
g-...@lists.ime.usp.br
https://lists.ime.usp.br/listinfo/g-mat


--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20170606104519.Horde.4d3DRfjDC3DTY3fKH5j9Fg1%40webmail.ime.usp.br.

Re: [Logica-l] Uma noticia de profundissimo pesar

[hugomar]

Caro João Marcos,

É com profundo pesar que fico a par do acontecido.
Não há muito que se possa ser dito, só a esperança que todo o carinho  
recebido dos amigos possa aliviar um pouco este momento de choque.

Muita força para quem fica, muita luz para quem precisou partir.
Forte abraço,
Hugo

Citando yuri lumer :


Poxa, que tristeza. Tão jovem. Meus pêsames aos familiares e amigos.

Em 26 de ago de 2017 14:02, "Walter Carnielli" 
escreveu:


Colegas e amig@s:


Achei que me cabia, por estar sabendo, repassar a  estarrecedora   e
pesarorosa
noticia sobre a tragédia que envolveu
nossa querida  colega Carol Blasio, organizadora desta lista:


https://www.acidadeon.com/campinas/cotidiano/NOT,1,1,1270220
,Vitimas+eram+professora+e+estudante+do+IFCH+da+Unicamp.aspx

Estou sem palavras, manifesto aqui meu mais profundo pesar ao Joao,  que
estaria chegando da Suecia para Bochum,  à filhinha Maia, a familia e aos
colegas.

Walter



--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/
dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/
dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Ms9Bk9Wng4yGxm88mks-
9uqfRuMuxk-zzY3pmtg7%2BPXA%40mail.gmail.com

.



--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,  
envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOma1U%2Bt%2BRDJsYamQt11tS6AR%2BRD3BXEzq3mkaJm7gCzELwwKw%40mail.gmail.com.




--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20170827203518.Horde.CKVLNnMTPr8cqiuntRmBsw1%40webmail.ime.usp.br.

Re: [Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

[hugomar]

Oi Samuel,

Parabens! E, por favor, tambem transmita meus parabens a toda a Equipe  
de Logica e Topologia da UFBA (Andreas, Ciro, Marcelo, Andrey, Marco,  
Leandro e Darllan)- a maior em departamentos de Matematica do Brasil!


Forte abraço,
Hugo

Citando Samuel Gomes da Silva :


Prezados,

Após uma longa espera de três meses, recebemos hoje a resposta  
confirmando: finalmente existe agora a possibilidade dos  
pesquisadores da área de Lógica Matemática

da UFBA orientarem Doutoramentos em Matemática na área de Lógica.

(Sim, apesar de estarmos estabelecidos e reconhecidos até  
internacionalmente já há vários anos, ainda não nos era *permitido*  
- sim, o termo é esse, não nos era permitido - orientar doutorados,

mas isso muda a partir do próximo semestre, 2018.1)

Nossa abertura se deu através da criação de uma área de investigação  
denominada "Álgebra, Lógica e Topologia" (em substituição da área de  
Álgebra).


Informações sobre o processo seletivo para o Doutorado em Matemática  
da UFBA em 2018.1 estão no seguinte Edital:


https://pgmat.ufba.br/sites/pgmat.ufba.br/files/edital-2018.1v1.pdf

A parte principal da seleção é uma prova de Análise na Reta e  
Análise no Rn, ou seja, o perfil a princípio deve ser alguém com  
conhecimentos de Matemática a nível de mestrado (ou que

possa obtê-los até o momento da realização da prova...).

Divulgamos a nossa proposta para abertura da área no ResearchGate,  
nessa proposta estão descritas nossas linhas de pesquisa:


https://www.researchgate.net/publication/318649544_Proposal_to_create_the_area_of_concentration_Mathematical_Logic_at_Math_PhD_Programme_UFBAUFAL_-_In_Portuguese

So, let us spread the word.

Aproveito para agradecer a todos os colegas que vêm acompanhando  
nossa luta de anos por mais espaço para a Lógica Matemática aqui na  
UFBA.


Até mais,

[]s Samuel




--
Você está recebendo esta mensagem porque se inscreveu no grupo  
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,  
envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em  
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse  
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/53855411.43436436.1509131775790.JavaMail.zimbra%40ufba.br.




--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20171028181210.Horde.SoWEdk05x_lMNny7VxV06g6%40webmail.ime.usp.br.