Re: [Logica-l] Fwd: Logic Journal of the IGPL Advance articles

[Valeria de Paiva]

Obrigada, Marcelo e Doria, pelas mensagens simpaticas!

no aeroporto indo pra Iceland pra Primeira Workshop "Women in Logic"

https://sites.google.com/site/firstwomeninlogicworkshop/,

associada ao LiCS.

a gente tenta, ne?

abracos,
Valeria


On Fri, Jun 16, 2017 at 2:56 PM, Francisco Antonio Doria <
famado...@gmail.com> wrote:

> Digo o mesmo!
>
> On Fri, Jun 16, 2017 at 6:50 PM, Marcelo Finger 
> wrote:
>
>>
>> Parabéns aos autores!
>>
>> []s
>>
>>
>> -- Forwarded message --
>> From: Oxford University Press 
>> Date: 16 June 2017 at 18:06
>> Subject: Logic Journal of the IGPL Advance articles
>> To: mfin...@ime.usp.br
>>
>>
>>
>>
>> 
>>
>>
>> [image: oxford_logo.jpg]
>> 
>>
>>
>> [image: Logic Journal of the IGPL]
>>
>>
>> Advance articles alert
>>
>> 15 June 2017 - 16 June 2017
>>
>> [image: button-advance.png]
>> 
>>
>>
>>
>>
>> 
>>
>>
>> Dialectica categories, cardinalities of the continuum and combinatorics
>> of ideals 
>>
>> Samuel G. da Silva ;
>> Valeria C. V. de Paiva
>> 
>>
>> Unsubscribe 
>>   Manage email alerts
>> 
>>
>> Written requests to unsubscribe can be sent to: Journals Marketing,
>> Oxford University Press, Great Clarendon Street, Oxford, OX2 6DP, UK.
>>
>> The content of this email is protected by copyright.
>>
>> [image: oxforde_university.jpg]
>> 
>>
>>
>>
>> 
>>
>>
>>
>>
>>
>>
>> This email is intended for mfin...@ime.usp.br.
>>
>>
>>
>> --
>>  Marcelo Finger
>>  Departament of Computer Science, IME
>>  University of Sao Paulo
>>  http://www.ime.usp.br/~mfinger
>>
>> --
>> 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/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/CABqmzx1r93vopqZKJEa6ZSHqRFRtnG
>> pHnXaLB_jUkdZnN5LfGA%40mail.gmail.com
>> 
>> .
>>
>
>
>
> --
> fad
>
> ahhata alati, awienta Wilushati
>
> --
> 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/CA%2BuR7BJdsC5dSau2uTVw9Xi3GHPHrb
> zO7urkQEgqouJgCrUNBw%40mail.gmail.com
> 
> .
>



-- 
Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/

-- 
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/CAESt%3DXvHEv-n1do_-YOs9nbZf7gm56sK2KNTgqgeKvnyKvXwrA%40mail.gmail.com.

Re: [Logica-l] Lista de Speakers - Painel de Lógica e Fundamentos - ICM 2018

[Eduardo Ochs]

O Newton tem falado sempre de improviso, né? Eu assisti uma palestra de uma
hora dele num EBL que foi uma bagunça total, foi a segunda pior palestra
que eu já assisti na vida... a pior foi uma do Arnaldo Garcia, um
algebrista do IMPA...

On 16 Jun 2017 22:55, "Ricardo Grande"  wrote:

Acrescento o meu voto de 'lamentável' aí.
Abraços, r.

Em 16 de junho de 2017 21:36, Evandro L. Gomes  escreveu:

> Só tem gringo!
>
> Como se a comunidade brasileira de lógica não fosse importante.
>
> Acho um absurdo.
>
> Em 16/06/2017 9:33 PM, "Walter Carnielli" 
> escreveu:
>
> Lamentavel que nao  nos convidem  a nos todos...
>
> Em 16 de jun de 2017 17:29, "Famadoria"  escreveu:
>
>> Lamentável que não convidem o Newton.
>>
>> Sent from my iPhone
>>
>> On 16 Jun 2017, at 15:31, 'Samuel Gomes' via LOGICA-L <
>> logica-l@dimap.ufrn.br> wrote:
>>
>>  Caros,
>>
>> Recebi hoje um email divulgando a lista de todos os plenary/invited
>> speakers do próximo Encontro Mundial de Matemáticos (ICM 2018), que vai
>> ocorrer no Rio de Janeiro
>> no ano que vem.
>>
>> Vejam a lista completa no link:
>>
>> http://www.icm2018.org/portal/en/icm-speakers
>>
>> A lista dos speakers do Painel de Lógica e Fundamentos é a seguinte:
>>
>> *Speakers:*
>>
>>- Jochen Koenigsmann (UK)
>>- Joris van der Hoeven (France), Lou van den Dries (USA) and Matthias
>>Aschenbrenner (USA)
>>- Maryanthe Malliaris (USA)
>>- Stephen Jackson (USA)
>>- Ulrich Kohlenbach (Germany)
>>
>>
>> Um detalhe: em Setembro do ano passado houve uma conversa com o Marcelo
>> Viana durante o Encontro Brasil-Itália no IMPA, e fomos
>>
>> informados que a escolha dos speakers de cada painel é decidido por uma
>> comissão sigilosa que é formada pela IMU (União Matemática
>>
>> Internacional), então realmente a comunidade brasileira de lógica não
>> tinha muito mesmo como sugerir nomes para essa sessão.
>>
>>
>> Observo, porém, que a partir de setembro haverá submissões para posters e
>> comunicações curtas (creio que 20 minutos), então a
>>
>> comunidade brasileira de lógica terá a oportunidade de participar do
>> evento através dessas apresentações. Serão aceitos trabalhos de qualquer
>>
>> uma das 19 áreas que compõem os painéis (e o painel 1 é exatamente o de
>> Lógica e Fundamentos). Vejam detalhes em:
>>
>>
>> http://www.icm2018.org/portal/en/news29
>>
>>
>> Atés,
>>
>>
>> []s  Samuel
>>
>>
>>
>>
>>
>> --
>> 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/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/2139cb4b-9fac-4d65-9ad2-00a6d38
>> c859b%40dimap.ufrn.br
>> 
>> .
>>
>> --
>> 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/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/D295DDC1-41A2-44AF-B983-3BDC3AC
>> FA360%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+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/di
> map.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
> map.ufrn.br/d/msgid/logica-l/CA%2Bob58OtzJmymOsdA96YeCfkp%2B
> H1OOWq8D7ZPKVRaopfUPWXeQ%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 

Re: [Logica-l] Lista de Speakers - Painel de Lógica e Fundamentos - ICM 2018

[Ricardo Grande]

Acrescento o meu voto de 'lamentável' aí.
Abraços, r.

Em 16 de junho de 2017 21:36, Evandro L. Gomes  escreveu:

> Só tem gringo!
>
> Como se a comunidade brasileira de lógica não fosse importante.
>
> Acho um absurdo.
>
> Em 16/06/2017 9:33 PM, "Walter Carnielli" 
> escreveu:
>
> Lamentavel que nao  nos convidem  a nos todos...
>
> Em 16 de jun de 2017 17:29, "Famadoria"  escreveu:
>
>> Lamentável que não convidem o Newton.
>>
>> Sent from my iPhone
>>
>> On 16 Jun 2017, at 15:31, 'Samuel Gomes' via LOGICA-L <
>> logica-l@dimap.ufrn.br> wrote:
>>
>>  Caros,
>>
>> Recebi hoje um email divulgando a lista de todos os plenary/invited
>> speakers do próximo Encontro Mundial de Matemáticos (ICM 2018), que vai
>> ocorrer no Rio de Janeiro
>> no ano que vem.
>>
>> Vejam a lista completa no link:
>>
>> http://www.icm2018.org/portal/en/icm-speakers
>>
>> A lista dos speakers do Painel de Lógica e Fundamentos é a seguinte:
>>
>> *Speakers:*
>>
>>- Jochen Koenigsmann (UK)
>>- Joris van der Hoeven (France), Lou van den Dries (USA) and Matthias
>>Aschenbrenner (USA)
>>- Maryanthe Malliaris (USA)
>>- Stephen Jackson (USA)
>>- Ulrich Kohlenbach (Germany)
>>
>>
>> Um detalhe: em Setembro do ano passado houve uma conversa com o Marcelo
>> Viana durante o Encontro Brasil-Itália no IMPA, e fomos
>>
>> informados que a escolha dos speakers de cada painel é decidido por uma
>> comissão sigilosa que é formada pela IMU (União Matemática
>>
>> Internacional), então realmente a comunidade brasileira de lógica não
>> tinha muito mesmo como sugerir nomes para essa sessão.
>>
>>
>> Observo, porém, que a partir de setembro haverá submissões para posters e
>> comunicações curtas (creio que 20 minutos), então a
>>
>> comunidade brasileira de lógica terá a oportunidade de participar do
>> evento através dessas apresentações. Serão aceitos trabalhos de qualquer
>>
>> uma das 19 áreas que compõem os painéis (e o painel 1 é exatamente o de
>> Lógica e Fundamentos). Vejam detalhes em:
>>
>>
>> http://www.icm2018.org/portal/en/news29
>>
>>
>> Atés,
>>
>>
>> []s  Samuel
>>
>>
>>
>>
>>
>> --
>> 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/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/2139cb4b-9fac-4d65-9ad2-00a6d38
>> c859b%40dimap.ufrn.br
>> 
>> .
>>
>> --
>> 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/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/D295DDC1-41A2-44AF-B983-3BDC3AC
>> FA360%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+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/di
> map.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
> map.ufrn.br/d/msgid/logica-l/CA%2Bob58OtzJmymOsdA96YeCfkp%2
> BH1OOWq8D7ZPKVRaopfUPWXeQ%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/CANa0U%3DoqPpjHMaBcDivoJV5-
> s4E9Yd5SuLKncwcU%3DKeveGmuEw%40mail.gmail.com
> 

Re: [Logica-l] Lista de Speakers - Painel de Lógica e Fundamentos - ICM 2018

[Walter Carnielli]

Lamentavel que nao  nos convidem  a nos todos...

Em 16 de jun de 2017 17:29, "Famadoria"  escreveu:

> Lamentável que não convidem o Newton.
>
> Sent from my iPhone
>
> On 16 Jun 2017, at 15:31, 'Samuel Gomes' via LOGICA-L <
> logica-l@dimap.ufrn.br> wrote:
>
>  Caros,
>
> Recebi hoje um email divulgando a lista de todos os plenary/invited
> speakers do próximo Encontro Mundial de Matemáticos (ICM 2018), que vai
> ocorrer no Rio de Janeiro
> no ano que vem.
>
> Vejam a lista completa no link:
>
> http://www.icm2018.org/portal/en/icm-speakers
>
> A lista dos speakers do Painel de Lógica e Fundamentos é a seguinte:
>
> *Speakers:*
>
>- Jochen Koenigsmann (UK)
>- Joris van der Hoeven (France), Lou van den Dries (USA) and Matthias
>Aschenbrenner (USA)
>- Maryanthe Malliaris (USA)
>- Stephen Jackson (USA)
>- Ulrich Kohlenbach (Germany)
>
>
> Um detalhe: em Setembro do ano passado houve uma conversa com o Marcelo
> Viana durante o Encontro Brasil-Itália no IMPA, e fomos
>
> informados que a escolha dos speakers de cada painel é decidido por uma
> comissão sigilosa que é formada pela IMU (União Matemática
>
> Internacional), então realmente a comunidade brasileira de lógica não
> tinha muito mesmo como sugerir nomes para essa sessão.
>
>
> Observo, porém, que a partir de setembro haverá submissões para posters e
> comunicações curtas (creio que 20 minutos), então a
>
> comunidade brasileira de lógica terá a oportunidade de participar do
> evento através dessas apresentações. Serão aceitos trabalhos de qualquer
>
> uma das 19 áreas que compõem os painéis (e o painel 1 é exatamente o de
> Lógica e Fundamentos). Vejam detalhes em:
>
>
> http://www.icm2018.org/portal/en/news29
>
>
> Atés,
>
>
> []s  Samuel
>
>
>
>
>
> --
> 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/2139cb4b-9fac-4d65-9ad2-
> 00a6d38c859b%40dimap.ufrn.br
> 
> .
>
> --
> 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/D295DDC1-41A2-44AF-B983-
> 3BDC3ACFA360%40gmail.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/CA%2Bob58OtzJmymOsdA96YeCfkp%2BH1OOWq8D7ZPKVRaopfUPWXeQ%40mail.gmail.com.

Re: [Logica-l] Fwd: Logic Journal of the IGPL Advance articles

[Francisco Antonio Doria]

Digo o mesmo!

On Fri, Jun 16, 2017 at 6:50 PM, Marcelo Finger  wrote:

>
> Parabéns aos autores!
>
> []s
>
>
> -- Forwarded message --
> From: Oxford University Press 
> Date: 16 June 2017 at 18:06
> Subject: Logic Journal of the IGPL Advance articles
> To: mfin...@ime.usp.br
>
>
>
>
> 
>
>
> [image: oxford_logo.jpg]
> 
>
>
> [image: Logic Journal of the IGPL]
>
>
> Advance articles alert
>
> 15 June 2017 - 16 June 2017
>
> [image: button-advance.png]
> 
>
>
>
>
> 
>
>
> Dialectica categories, cardinalities of the continuum and combinatorics of
> ideals 
>
> Samuel G. da Silva ; 
> Valeria
> C. V. de Paiva 
>
> Unsubscribe 
>   Manage email alerts
> 
>
> Written requests to unsubscribe can be sent to: Journals Marketing, Oxford
> University Press, Great Clarendon Street, Oxford, OX2 6DP, UK.
>
> The content of this email is protected by copyright.
>
> [image: oxforde_university.jpg]
> 
>
>
>
> 
>
>
>
>
>
>
> This email is intended for mfin...@ime.usp.br.
>
>
>
> --
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>
> --
> 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/CABqmzx1r93vopqZKJEa6ZSHqRFRtn
> GpHnXaLB_jUkdZnN5LfGA%40mail.gmail.com
> 
> .
>



-- 
fad

ahhata alati, awienta Wilushati

-- 
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%2BuR7BJdsC5dSau2uTVw9Xi3GHPHrbzO7urkQEgqouJgCrUNBw%40mail.gmail.com.

[Logica-l] Fwd: Logic Journal of the IGPL Advance articles

[Marcelo Finger]

Parabéns aos autores!

[]s


-- Forwarded message --
From: Oxford University Press 
Date: 16 June 2017 at 18:06
Subject: Logic Journal of the IGPL Advance articles
To: mfin...@ime.usp.br






[image: oxford_logo.jpg]



[image: Logic Journal of the IGPL]


Advance articles alert

15 June 2017 - 16 June 2017

[image: button-advance.png]







Dialectica categories, cardinalities of the continuum and combinatorics of
ideals 

Samuel G. da Silva
; Valeria
C. V. de Paiva 

Unsubscribe 
  Manage email alerts


Written requests to unsubscribe can be sent to: Journals Marketing, Oxford
University Press, Great Clarendon Street, Oxford, OX2 6DP, UK.

The content of this email is protected by copyright.

[image: oxforde_university.jpg]










This email is intended for mfin...@ime.usp.br.



-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger

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

Re: [Logica-l] Lista de Speakers - Painel de Lógica e Fundamentos - ICM 2018

[Famadoria]

Lamentável que não convidem o Newton. 

Sent from my iPhone

> On 16 Jun 2017, at 15:31, 'Samuel Gomes' via LOGICA-L 
>  wrote:
> 
>  Caros,
> 
> Recebi hoje um email divulgando a lista de todos os plenary/invited speakers 
> do próximo Encontro Mundial de Matemáticos (ICM 2018), que vai ocorrer no Rio 
> de Janeiro
> no ano que vem.
> 
> Vejam a lista completa no link: 
> 
> http://www.icm2018.org/portal/en/icm-speakers
> 
> A lista dos speakers do Painel de Lógica e Fundamentos é a seguinte:
> 
> Speakers: 
> Jochen Koenigsmann (UK)
> Joris van der Hoeven (France), Lou van den Dries (USA) and Matthias 
> Aschenbrenner (USA)
> Maryanthe Malliaris (USA)
> Stephen Jackson (USA)
> Ulrich Kohlenbach (Germany)
> 
> 
> Um detalhe: em Setembro do ano passado houve uma conversa com o Marcelo Viana 
> durante o Encontro Brasil-Itália no IMPA, e fomos
> 
> informados que a escolha dos speakers de cada painel é decidido por uma 
> comissão sigilosa que é formada pela IMU (União Matemática
> 
> Internacional), então realmente a comunidade brasileira de lógica não tinha 
> muito mesmo como sugerir nomes para essa sessão.
> 
> 
> 
> Observo, porém, que a partir de setembro haverá submissões para posters e 
> comunicações curtas (creio que 20 minutos), então a
> 
> comunidade brasileira de lógica terá a oportunidade de participar do evento 
> através dessas apresentações. Serão aceitos trabalhos de qualquer
> 
> uma das 19 áreas que compõem os painéis (e o painel 1 é exatamente o de 
> Lógica e Fundamentos). Vejam detalhes em:
> 
> 
> 
> http://www.icm2018.org/portal/en/news29
> 
> 
> 
> Atés,
> 
> 
> 
> []s  Samuel
> 
> 
> 
> 
> 
> 
> 
> 
> 
> -- 
> 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/2139cb4b-9fac-4d65-9ad2-00a6d38c859b%40dimap.ufrn.br.

-- 
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/D295DDC1-41A2-44AF-B983-3BDC3ACFA360%40gmail.com.

[Logica-l] Lista de Speakers - Painel de Lógica e Fundamentos - ICM 2018

['Samuel Gomes' via LOGICA-L]

 Caros,

Recebi hoje um email divulgando a lista de todos os plenary/invited 
speakers do próximo Encontro Mundial de Matemáticos (ICM 2018), que vai 
ocorrer no Rio de Janeiro
no ano que vem.

Vejam a lista completa no link: 

http://www.icm2018.org/portal/en/icm-speakers

A lista dos speakers do Painel de Lógica e Fundamentos é a seguinte:

*Speakers:* 

   - Jochen Koenigsmann (UK)
   - Joris van der Hoeven (France), Lou van den Dries (USA) and Matthias 
   Aschenbrenner (USA)
   - Maryanthe Malliaris (USA)
   - Stephen Jackson (USA)
   - Ulrich Kohlenbach (Germany)


Um detalhe: em Setembro do ano passado houve uma conversa com o Marcelo 
Viana durante o Encontro Brasil-Itália no IMPA, e fomos

informados que a escolha dos speakers de cada painel é decidido por uma 
comissão sigilosa que é formada pela IMU (União Matemática

Internacional), então realmente a comunidade brasileira de lógica não tinha 
muito mesmo como sugerir nomes para essa sessão.


Observo, porém, que a partir de setembro haverá submissões para posters e 
comunicações curtas (creio que 20 minutos), então a

comunidade brasileira de lógica terá a oportunidade de participar do evento 
através dessas apresentações. Serão aceitos trabalhos de qualquer

uma das 19 áreas que compõem os painéis (e o painel 1 é exatamente o de 
Lógica e Fundamentos). Vejam detalhes em:


http://www.icm2018.org/portal/en/news29


Atés,


[]s  Samuel





-- 
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/2139cb4b-9fac-4d65-9ad2-00a6d38c859b%40dimap.ufrn.br.

Re: [Logica-l] Lógica matemática é a linguagem para falarmos com os extraterrestres

[Adolfo Neto]

E o segundo: "Um de nós já disse uma mentira."

Em 16 de junho de 2017 14:52, Adolfo Neto  escreveu:

> Falta só alguém responder a pergunta bônus do João Marcos... :)
>
> Em 16 de junho de 2017 14:49, Márlon Henrique Teixeira <
> marlonhenriqu...@gmail.com> escreveu:
>
>> Obrigado a ambos. Ambos os meios funcionaram.
>>
>> Em 16 de junho de 2017 14:41, Adolfo Neto 
>> escreveu:
>>
>>> A facilidade com que dá para quebrar o paywall do UOL sempre me espanta.
>>> Mas eu ainda não conhecia esta.
>>>
>>> De todo modo, aqui vai o texto completo, para registro histórico.
>>>
>>> Estamos no ano de 2710. Na sequência de inúmeras explorações espaciais,
>>> finalmente a humanidade encontrou uma espécie inteligente extraterrestre:
>>> os Gödelianos do planeta X314. O contato é muito mais difícil do que
>>> previram os cientistas, e até os autores de ficção científica, pois os
>>> Gödelianos são uma espécie muito, muito estranha. (*)
>>>
>>> Para começar, eles têm quatro sexos: os Verdadeiros, que sempre dizem a
>>> verdade; os Mentirosos, que sempre mentem; os Inconstantes, que tanto
>>> mentem quanto dizem a verdade; e os Doidos, os mais estranhos de todos, que
>>> não seguem as regras da lógica. Uma coisa que complica muito é que, na
>>> aparência, os quatro são totalmente idênticos: o sexo de um Gödeliano só
>>> pode ser identificado por meio de suas respostas a perguntas.
>>>
>>> Lauralina, leitora assídua desta coluna, acaba de ser nomeada a primeira
>>> embaixadora da Terra em X314. A sua missão, ajudar na comunicação entre os
>>> dois povos, é crucial para a paz na galáxia. Mas primeiro ela tem de ser
>>> aprovada pelos Gödelianos, respondendo a uma série de perguntas. O governo
>>> alienígena prometeu que neste primeiro contato não participarão Doidos. No
>>> mais, Lauralina precisa ter muitíssimo cuidado: os Gödelianos são muito,
>>> muito sensíveis em questões de lógica.
>>>
>>> O primeiro entrevistador afirma: "Eu sou Mentiroso. Qual é o meu sexo?"
>>> Lauralina precisa pensar muito bem antes de responder! Errar o sexo do seu
>>> interlocutor é uma ofensa gravíssima em X314: a vítima costuma reagir
>>> cuspindo ácido sulfúrico no ofensor.
>>>
>>> Ela pensa: um Verdadeiro nunca diria isso, porque estaria mentindo. Um
>>> Mentiroso também não confessaria, pois estaria dizendo a verdade, e isso
>>> eles nunca fazem. Os Gödelianos garantiram que não haveria Doidos, portanto
>>> só resta uma opção: ele é Inconstante. Muito bem, Lauralina!
>>>
>>> Agora são dois entrevistadores. Sabemos que um deles é Verdadeiro, mas
>>> não sabemos qual, nem o sexo do outro. O primeiro entrevistador diz: "Eu
>>> sou Verdadeiro, e o meu amigo é Inconstante." O segundo contesta: "Eu sou
>>> Verdadeiro, e ele é Inconstante." Novamente o primeiro: "Eu sou Inconstante
>>> e ele é Verdadeiro". E o segundo: "Um de nós já disse uma mentira."
>>>
>>> Como saber qual é qual?
>>>
>>> Lauralina observa: as duas afirmações do primeiro entrevistador são o
>>> contrário uma da outra. Portanto uma é verdade e a outra é mentira. Então
>>> ele não pode ser Verdadeiro, porque estes nunca mentem, nem Mentiroso,
>>> porque nunca dizem a verdade. Logo, o primeiro observador é Inconstante e,
>>> nesse caso, o segundo deve ser Verdadeiro.
>>>
>>> Ufa!
>>>
>>> Sabemos que no próximo par de entrevistadores não há Inconstantes (nem
>>> Doidos). O primeiro deles diz apenas: "Os dois somos do mesmo sexo." O
>>> outro é mais tagarela: "Se sou Verdadeiro então o meu colega é Mentiroso.
>>> Se sou Mentiroso, então ele é Verdadeiro." Agora complicou!...
>>>
>>> Mas, com a preciosa ajuda dos nossos leitores e leitoras, Lauralina
>>> consegue entender a lógica da situação. Ela raciocina assim: vamos supor
>>> que sejam do mesmo sexo. Então a afirmação do primeiro entrevistador é
>>> verdade e, portanto, ele é Verdadeiro. Nesse caso, o outro também seria
>>> Verdadeiro, já que supomos que são do mesmo sexo. Mas o segundo diz que se
>>> ele for Verdadeiro então o primeiro é Mentiroso. Se isso estiver certo,
>>> então o primeiro é Mentiroso, contradizendo a conclusão anterior. Se for
>>> mentira, então o segundo entrevistador é Mentiroso, o que também contradiz
>>> a conclusão anterior. Não há saída: nos dois casos chegamos a uma
>>> contradição. Portanto, eles não podem ser do mesmo sexo!
>>>
>>> Então a afirmação do primeiro entrevistador é mentira, e ele é
>>> Mentiroso. Nesse caso, como já sabemos que eles são de sexos diferentes, o
>>> segundo é necessariamente Verdadeiro.
>>>
>>> Essa foi por pouco!
>>>
>>> A fase final da entrevista é na presença do Líder Supremo dos
>>> Gödelianos. "Eu estou mentindo. O que pode dizer sobre o meu sexo?"
>>> Lauralina recusa-se a responder e informa o seu governo. A Terra protesta
>>> com veemência, e os Gödelianos retiram a pergunta e pedem desculpa. Por
>>> quê??? (Responda pelo e-mail viana.folh...@gmail.com.)
>>>
>>> Tudo termina bem: nossa embaixadora está credenciada 

Re: [Logica-l] Lógica matemática é a linguagem para falarmos com os extraterrestres

[Adolfo Neto]

A facilidade com que dá para quebrar o paywall do UOL sempre me espanta.
Mas eu ainda não conhecia esta.

De todo modo, aqui vai o texto completo, para registro histórico.

Estamos no ano de 2710. Na sequência de inúmeras explorações espaciais,
finalmente a humanidade encontrou uma espécie inteligente extraterrestre:
os Gödelianos do planeta X314. O contato é muito mais difícil do que
previram os cientistas, e até os autores de ficção científica, pois os
Gödelianos são uma espécie muito, muito estranha. (*)

Para começar, eles têm quatro sexos: os Verdadeiros, que sempre dizem a
verdade; os Mentirosos, que sempre mentem; os Inconstantes, que tanto
mentem quanto dizem a verdade; e os Doidos, os mais estranhos de todos, que
não seguem as regras da lógica. Uma coisa que complica muito é que, na
aparência, os quatro são totalmente idênticos: o sexo de um Gödeliano só
pode ser identificado por meio de suas respostas a perguntas.

Lauralina, leitora assídua desta coluna, acaba de ser nomeada a primeira
embaixadora da Terra em X314. A sua missão, ajudar na comunicação entre os
dois povos, é crucial para a paz na galáxia. Mas primeiro ela tem de ser
aprovada pelos Gödelianos, respondendo a uma série de perguntas. O governo
alienígena prometeu que neste primeiro contato não participarão Doidos. No
mais, Lauralina precisa ter muitíssimo cuidado: os Gödelianos são muito,
muito sensíveis em questões de lógica.

O primeiro entrevistador afirma: "Eu sou Mentiroso. Qual é o meu sexo?"
Lauralina precisa pensar muito bem antes de responder! Errar o sexo do seu
interlocutor é uma ofensa gravíssima em X314: a vítima costuma reagir
cuspindo ácido sulfúrico no ofensor.

Ela pensa: um Verdadeiro nunca diria isso, porque estaria mentindo. Um
Mentiroso também não confessaria, pois estaria dizendo a verdade, e isso
eles nunca fazem. Os Gödelianos garantiram que não haveria Doidos, portanto
só resta uma opção: ele é Inconstante. Muito bem, Lauralina!

Agora são dois entrevistadores. Sabemos que um deles é Verdadeiro, mas não
sabemos qual, nem o sexo do outro. O primeiro entrevistador diz: "Eu sou
Verdadeiro, e o meu amigo é Inconstante." O segundo contesta: "Eu sou
Verdadeiro, e ele é Inconstante." Novamente o primeiro: "Eu sou Inconstante
e ele é Verdadeiro". E o segundo: "Um de nós já disse uma mentira."

Como saber qual é qual?

Lauralina observa: as duas afirmações do primeiro entrevistador são o
contrário uma da outra. Portanto uma é verdade e a outra é mentira. Então
ele não pode ser Verdadeiro, porque estes nunca mentem, nem Mentiroso,
porque nunca dizem a verdade. Logo, o primeiro observador é Inconstante e,
nesse caso, o segundo deve ser Verdadeiro.

Ufa!

Sabemos que no próximo par de entrevistadores não há Inconstantes (nem
Doidos). O primeiro deles diz apenas: "Os dois somos do mesmo sexo." O
outro é mais tagarela: "Se sou Verdadeiro então o meu colega é Mentiroso.
Se sou Mentiroso, então ele é Verdadeiro." Agora complicou!...

Mas, com a preciosa ajuda dos nossos leitores e leitoras, Lauralina
consegue entender a lógica da situação. Ela raciocina assim: vamos supor
que sejam do mesmo sexo. Então a afirmação do primeiro entrevistador é
verdade e, portanto, ele é Verdadeiro. Nesse caso, o outro também seria
Verdadeiro, já que supomos que são do mesmo sexo. Mas o segundo diz que se
ele for Verdadeiro então o primeiro é Mentiroso. Se isso estiver certo,
então o primeiro é Mentiroso, contradizendo a conclusão anterior. Se for
mentira, então o segundo entrevistador é Mentiroso, o que também contradiz
a conclusão anterior. Não há saída: nos dois casos chegamos a uma
contradição. Portanto, eles não podem ser do mesmo sexo!

Então a afirmação do primeiro entrevistador é mentira, e ele é Mentiroso.
Nesse caso, como já sabemos que eles são de sexos diferentes, o segundo é
necessariamente Verdadeiro.

Essa foi por pouco!

A fase final da entrevista é na presença do Líder Supremo dos Gödelianos.
"Eu estou mentindo. O que pode dizer sobre o meu sexo?" Lauralina recusa-se
a responder e informa o seu governo. A Terra protesta com veemência, e os
Gödelianos retiram a pergunta e pedem desculpa. Por quê??? (Responda pelo
e-mail viana.folh...@gmail.com.)

Tudo termina bem: nossa embaixadora está credenciada oficialmente em X314,
e a era das relações diplomáticas interplanetárias está começando!

(*Inspirado em cenário criado pelo francês Jean-Claude Baillif)


Em 16 de junho de 2017 14:38, Thiago Nascimento da Silva <
thiagnascsi...@gmail.com> escreveu:

> Coloca para carregar e assim que aparecer o texto, dê um esc ou aperte no
> x para parar de carregar a página.
>
> Em 16 de junho de 2017 14:31, Márlon Henrique Teixeira <
> marlonhenriqu...@gmail.com> escreveu:
>
>> Conteúdo restrito para assinantes. Se alguém poder colar o texto aqui,
>> agredecemos.
>>
>>
>>
>> Em 16 de junho de 2017 07:58, 'Samuel Gomes' via LOGICA-L <
>> logica-l@dimap.ufrn.br> escreveu:
>>
>>> ... Aquilo tudo só pra chegar no Paradoxo do Mentiroso ?
>>>
>>> ... 

Re: [Logica-l] Lógica matemática é a linguagem para falarmos com os extraterrestres

[Thiago Nascimento da Silva]

Coloca para carregar e assim que aparecer o texto, dê um esc ou aperte no x
para parar de carregar a página.

Em 16 de junho de 2017 14:31, Márlon Henrique Teixeira <
marlonhenriqu...@gmail.com> escreveu:

> Conteúdo restrito para assinantes. Se alguém poder colar o texto aqui,
> agredecemos.
>
>
>
> Em 16 de junho de 2017 07:58, 'Samuel Gomes' via LOGICA-L <
> logica-l@dimap.ufrn.br> escreveu:
>
>> ... Aquilo tudo só pra chegar no Paradoxo do Mentiroso ?
>>
>> ... Ou será que a idéia era dizer que o Líder Supremo dos Godelianos é
>> doido ?
>>
>> Ai ai ai... Pobres macaquinhos do Jardim Botânico...
>>
>> []s Samuel
>>
>> --
>> 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/di
>> map.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/f3366bfe-0aa0-4896-b328-3e3c71
>> 341e43%40dimap.ufrn.br.
>>
>
> --
> 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/CABcc%2B%3Dm_NR%
> 3Dsdz7s49SzAx9cYxjCitkG_b5Asv%3D8cqpQQmcWfA%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/CAOHRVBWj2YUztRobH_GTaMg7-LNbOFR%2B%2BzCY8yJO-fEKAjh4TA%40mail.gmail.com.

Re: [Logica-l] Lógica matemática é a linguagem para falarmos com os extraterrestres

[Márlon Henrique Teixeira]

Conteúdo restrito para assinantes. Se alguém poder colar o texto aqui,
agredecemos.



Em 16 de junho de 2017 07:58, 'Samuel Gomes' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> ... Aquilo tudo só pra chegar no Paradoxo do Mentiroso ?
>
> ... Ou será que a idéia era dizer que o Líder Supremo dos Godelianos é
> doido ?
>
> Ai ai ai... Pobres macaquinhos do Jardim Botânico...
>
> []s Samuel
>
> --
> 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/f3366bfe-0aa0-4896-b328-
> 3e3c71341e43%40dimap.ufrn.br.
>

-- 
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/CABcc%2B%3Dm_NR%3Dsdz7s49SzAx9cYxjCitkG_b5Asv%3D8cqpQQmcWfA%40mail.gmail.com.

[Logica-l] Lógica matemática é a linguagem para falarmos com os extraterrestres

['Samuel Gomes' via LOGICA-L]

... Aquilo tudo só pra chegar no Paradoxo do Mentiroso ?

... Ou será que a idéia era dizer que o Líder Supremo dos Godelianos é doido ?

Ai ai ai... Pobres macaquinhos do Jardim Botânico...

[]s Samuel

-- 
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/f3366bfe-0aa0-4896-b328-3e3c71341e43%40dimap.ufrn.br.

[Logica-l] Logic and Religion II - starting this Sunday in Warsaw

[jean-yves beziau]

After a 1st successful edition of the World Congress on Logic and Religion
in Brazil in 2015
http://www.uni-log.org/logos2015.html
we are organizing the 2nd edition.

It will  start this Sunday in Warsaw, Poland
http://logicandreligion.uw.edu.pl/

At the opening we will have a talk by
Saul Kripke: Descartes on Eternal Truths

The event will end after 5 days  with the talks:
Michał Heller (Templeton Prize 2008): The Logic of God
Laurent Lafforgue (Fields medal 2002): A logical mind looking for God or a
religious mind in mathematics? The case of Grothendieck

There will many other talks during the week by Dov Gabbay, Jan Wolenski,
etc.

Jean-Yves Beziau
Editor-in-Chief
Logica Universalis
Special issue Logic and Religion
https://link.springer.com/journal/11787/11/1/page/1

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

[Logica-l] Lógica matemática é a linguagem para falarmos com os extraterrestres

[Joao Marcos]

coluna do Marcelo Viana na FSP hoje:

Qual o sexo do Líder Supremo dos Gödelianos?
http://www1.folha.uol.com.br/colunas/marceloviana/2017/06/1893325-logica-matematica-e-a-linguagem-para-falarmos-com-os-extraterrestres.shtml

(Bônus: em um dos desafios há uma asserção que poderia ser substituída
por *qualquer outra asserção verdadeira* e não faria nenhuma diferença
na solução.  Qual?)

JM

-- 
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/CAO6j_LgCoBA7Zg%3DCqwWROnfyOUR-RA_DX74fktpw10X_8vkTJw%40mail.gmail.com.

Re: [Logica-l] caderninhos de Brouwer

[Joao Marcos]

Um colega escreveu-me off-list afirmando que qualquer implicação
(implicatura? implicância?) a respeito de um possível sexismo por
parte de Brouwer seria anacrônica e indevida.  Fiquei um pouco
surpreso, pois não cheguei a fazer qualquer acusação do (de?) gênero
na minha mensagem anterior, mas lembrei-me agora desta outra famosa
história envolvendo Hilbert, da mesma época, sobre a Habilitation da
Emmy Noether na universidade de Göttingen:

-/-

Die Habilitation wurde Frauen in Preußen 1908 jedoch noch untersagt,
auf eine Abstimmung aller Universitätsprofessoren hin - wobei in der
Göttinger Abstimmung der bekannte Ausspruch des weltbekannten
Mathematikers Hilbert erfolgte:
"Aber meine Herren, wir sind doch in einer Universität und nicht in
einer Badeanstalt."
http://www.lill-online.net/3.0/D/frauen/biografien/Jh20/noether.htm


"Mas meus senhores, somos uma universidade, não uma sauna."

-/-

JM


>> Podia estar escrito em aramaico antigo e não faria diferença ...
>
> O holandês do Brouwer soa hoje um tanto arcaico, mas também não é para
> tanto! :-b  Em sua palestra, o Van Dalen também explicou um pouco
> sobre a grafia e sobre como a transcrição é executada...  Um trabalho
> incrível do Kuiper, com mais de quatrocentas páginas!
>
> Já que falamos agora de conteúdo, como comentou a linguista Alice ter
> Meulen na fom,
> http://www.cs.nyu.edu/pipermail/fom/2017-June/020523.html
> este trecho aqui sobre a "lógica feminina" é impagável:
>
> -/-
>
> Philosophie in tegenst. met wiskunde, mag zich bezighouden met
> intuitief gevoelde, en aan het geweten getoetste waarheden. Maar ook
> alleen als het geweten spreekt. Spreekt ze zonder dat, dan is ze
> gedaas als vrouwenlogica,(*) tenzij ze zich bepaalt tot _beschrijven_
> zonder strekking , of zich
> verwiskundigt – wat logica wordt, en nadert tot de bouwende
> _wiskunde_.
>
> (*) (kantlijn:)  antinomieën;
> de frasen van Russell zijn van hetz. allooi>
>
>
> Pedi ajuda a um colega belga para produzir uma tradução para inglês:
>
> Philosophy, in contradistinction to mathematics, can concern itself
> with intuitively felt (or maybe: intuitive) truths tested to the
> conscience [conscience is the contemporary translation of "geweten"
> but I think that at the time Brouwer was writing maybe it also meant
> more generally "spirit" or "mind"). But only if the conscience speaks.
> If it [philosophy] speaks without this [the conscience], then she
> [philosophy] is twaddle like women's logic,(*), unless she decides to
> [limit herself] to _description_ without meaning (i.e. in the end
> lyric poetry from the anticenter), or mathematizes itself --which [the
> mathematized philosophy] becomes logic, and converges to constructing
> [used here as an adjective for the noun mathematics] _mathematics_.
>
> (*) (margin:)  the phrases of Russell are of the same sort [cast in the same mould]>
>
> -/-
>
> JM
>
>
>> 2017-06-13 16:43 GMT-03:00 Joao Marcos :
>>>
>>> Vi algumas páginas destes cadernos em uma palestra de Dirk Van Dalen
>>> em dezembro, e decidi que nunca mais reclamaria da letra dos meus
>>> alunos...  Algumas páginas são realmente impressionantes de se
>>> contemplar, verdadeiras obras de arte!
>>>
>>> É uma pena que no futuro este tipo de arqueologia das notas que
>>> escrevemos com a ajuda dos atuais editores de texto será impossível.
>>>
>>> JM
>>>
>>> --
>>>
>>> Date: Tue, 13 Jun 2017 12:26:17 +0200
>>> From: Mark van Atten
>>>
>>> The notebooks in which Brouwer worked towards his dissertation are
>>> now
>>> available online in scanned form, together with a transcription by
>>> John Kuiper:
>>>
>>> http://www.cs.ru.nl/~freek/brouwer/
>>>
>>> Brouwer wrote these in Dutch.
>>>
>>> Many thanks to John Kuiper and Freek Wiedijk for their effort!
>>>
>>> Best wishes,
>>> Mark.

-- 
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/CAO6j_LgcmcjSZR6hg%2Bs3ungX42XFF7yn0Vp33vxqeWcwz%3D8%3DdQ%40mail.gmail.com.