[Logica-l] Fwd: categories: CTCS available online

2012-08-02 Por tôpico Valeria de Paiva
Boa noticia na mailing list "Categories" -- Forwarded message -- From: Michael Barr Date: Thu, Aug 2, 2012 at 11:08 AM Subject: categories: CTCS available online To: Categories list The book, Category Theory for Computing Science, is now available for free download. Point you

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

2012-08-02 Por tôpico Valeria de Paiva
Ok, agora entendi a intencao completamente. e e' concordo plenamente que tem muita matematica interessante pra ser feita com essas ideias, quaisquer que sejam os nomes que a gente de^ a elas... Abraco grande, Valeria 2012/8/2 Francisco Miraglia > Cara Valéria, > > Mas também tem o sentido de

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

2012-08-02 Por tôpico Francisco Miraglia
Cara Valéria, Mas também tem o sentido de repetir o óbvio, com o objetivo deixar de lado a questão central. Entretanto, talvez o mais apropriado mesmo seja o nome utilizado por Ken Lopez-Escobar: a lei da PROCRASTINAÇÃO (the procrastination law: from P one is allowed to conclude P). Este é um ex

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

2012-08-02 Por tôpico Jorge Alberto Molina
Parabéns Walter. Fico muito feliz pela sua premiação. Um forte abraço. Jorge Molina De: logica-l-boun...@dimap.ufrn.br [logica-l-boun...@dimap.ufrn.br] em nome de josé carlos cifuentes [jcc...@gmail.com] Enviado: quarta-feira, 1 de agosto de 2012 16:37 Pa

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

2012-08-02 Por tôpico Valeria de Paiva
oi Chico, obrigada pela messagem e pela explicacao sobre o "way below". mas agora encafifei com: >é posível aceitar que P corrobore P (a lei da tergiversação), mas não seria razável que P fosse "infintesimal" em relação a si próprio. "tergiversação" nao significa sair do assunto, de forma erudita

Re: [Logica-l] [L&C] H-Index de Conferências

2012-08-02 Por tôpico Christiano Braga
Pessoal, adicionei o LSFA 2006 ao BDBComp com os pdfs. O link é: http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Evento?id=427. Disponibilizei os anais em http://www.ic.uff.br/~cbraga/lsfa-06-proceedings.pdf.zip. Christiano On Jul 30, 2012, at 10:21 AM, Adolfo Neto wrote: > Olá,

[Logica-l] On's vs Un's

2012-08-02 Por tôpico Joao Marcos
Com o advento e o sucesso de Coursera, Udacity e outros projetos similares, vale colocar a questão: Will on-line courses destroy universities? http://rjlipton.wordpress.com/2012/07/17/an-education-tsunami/ "Have you used online courses? Will you use them in the future? Are universities in trouble?

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

2012-08-02 Por tôpico Andrea Loparic
Oi Walter, Eu também mandei os parabéns , só que, como já aconteceu de outras vezes, cliquei no "Responder" e não no "Responder a todos" veja a cópia abaixo: === Andrea Loparic 17:11 (18 horas atrás) para Quelen Walter, Receba meu abraço de parabé

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

2012-08-02 Por tôpico Walter Carnielli
Pessoal, Meus sinceros agradecimentos aos caríssimos colegas, colaboradores, estudantes e amigos (todos com intersecao dois-a-dois não vazias!) Amílcar, Cristina Caleiro (amigos lisboetas), Valéria, Sandra, Ana Teresa, Gerson, Hugo, Finger, Mamede, Coniglio , João Marco, Chico Miraglia, C

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