Bernard Hodgson

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

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)

Mitgliedschaften

• International Federation for Information Processing (IFIP)
• Canadian Mathematics Education Study Group (GCDEM/CMESG)
• International Commission on Mathematical Instruction (ICMI), Generalsekretär 1999-2009
• Canadian Mathematics Society (SMC)
• ZDM - The International Journal on Mathematics Education, Redaktionsmitglied 2004-2007