Bernard Hodgson

Aus madipedia
Zur Navigation springen Zur Suche springen

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 Recherches Mathématiques (CRM), Universität Montréal
  • 1989 Gastforscher, Informatiklabor LISAN, Universität Nizza[1]

Veröffentlichungen

  • B.R. Hodgson, « The mathematical education of school teachers : role and responsibilities of university mathematicians. » In : D. Holton, dir., The Teaching and Learning of Mathematics at University Level : An ICMI Study. Kluwer, 2001, pp. 501-518. (New ICMI Study Series, vol. 7)
  • D. Coray, F. Furinghetti, H. Gispert, B.R. Hodgson & G. Schubring, dir., One Hundred Years of L'Enseignement Mathématique: Moments of Mathematics Education in the Twentieth Century. L'Enseignement Mathématique, Genève, 2003. 336 p.
  • H. Bass & B.R. Hodgson, « The International Commission on Mathematical Instruction : What? Why? For Whom? » Notices of the American Mathematical Society 51 (2004) 639-644.[2]

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)[3]

Mitgliedschaften