Roger Martin (lógico)

Roger martin Função

Bibliotecário École normale supérieure
1950-1964
Paul Étard ( d )

Biografia

Aniversário	17 de março de 1920 Le Puy-en-Velay
Morte	16 de novembro de 1979(em 59) 14º arrondissement de Paris
Nacionalidade	francês
Treinamento	École normale supérieure (desde1938)
Atividade	Lógico

Outra informação

Trabalhou para	Universidade Paris-Descartes , biblioteca da École normale supérieure ( d )
Supervisor	René Poirier

Roger Martin (17 de março de 1920 - 16 de novembro de 1979) é um lógico francês.

Biografia

• 17 de março de 1920: nascimento em Le Puy .
• Escola secundária Henry IV
• Buffon High School
• exame de admissão à École normale supérieure
• 1943: diploma de bibliotecário
• 1944: agregação de filosofia
• 1945-1947: professor de filosofia na escola secundária de Besançon
• 1945-1950: assistente na Faculdade de Letras de Besançon
• bacharelado em matemática.
• 1950-1964: bibliotecário-chefe da École normale supérieure.
• 1964: defesa de sua tese sob orientação de René Poirier
• 1964-1979: professor de lógica na Sorbonne, agora Paris-V
• 1976: co-fundador da Sociedade Francesa de Lógica.
• 16 de novembro de 1979: morreu em Paris

Trabalho

Lógica contemporânea e formalização , 1964, PUF .

Preço

Preço Jean Cavaillès 1964.

Referências

1. "  IDRef de Roger Martin, lógico  "
2. P. Pouthier e P. Petitmengin, "  obituário do Sr. Robert Martin  ", Diretório do antigo ENS ,Mil novecentos e oitenta e um
3. Jan SEBESTIK, "  Roger Martin  ", Encyclopedia Universalis ,2001( leia online )
4. http://rhe.ish-lyon.cnrs.fr/?q=agregsecondaire_laureats&nom=roger+martin&annee_op=%3D&annee%5Bvalue%5D=&annee%5Bmin%5D=&annee%5Bmax%5D=&periode=All&itemsper=_page .