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

2011-06-29 Por tôpico 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

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

2012-03-27 Por tôpico 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 cur

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

2012-03-28 Por tôpico 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 do

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

2012-03-28 Por tôpico 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

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

2012-03-31 Por tôpico 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,

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

2012-03-31 Por tôpico 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 propost

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

2012-03-31 Por tôpico 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

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

2012-03-31 Por tôpico 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 c

Re: [Logica-l] Tradicao vs Innovacao

2012-03-31 Por tôpico 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 mobilizaca

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

2012-04-01 Por tôpico 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

[Logica-l] Qualis-Logica: questionamentos

2012-04-04 Por tôpico 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 comun

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

2012-04-08 Por tôpico 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 fund

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

2012-04-09 Por tôpico 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 a

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

2012-04-12 Por tôpico 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

Re: [Logica-l] qualis 2012

2012-06-14 Por tôpico 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

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

2012-06-15 Por tôpico 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 man

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

2012-06-16 Por tôpico 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

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

2012-08-02 Por tôpico 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 vide

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

2016-09-10 Por tôpico 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). Nest

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

2016-12-21 Por tôpico 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

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

2017-06-06 Por tôpico 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/EditalDoutorMAT

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

2017-08-27 Por tôpico 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 Cit

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

2017-10-28 Por tôpico 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