Wermus, Henri
Description
| Identification | ||
| Type d’entité | : | Personne |
| Forme(s) autorisée(s) du nom | : | Wermus, Henri |
| Formes parallèles du nom | : | Henri Wermus |
| Description | ||
| Dates d’existence | : | 1919-2013 |
| Histoire | : | Né le 11 janvier 1919 Mort le 13 juillet 2013 Origine : Pologne et Genève (naturalisé en 1958) Formation, études : 1937 certificat de maturité (Gymnase municipal de Varsovie) 1937-1939 séjours d’étude en Belgique et en France 1938-1939 études supérieures à la Faculté des sciences (Université de Paris) 1945 diplôme de mathématicien EPFZ Doctorat, habilitation, doctorat honoris causa : 1945 doctorat ès sciences mathématiques (Ecole polytechnique fédérale) |
| Lieux | : | Pologne ; Suisse |
| Fonctions et activités | : | Activité universitaire : s.d. assistant de la chaire de mathématiques supérieures (EPFZ) 1945-1948 assistant pour la philosophie des sciences 1967-1968 visiting professor (Pennsylvania University) 1968-1974 chargé de cours à l’EPSE (Université de Genève) 1971-1974 chargé de recherches à l’EPSE (Université de Genève) 1974-1977 professeur extraordinaire à l’EPSE (Université de Genève) 1977-1984 professeur ordinaire (Université de Genève) 1977-1978 professeur suppléant à la Faculté des Lettres (Université de Genève) 1979-1981 congé scientifique (Université de Genève) 1984 professeur honoraire de la FPSE (Université de Genève) Activité extra-universitaire : 1949-1958 enseignant à l’Institut central ORT à Anières (Genève) 1958- ? enseignant à l’Ecole supérieure technique (Genève) 1959-1971 chargé de cours à l’Ecole des ingénieurs 1962- ? brevet d’enseignement dans les écoles secondaires 1965-1966 chargé de cours par le DIP auprès des enseignants 1971 chercheur au Centre international d’épistémologie génétique 1972- ? membre du Comité de la commission internationale pour l’amélioration de l’enseignement des mathématiques Appartenance et activité dans des associations : 1965-1967 cours à l’Association suisse pour l’automatique Principaux domaines d’enseignement, de recherche et de publication : introduction à la logique logique mathématique logique et théorie formelle du développement cognitif logique et langages formels set theory and structures of number systems logical theory and formal systems (Pennsylvania University) calcul logique et l’algèbre de Boole (Association suisse pour l’automatique) les fondements des mathématiques (DIP) |
| Contrôle | ||
| Code d’identification de la notice d’autorité | : | CH UNIGE/ISAAR/302 |
| Code(s) d’identification du ou des services | : | CH-000175-4 |
| Règles ou conventions | : | ISAAR (CPF) - Norme internationale sur les notices d'autorité utilisées pour les archives relatives aux collectivités, aux personnes ou aux familles, deuxième édition, 2004 |
| Niveau d’élaboration | : | Notice publiée |
| Niveau de détail | : | Notice incomplète |
| Dates de création, de révision ou de destruction | : | 24.08.2020 |
| Langue(s) et écriture(s) | : | Français |
| Sources | : | Dossier personnel |
Ressources
Aucun inventaire disponible publiquement actuellement