[Logica-l] divulgando

2012-08-01 Por tôpico Rodrigo Freire
Evento na próxima semana: "Third Colloquium on Metaphysical Logic" Universidade de São Paulo, 6 - 7 de agosto, 2012. Inscrições e informações: http://www.fflch.usp.br/df/site/ (Ver a coluna "Eventos" do lado direito) Abraço Rodrigo ___ Logica-l mailin

[Logica-l] Entrevista com o matemático Ken Ono

2012-08-01 Por tôpico psdias2
Entrevista com o matemático estadunidense Ken Ono, na revista "Cálculo número 18" (creio que este número ainda esteja nas bancas): http://imgur.com/a/sz9NL#0 Paulo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailm

Re: [Logica-l] Entrevista com o matemático Ken Ono

2012-08-01 Por tôpico Valeria de Paiva
e conversas com Kurt Goedel 1972-78: http://www.rudyrucker.com/blog Conversations with Kurt Gödel July 31st, 2012 [image: Share]

[Logica-l] Palestra "Problemas Decidíveis e Problemas Indecidíveis: O Legado de Alan Turing"

2012-08-01 Por tôpico Renata de Freitas
O Grupo de Lógica Matemática da UFF convida para a palestra "Problemas Decidíveis e Problemas Indecidíveis: O Legado de Alan Turing" Ruy de Queiroz (Centro de Informática, UFPE) 09/08/2012, quinta, 16h, Sala de Semin\'arios do GAN (Instituto de Matemática e Estatística da UFF, 4o. andar) Resumo

[Logica-l] Palestra "Problemas Decidíveis e Problemas Indecidíveis: O Legado de Alan Turing"

2012-08-01 Por tôpico Renata de Freitas
O Grupo de Lógica Matemática da UFF convida para a palestra "Problemas Decidíveis e Problemas Indecidíveis: O Legado de Alan Turing" Ruy de Queiroz (Centro de Informática, UFPE) 09/08/2012, quinta, 16h, Sala de Semin\'arios do GAN (Instituto de Matemática e Estatística da UFF, 4o. andar) Resumo

[Logica-l] Logic as Calculus Versus Logic as Language

2012-08-01 Por tôpico jean-yves beziau
Foi publicado on-line ha pouco na revista Logica Universalis o artigo do Jan Wolenski "Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics" http://www.springerlink.com/content/k3l3h000q2526p64/?MUD=MP continuando a famosa

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

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

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

2012-08-01 Por tôpico Marcelo Esteban Coniglio
Parabéns para o Walter por esta merecida distinção! 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

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

2012-08-01 Por tôpico Valeria de Paiva
Parabens Walter! Muito chique! abs Valeria 2012/8/1 Marcelo Esteban Coniglio > Parabéns para o Walter por esta merecida distinção! > > 2012/8/1 Joao Marcos : > > -- Forwarded message -- > > From: Juliana Bueno-Soler > > Date: 2012/8/1 > > Subject: Walter Carnielli: indicação par

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

2012-08-01 Por tôpico Mamede Lima-Marques
Parabéns ao querido amigo Walter Carnielli pela merecida homenagem, fruto da magnífica carreira que criou com muita dedicação, entusiasmo, envolvimento e que procurou passar para todos que estivem em sua órbita de influência. -- Mamede Lima-Marques Em 01/08/2012, às 13:50, Joao Marcos escrev

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

2012-08-01 Por tôpico Décio Krause
Puxa, Walter, que bacana. Parabéns. Reconhecimento é bom. Congratulações. Abraço Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -

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

2012-08-01 Por tôpico Hercules de Araujo Feitosa
Parabéns Walter! Torcemos por ti. Mas já tens uma enorme vitória. Com carinho, Hércules. Assunto: 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 Galil

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

2012-08-01 Por tôpico Francisco Antonio Doria
Parabens, Walter! 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 > rec

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

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

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

2012-08-01 Por tôpico Mario Benevides
Walter, Parabéns pelo merecido premio. Um abraço, Mario Em 1 de agosto de 2012 15:19, gerson zaverucha escreveu: > 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

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

2012-08-01 Por tôpico Valeria de Paiva
Caro Chico, legal ler voce falando de corroboracoes, o trabalho novo do Prawitz que eu ouvi em Nancy no ano passado. >Uma nota final: Provas (no sentido usual) são apenas UMA forma de corroboração. e concordo que fraco/forte sao nocoes que a gente esta' sempre tendo problemas, pois as intuicoes s

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

2012-08-01 Por tôpico Ruy de Queiroz
Parabéns, Walter! Em 1 de agosto de 2012 13:50, Joao Marcos escreveu: -- 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 Carn

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

2012-08-01 Por tôpico Pedro H. Zambrano
Parabéns Walter! Grande abraço da Colômbia! Pedro. 2012/8/1 Ruy de Queiroz > Parabéns, Walter! > > Em 1 de agosto de 2012 13:50, Joao Marcos escreveu: > > -- Forwarded message -- > > From: Juliana Bueno-Soler > > Date: 2012/8/1 > > Subject: Walter Carnielli: indicação para me

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

2012-08-01 Por tôpico Carlos Gonzalez
Parabéns Walter, pela merecida premiação, fruto de notáveis contribuições à lógica. É uma honra para todos nós ter um colega de primeiro nível internacional na pesquisa como você. Abraços Carlos 2012/8/1 Joao Marcos : > -- Forwarded message -- > From: Juliana Bueno-Soler > Date

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

2012-08-01 Por tôpico josé carlos cifuentes
Walter, meus parabens e também de parte de Blanca por esta homenagem que nos "enorgullece". Apenas soube enviei a mensagem a Blanca que se encontra em Peru, mas já volta semana que vem. Um grande abraço. Cifa Em 1 de agosto de 2012 16:04, Carlos Gonzalez escreveu: > Parabéns Walter, pela merecid

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

2012-08-01 Por tôpico Quelen Manske
Parabéns Prof. Walter, Algumas vezes os esforços e a genialidade são reconhecidas. Fico feliz que estas suas características sejam reconhecidas. Desfrute ao máximo esse reconhecimento. Com carinho e adimiração,Quélen Manske > Date: Wed, 1 Aug 2012 16:37:38 -0300 > From: jcc...@gmail.com > To:

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

2012-08-01 Por tôpico Julio Stern
Parabens ao Walter, e parabens ao CLE e aa UNICAP, por mais esta bela e merecida vitoria! ---Julio Stern > From: qman...@hotmail.com > To: jcc...@gmail.com; gonza...@gmail.com > Date: Wed, 1 Aug 2012 19:45:09 + > CC: filonict...@yahoo.com; logica-l@dimap.ufrn.br; walter.carnie...@gm

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

2012-08-01 Por tôpico ana
Meus parabéns, Walter, bem merecido mesmo. Bjs Ana > Walter, > > Parabéns pelo merecido premio. > > Um abraço, > > Mario > > Em 1 de agosto de 2012 15:19, gerson zaverucha > escreveu: > >> Parabens Walter! >> Belo reconhecimento. >> Gostaria de esclarecer que o Walter ganhou o premio (nao foi "a

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

2012-08-01 Por tôpico Francisco Miraglia
Caro Walter, Minhas congratulações !! Um grande abraço, Chico Miraglia Citando Décio Krause : Puxa, Walter, que bacana. Parabéns. Reconhecimento é bom. Congratulações. Abraço Décio -- Décio Krause Departamento de Filosofia Universi

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

2012-08-01 Por tôpico Francisco Miraglia
Cara Valéria, Obrigado pela tua mensagem; penso que voce captou bem o "jeitão"da minha intuição. Na realidade, estou dividindo com voces de modo ainda muito impreciso, uma idéia. Assim, "infinetesimal"é sugerido pela expressão formal, onde C = P_1 + P_2 + ... + P_n é uma corroboração de P C < P