Robert Goldblatt

Robert Goldblatt Biografia
Aniversário 21 de abril de 1949
Nacionalidade Neozelandês
Treinamento Victoria University of Wellington
The Urban School of San Francisco ( em )
Atividade Matemático
Outra informação
Trabalhou para Victoria University of Wellington , Australian National University
Campo Lógica matemática
Supervisor Maxwell John Cresswell ( d )
Prêmios Membro da Royal Society Te Apārangi (1990)
Medalha Jones (2012)

Ian Robert Goldblatt (nascido em21 de abril de 1949) é um lógico matemático da Nova Zelândia.

Carreira

Robert Goldblatt obteve seu doutorado em 1974 na Victoria University of Wellington sob a supervisão de Maxwell John Cresswell, com uma tese intitulada "Metamathematics of Modal Logic". Ele trabalha na Escola de Matemática e Estatística da Victoria University of Wellington, na Nova Zelândia , e é membro do Center for Logic, Language and Computation. Seus livros mais famosos são Logics of Time and Computation e Topoi: the Categorial Analysis of Logic . Ele também escreveu um livro-texto de nível universitário sobre números hiper-reais, que é uma introdução à análise não padronizada .

Foi Editor Coordenador do Journal of Symbolic Logic e Diretor Editorial da Studia Logica . Ele foi eleito membro e conselheiro da Royal New Zealand Society , presidente da New Zealand Mathematical Society e representou a Nova Zelândia na International Mathematical Union . Em 2012, ele recebeu a medalha Jones pelo conjunto de sua obra em matemática.

Livros e capítulos de livros didáticos

Benjamin C. Pierce  (in) recomendado como um "ótimo livro para iniciantes", elogiando o uso de exemplos simples de teoria dos conjuntos e percepções motivacionais, mas observou que "às vezes criticado por teóricos de categoria por ser enganoso sobre certos aspectos do assunto, e para apresentar provas longas e difíceis onde as mais simples estão disponíveis. " O prefácio da edição de Dover observa (p. Xv) que “Este é um livro sobre lógica, em vez de teoria das categorias em si. Tem como objetivo explicar, em um curso introdutório, como certas idéias lógicas são informadas por uma perspectiva da teoria das categorias. "Perry Smith em sua crítica para o MathSciNet escreveu : “As idéias do autor sobre como alcançar inteligibilidade e rigor, explicadas no prefácio, serão úteis para qualquer pessoa que pretenda ensinar. Análise não padronizada”.

Referências

  1. (em) "  Robert Goldblatt  " no site Mathematics Genealogy Project
  2. Jones Medal
  3. Teoria de categorias básicas para cientistas da computação , MIT Press ,1991, 100  p. ( ISBN  978-0-262-66071-6 , leitura online ) , p.  73
(fr) Este artigo foi retirado parcial ou totalmente do artigo da Wikipedia em inglês intitulado "  Robert Goldblatt  " ( veja a lista de autores ) .

links externos