[Logica-l] Fwd: ERCIM News No. 91 published - special theme: "What is Computation? — Alan Turing’s Legacy"

2012-10-10 Por tôpico Joao Marcos
-- Forwarded message -- Dear ERCIM News Reader, ERCIM News No. 91 has just been published at http://ercim-news.ercim.eu/ Special Theme: "What is Computation? — Alan Turing’s Legacy" Guest editors: Gilles Dowek, Inria, and Samson Abramsky, University of Oxford http://ercim-news.e

[Logica-l] São Paulo indo para UNILOG'2013

2012-10-10 Por tôpico jean-yves beziau
As pessoas do Estado de São Paulo querendo participar do UNILOG'2013 tem que entrar em contato assim que possivel com a Prof. Itala D'Ottaviano it...@cle.unicamp.br indicando: Nome: Universidade: Posição: Atividade no UNILOG'2013: Data de chegada: Data de saida: Jean-Yves Beziau e Alexandre Costa-

[Logica-l] Fwd: Mathematics: Discovery or Invention?

2012-10-10 Por tôpico Desidério Murcho
-- Forwarded message -- From: Think Date: Wed, Oct 10, 2012 at 7:23 AM Subject: Mathematics: Discovery or Invention? To: desiderio.mur...@gmail.com Is this email not displaying correctly? View it in your browser

[Logica-l] STW 2013 - In honour of Prof. Ofelia Alas (Pre-announcement)

2012-10-10 Por tôpico samuel
Please, feel free to duplicate. **PRE-ANNOUNCEMENT** STW 2013 - Brazilian Conference on General Topology and Set Theory In honour of Prof. Ofelia Alas on the occasion of her 70th birthday. Date: 12-16 August, 2013 Beach Hotel Maresias, Sao Sebastiao, Sao Paulo,

Re: [Logica-l] STW 2013 - In honour of Prof. Ofelia Alas (Pre-announcement)

2012-10-10 Por tôpico Valeria de Paiva
Parabens Samuel por estar mantendo a tradicao de STW 2013 - Brazilian Conference on General Topology and Set Theory muito legal mesmo! e super parbens pra Ofelia por ter alunos tao dedicados. Valeria On Wed, Oct 10, 2012 at 7:47 AM, wrote: > Please, feel free to duplicate. > > > **

Re: [Logica-l] STW 2013 - In honour of Prof. Ofelia Alas (Pre-announcement)

2012-10-10 Por tôpico Famadoria
Admiro muito a Ofelia. Sent from my iPhone On 10/10/2012, at 12:35, Valeria de Paiva wrote: > Parabens Samuel por estar mantendo a tradicao de > STW 2013 - Brazilian Conference on General Topology and Set Theory > muito legal mesmo! > > e super parbens pra Ofelia por ter alunos tao dedicados.

[Logica-l] “Nao há necessidade nenhuma de usar lógica na matemática” (Elon Lages Lima, pesquisador emérito e ex-diretor do IMPA)

2012-10-10 Por tôpico Walter Carnielli
Colegas: Neste curioso vídeo onde o povo do IMPA agora dá aulas de Lógica no YouTube: http://www.youtube.com/watch?v=y47D5GvKKeA&feature=related o conhecido analista Elon Lages Lima (IMPA) afirma categoricamente (entre 2min40s- 3 mim) que os matemáticos não precisam saber lógica. Ente outras

Re: [Logica-l] “Nao há necessidade nenhuma de usar lógica na matemática” (Elon Lages Lima, pesquisador emérito e ex-diretor do IMPA)

2012-10-10 Por tôpico Famadoria
Ouvi isso há quarenta anos. E lembro que quem me apresentou ao Newton foi o Leopoldo. Sent from my iPhone On 10/10/2012, at 23:06, Walter Carnielli wrote: > Colegas: > > Neste curioso vídeo onde o povo do IMPA agora dá aulas de Lógica no YouTube: > > http://www.youtube.com/watch?v=y47D5Gv

Re: [Logica-l] “Nao há necessidade nenhuma de usar lógica na matemática” (Elon Lages Lima, pesquisador emérito e ex-diretor do IMPA)

2012-10-10 Por tôpico Joao Marcos
> o conhecido analista Elon Lages Lima (IMPA) afirma categoricamente > (entre 2min40s- 3 mim) que os matemáticos não precisam saber lógica. > Ente outras frases: > > “Nao há necessidade nenhuma de usar lógica na matemática” Bom, o que ele diz, em contexto, é que se pode ser um matemático sem

Re: [Logica-l] STW 2013 - In honour of Prof. Ofelia Alas (Pre-announcement)

2012-10-10 Por tôpico Décio Krause
Linda Ofélia. -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 10/10/2012, às 15:

[Logica-l] Homenagem à Ofelia Teresa Alas

2012-10-10 Por tôpico Francisco Miraglia
Car@s, Uma excelente iniciativa; uma pena que lógicos não possam participar, caso contrário teria algo a contribuir. Um grande abraço à Ofélia e aos organizadores!! Chico Miraglia ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.

Re: [Logica-l] Homenagem à Ofelia Teresa Alas

2012-10-10 Por tôpico Décio Krause
Um enorme beijo à Ofélia. 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 -- Em 1

Re: [Logica-l] “Nao há necessidade nenhuma de usar lógica na matemática” (Elon Lages Lima, pesquisador emérito e ex-diretor do IMPA)

2012-10-10 Por tôpico Décio Krause
Lamentável. Assisti o vídeo e quase não reconheci o Elon de que me lembro (mas lembro de cursos e intervenções exemplares dele e, permitam-me, com todo o respeito, das filhas dele em Poços de Caldas 1977, lindas - Pace, Elon). Mas adoro os livros dele, e acho que devemos deixar que agora ele fa

Re: [Logica-l] “Nao há necessidade nenhuma de usar lógica na matemática” (Elon Lages Lima, pesquisador emérito e ex-diretor do IMPA)

2012-10-10 Por tôpico Joao Marcos
Sinceramente, não reconheço no video anteriormente apontado qualquer tipo de "desconhecimento do assunto" por parte de mestre Elon. Acho que vocês estão ouvindo mais do que foi realmente dito, e tirando as palavras dele do contexto no qual elas foram ditas. Mais ainda, recomendo vivamente a todos

Re: [Logica-l] “Nao há necessidade nenhuma de usar lógica na matemática” (Elon Lages Lima, pesquisador emérito e ex-diretor do IMPA)

2012-10-10 Por tôpico Walter Carnielli
João, eu admiro o Elon, e ele inclusive ficou do meu lado numa briga que tive no IMECC da UNICAMP, quando ganhei a bolsa da Fundaçao von Humboldt, e os palhaços da área de álgebra do IMECC não queriam liberar meu afastamento. Mas ele só ficou do meu lado porque eu fazia muita