[Logica-l] Fwd: Gaisi Takeuti (1926-2017)

2017-05-12 Por tôpico Joao Marcos
-- Forwarded message -- From: "[LOGIC] Mailing List" Date: May 12, 2017 10:13 Subject: [LOGIC] Gaisi Takeuti (1926-2017) To: Cc: >From Wikipedia (en & de): Gaisi Takeuti (January 25, 1926 -- May 10, 2017) was a Japanese mathematician, known for his work in proof theory. Takeuti

Re: [Logica-l] Gaisi Takeuti (1926-2017)

2017-05-12 Por tôpico Hermógenes Oliveira
Recollections of Prof. Takeuti by Norbert Preining: https://www.preining.info/blog/2017/05/gaisi-takeuti-1926-2017/ -- Hermógenes Oliveira -- 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

[Logica-l] tanto Grothendieck quanto você poderia desejar

2017-05-12 Por tôpico Joao Marcos
Para aqueles que possuem este tipo de tara, vale notar que cerca de 18 mil páginas manuscritas por Alexandre Grothendieck foram digitalizadas e disponibilizadas online a partir da última 4a-feira: http://www.midilibre.fr/2017/05/11/montpellier-l-oeuvre-de-grothendieck-offerte-a-l-intelligence-humai

[Logica-l] Model Theory, Combinatorics and Valued fields A trimester at the Institut Henri Poincaré, 8 January - 6 April 2018

2017-05-12 Por tôpico Carlos Márquez
http://modvac18.math.ens.fr/ -- 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