Aller au contenu

Robert Goldblatt

Un article de Wikipédia, l'encyclopédie libre.
Page d’aide sur l’homonymie

Pour les articles homonymes, voirGoldblatt.

Robert Goldblatt
une illustration sous licence libre serait bienvenue
Fonction
Professeur émérite(d)
Université Victoria de Wellington
Biographie
Naissance
Voir et modifier les données sur Wikidata(75 ans)
Nationalité
Formation
Université Victoria de Wellington
The Urban School of San Francisco(en)Voir et modifier les données sur Wikidata
Activité
Autres informations
A travaillé pour
Directeur de thèse
Max Cresswell(en)Voir et modifier les données sur Wikidata
Distinctions

modifier-modifier le code-modifier WikidataDocumentation du modèle

Ian Robert Goldblatt(né le) est unlogicien mathématiquenéo-zélandais.

Carrière

[modifier|modifier le code]

Robert Goldblatt obtient son doctorat en 1974 à l'Université Victoria de Wellingtonsous la direction de Maxwell John Cresswell, avec une thèse intitulée « Metamathematics of Modal Logic »[1]. Il travaille à l'École de mathématiques et de statistiques de l'Université Victoria de WellingtonenNouvelle-Zélande,et il est membre du Centre pour la Logique, le Langage et le Calcul. Ses livres les plus célèbres sontLogics of Time and ComputationetTopoi: the Categorial Analysis of Logic.Il a également écrit un manuel de niveau universitaire sur lesnombres hyperréelsqui est une introduction à l'analyse non standard.

Il a été Coordinating Editor de la revueJournal of Symbolic Logicet directeur de la rédaction deStudia Logica. Il a été élu Fellow et Conseiller de laSociété royale de Nouvelle-Zélande,Président de laSociété mathématique de Nouvelle-Zélande,et a représenté la Nouvelle-Zélande auprès de l'Union mathématique internationale. En 2012, il a reçu lamédaille Jones[2]pour l'accomplissement d'une vie en mathématiques.

Livres et chapitres de manuels

[modifier|modifier le code]
Benjamin C. Pierce(en)le recommande comme un "excellent livre pour débutant", faisant l'éloge de l'utilisation d'exemples simples de la théorie des ensembles et motivant les intuitions, mais il a noté qu'il "est parfois critiqué par les théoriciens des catégories pour être trompeur sur certains aspects du sujet, et pour la présentation de longues et difficiles preuves où de plus simples sont disponibles"[3].La préface de l'édition Dover observe (p. xv) que « C'est un livre sur la logique, plutôt que sur lathéorie des catégoriesen soi. Il vise à expliquer, dans un cours d'introduction, comment certaines idées logiques sont éclairés par une perspective de la théorie des catégories. »
Perry Smith dans sa recension pour MathSciNeta écrit:« Les idées de l'auteur sur la façon d'atteindre à la fois l'intelligibilité et la rigueur, expliquées dans la préface, seront utiles pour toute personne ayant l'intention d'enseigner l'analyse non standard ».
  • 2006: « Mathematical Modal Logic: a View of its Evolution » dansModalities in the Twentieth Century,Volume 7 duManuel d'Histoire de la Logique,édité parDov GabbayetJohn Woods(en),Elsevier,p.1–98.
  • 2011:Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics,Cambridge University Presset l'Association pour la Logique Symbolique.

Références

[modifier|modifier le code]
  1. ↑(en)«Robert Goldblatt», surle site duMathematics Genealogy Project
  2. ↑Jones Medal
  3. ↑Basic category theory for computer scientists,MIT Press,,100p.(ISBN978-0-262-66071-6,lire en ligne),p.73
(en)Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé«Robert Goldblatt»(voir la liste des auteurs).

Liens externes

[modifier|modifier le code]
Ce document provient de «https://fr.wikipedia.org/w/index.php?title=Robert_Goldblatt&oldid=205714914».