Prof. Dr. Bernard Hodgson.
Professur für Mathematik und Statistik. Universität Laval (Québec).
Dissertation: Théories Décidables par Automate Fini.
Personen-ID im Mathematics Genealogy Project: 36402 


Kurzvita

  • 1967 Bachelor of Arts (B.A.), Universität Laval
  • 1971 Bachelor of Science (B.Sc.), Universität Laval
  • 1973 Master of Sciences (M.Sc.), Universität Montréal
  • 1976 Ph.D. Mathematik, Universität Montréal
  • 1975-1980 Lehrbeauftragter und Assistenzprofessur, Universität Laval
  • seit 1980 Professor für Mathematik, Universität Laval
  • 1981-1982 Gastprofessor, Institut für Informatik, Universität Toronto
  • 1983-1986 Direktor des Mathematik- und Statistikinstituts, Universität Laval
  • 1988-1989 Gastforscher, Centre de Recherchen Mathématiques (CRM), Universität Montréal
  • 1989 Gastforscher, Informatiklabor LISAN, Universität Nizza[1]

Veröffentlichungen

Arbeitsgebiete

  • Mathematiklehre und Geschichte der Mathematik (z.B. Lehrerbildung, Computer im Mathematikunterricht, Einfluss der Geschichte der Mathematik auf die Mathematiklehre, Mathematik im Elementarunterricht, Popularisierung der Mathematik, Mathematisches Problemlösen)
  • Mathematische Logik und theoretische Informatik (z.B. Décidabilité par automate fini, Arithmétisation de classes de complexité, Preuves de la terminaison de systèmes de réécriture, raisonnement automatisé, logique linéaire, vision combinatoire (à la Kirby-Paris) du phénomène d'incomplétude de l'arithmétique de Peano)[2]

Projekte

Mitgliedschaften