Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IfColog Journal of Logics and their Applications (FLAP) Année : 2017

Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context

Résumé

The paper is based on my recollections of Grigori Mints (1939–2014) completed by a survey of his research work in a scientific context. I speak mostly about the Soviet period of his life and work (until 1991), and sometimes go beyond the purely scientific aspects to show the atmosphere of these times.
Fichier principal
Vignette du fichier
soloviev_22330.pdf (385.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02348258 , version 1 (05-11-2019)

Identifiants

  • HAL Id : hal-02348258 , version 1
  • OATAO : 22330

Citer

Sergei Soloviev. Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context. IfColog Journal of Logics and their Applications (FLAP), 2017, 4 (4), pp.817-840. ⟨hal-02348258⟩
55 Consultations
118 Téléchargements

Partager

Gmail Facebook X LinkedIn More