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

[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 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/7d337766-48be-40eb-8953-3ea26321ef1b%40dimap.ufrn.br.

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

[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-humaine,1505395.php

Mais especificamente:
https://grothendieck.umontpellier.fr/

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

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

[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 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/87k25mpdrk.fsf_-_%40camelot.oliveira.

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

[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 wurde 1956 an der Universität Tokio in mathematischer Logik
promoviert. Er war ab 1950 zuerst Assistenzprofessor, später Professor an
der Pädagogischen Universität Tokio und ab 1966 Professor an der University
of Illinois at Urbana-Champaign. 1996 wurde er emeritiert.

Takeutis Ziel in den 1950er Jahren war es, Widerspruchsfreiheitsbeweise für
formale Systeme zu gewinnen, die die Analysis umfassen. Hierzu entwickelte
er Methoden von Gerhard Gentzen weiter (unter anderem führte er ordinal
diagrams ein).

Takeuti gelang 1967 der Widerspruchsfreiheitsbeweis der Pi^1_1 Analysis
(der Teil der Analysis, in der die Komprehension auf beliebige Formeln mit
höchstens einem Mengenquantor eingeschränkt ist). Das war nach Kurt Schütte
der erste Widerspruchsfreiheitsbeweis eines wesentlich imprädikativen Teils
der Mathematik und Analysis.

Takeutis Vermutung von 1953 besagt, dass im Logikkalkül endlicher Stufe (im
Rahmen des Sequenzenkalküls der Beweistheorie) die Schnittregel gilt (siehe
Gentzenscher Hauptsatz). Sie wurde für das Kalkül 2. Stufe von William W.
Tait (1966) bewiesen und unabhängig von Takahashi Motoo (1967) und
Jean-Yves Girard bewiesen.

Von Takeuti stammen zwei Lehrbücher und Standardwerke, eines zur
Beweistheorie und eines zur axiomatischen Mengenlehre.

1959/60, 1966 bis 1968 und 1971 bis 1972 war er am Institute for Advanced
Study bei Kurt Gödel.

2003 bis 2009 war er Präsident der Kurt Gödel Society. 1998 erhielt er die
tschechische Bolzano-Medaille und er erhielt den Okawa Preis für
Veröffentlichungen. 1982 erhielt er den Asahi-Preis.

Personal obituary of Norbert Preining:

https://www.preining.info/blog/2017/05/gaisi-takeuti-1926-2017/

-- 
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_Lj2V_vWc3uLawyQY%3DB69knHgLL0LxSGLK9r%2BJLX-fB%2BQA%40mail.gmail.com.