[Logica-l] ICM 2018: Conferência de Lógica Matemática

2018-08-07 Por tôpico Bruno Lopes 
Prezados associados,

A SBL informa que a programação já está disponível na página da conferência
satélite.

http://www.dlmpst.org/pages/activities/icm-2018-satellite.php

Convidamos a todos, principalmente os que se encontram no entorno da Baía
de Guanabara, a participar do primeiro evento satélite de lógica do ICM. O
evento ocorre sexta e sábado (10 e 11 de agosto) no auditório do Museu de
Arte Contemporânea (MAC) de Niterói. Em caso de dúvidas, não hesitem em nos
contactar.

-- 
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/CAFfvUVi6KLfdQpRajHKN451w4dYgtJVYjT7NzS2CR6oW0TY16A%40mail.gmail.com.

[Logica-l] Pontos altos de ontem do ICM2018, o IMPA e a matemática no Brasil

2018-08-07 Por tôpico Walter Carnielli 
Caros colegas,

Acho esse assunto interessante e reluto em colocá-lo como offtopic mas se
alguém protestar,  concordarei.

Os pontos altos de ontem segundo minha opinião pessoal (não é
necessariamente o mais importante, mas  l o que mais me impactou):


Caucher Birkar deu uma excelente conferência, recheada de resultados de
alto nível, e terminou citando Michael Atiyah:


" A mathematician without a dream is not a mathematician"


Cédric Villani delivers public lecture on the “age of the earth”
Essa foi, na minha opinião, decepcionante. Villani é medalha Fields 2010,
mas não falou nada do seu próprio trabalho,  fez uma coisa escolar ao nível
da Superinteressante.

Uma decepção na minha opinião.
Artur Ávila poderia tê-lo substituido muitíssimo melhor.


Sir Michael Atiyah, aos 89 anos, fez uma brilhante conferência, cheia de
bom humor, sentado em sua cadeira de rodas.


Com um  corajoso apanhado das grandes questões da matemática e da física,
um pouco (embora menos técnico)  como Hilbert no famoso Congresso
Internacional de Matemática de 1900,  Atiyah falou de física, geometria,
álgebra,  lógica e computabilidade- embora tenha dito que Gödel foi um
"crazy mathematician", falou de tudo realmente

===

Minha crítica (repassada ao Comitê Organizador):


Minha impressao é que o comitê organizado e o IMPA  fizeram muito pouco
para promover a matema¡tica brasileira neste evento, que será certamente a
última vez a ser feito no pais (pelo menos dentro de varios anos).

O Brasil tem muitos matemáticos em diversas áreas que ficaram nas sombras,
pessoas que trabalham com fundamentos da matematica e mesmo com a filosofia
da matemática, que sequer foram lembrados.

Nao foi feita nenhuma tentativa de unir ou de promover, divulgar ou
qualquer coisa com intencao de incentivo.

 Esta sendo, como muita gente está dizendo, um congresso "essencialmente
p-adico".

==
Walter

-- 
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/CA%2Bob58OwR%3Dyfu0sKGOr-XfekyYoAhdVWBJRo_9mQMJ_f59panA%40mail.gmail.com.

Re: [Logica-l] Why do we teach logic?

2018-08-07 Por tôpico Walter Carnielli 
 Não necessariamente, Rogério.
Melhorando a capacidade de escrita e argumentacao  você melhora sua
habilidade intelectual, como você melhoraria  aprendendo chinês  ou tocando
violino.

Mas não necessariamente melhora sua capacidade de jogar xadrez, demonstrar
teoremas, ou  resolver quebra-cabeças lógicos.

São coisas complementares, mas não exatamente coincidentes.

 Contudo, não sou nenhum especialista nisso,  apenas expresso minha
opinião,fundamentada  dentro do possível.

Abraços
Walter

Em ter, 7 de ago de 2018 09:40, Rogério Braga 
escreveu:

> Walter,
>
> Quando você melhora a capacidade de escrita e argumentação você não está
> melhorando habilidades de pensamento?
>
> Você poderia me ajudar a entender seu ponto de vista?
>
> Abraços.
>
> Rogério Braga-
>
> Em segunda-feira, 6 de agosto de 2018 12:58:51 UTC-3, Walter Carnielli
> escreveu:
>>
>> Acho que esse artigo é  bullshit. Ninguém diz que estudar filosofia
>> significa "improving one’s thinking skills".
>>
>> O que se melhora  é a capacidade de escrita e de argumentação, que é
>> outra coisa.
>>
>> Abs
>>
>> Walter
>>
>> Em seg, 6 de ago de 2018 11:53, Giselle Reis 
>> escreveu:
>>
>>> Isso me lembrou do seguinte texto que já circulou por aqui:
>>>
>>>
>>> http://quillette.com/2017/07/01/study-philosophy-improve-thinking-case-false-advertising/
>>>
>>> "But wait, doesn’t philosophy focus very heavily on logic, analysis of
>>> arguments, fostering a critical approach, etc.? Shouldn’t this fact alone
>>> make us expect that exposure to philosophy would almost certainly lead to
>>> some improvement in thinking and reasoning skills? Not necessarily."
>>>
>>> Eu gostaria muito de acreditar no que a Sara diz e é com um pensamento
>>> parecido que organizo o curso de lógica construtiva (sem deixar de ter
>>> algumas aulas sobre um pouco de história, motivação, e outras lógicas). Mas
>>> seria bom ter evidências mais concretas de que o treinamento em métodos
>>> formais resulta em um raciocínio mais estruturado (em geral).
>>>
>>> []s
>>> Giselle
>>>
>>> On Fri, Aug 3, 2018 at 1:41 PM Alexandre Rademaker 
>>> wrote:
>>>

 But the primary goal, the one thing that I really want my students to
 come away with, is not any skill at symbolisation and truth-tables, but
 rather a method of thinking which involves minute and precise attention to
 detail and which involves an ability to reason from and manipulate
 definitions.


 http://diaryofdoctorlogic.blogspot.com/2016/11/why-do-we-teach-1st-year-philosophers.html?m=1

 If you teach intro logic (as a required course or not), what do *you* think
 the point of it is?




 Sent from my iPhone

 --
 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+u...@dimap.ufrn.br.
 Para postar nesse grupo, envie um e-mail para logi...@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/BE0C953E-0C98-43CA-9DB6-E02416E496D5%40gmail.com
 
 .

>>> --
>>> 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+u...@dimap.ufrn.br.
>>> Para postar nesse grupo, envie um e-mail para logi...@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/CAEkozwMyWNu3dkkWfc6Z%2BD_PCkTttq79aJbzn-_3vRPA-9ccZw%40mail.gmail.com
>>> 
>>> .
>>>
>> --
> 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/54e03913-59fe-4fba-ae70-8fcf9988ec33%40dimap.ufrn.br
> 
> .
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse

Re: [Logica-l] Why do we teach logic?

2018-08-07 Por tôpico Rogério Braga 
Walter,

Quando você melhora a capacidade de escrita e argumentação você não está 
melhorando habilidades de pensamento?

Você poderia me ajudar a entender seu ponto de vista?

Abraços.

Rogério Braga-

Em segunda-feira, 6 de agosto de 2018 12:58:51 UTC-3, Walter Carnielli 
escreveu:
>
> Acho que esse artigo é  bullshit. Ninguém diz que estudar filosofia 
> significa "improving one’s thinking skills".
>
> O que se melhora  é a capacidade de escrita e de argumentação, que é outra 
> coisa.
>
> Abs
>
> Walter
>
> Em seg, 6 de ago de 2018 11:53, Giselle Reis  > escreveu:
>
>> Isso me lembrou do seguinte texto que já circulou por aqui:
>>
>>
>> http://quillette.com/2017/07/01/study-philosophy-improve-thinking-case-false-advertising/
>>
>> "But wait, doesn’t philosophy focus very heavily on logic, analysis of 
>> arguments, fostering a critical approach, etc.? Shouldn’t this fact alone 
>> make us expect that exposure to philosophy would almost certainly lead to 
>> some improvement in thinking and reasoning skills? Not necessarily."
>>
>> Eu gostaria muito de acreditar no que a Sara diz e é com um pensamento 
>> parecido que organizo o curso de lógica construtiva (sem deixar de ter 
>> algumas aulas sobre um pouco de história, motivação, e outras lógicas). Mas 
>> seria bom ter evidências mais concretas de que o treinamento em métodos 
>> formais resulta em um raciocínio mais estruturado (em geral).
>>
>> []s
>> Giselle
>>
>> On Fri, Aug 3, 2018 at 1:41 PM Alexandre Rademaker > > wrote:
>>
>>>
>>> But the primary goal, the one thing that I really want my students to 
>>> come away with, is not any skill at symbolisation and truth-tables, but 
>>> rather a method of thinking which involves minute and precise attention to 
>>> detail and which involves an ability to reason from and manipulate 
>>> definitions.
>>>
>>>
>>> http://diaryofdoctorlogic.blogspot.com/2016/11/why-do-we-teach-1st-year-philosophers.html?m=1
>>>
>>> If you teach intro logic (as a required course or not), what do *you* think 
>>> the point of it is?
>>>
>>>
>>>
>>>
>>> Sent from my iPhone
>>>
>>> -- 
>>> 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+u...@dimap.ufrn.br .
>>> Para postar nesse grupo, envie um e-mail para logi...@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/BE0C953E-0C98-43CA-9DB6-E02416E496D5%40gmail.com
>>>  
>>> 
>>> .
>>>
>> -- 
>> 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+u...@dimap.ufrn.br .
>> Para postar nesse grupo, envie um e-mail para logi...@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/CAEkozwMyWNu3dkkWfc6Z%2BD_PCkTttq79aJbzn-_3vRPA-9ccZw%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/54e03913-59fe-4fba-ae70-8fcf9988ec33%40dimap.ufrn.br.