Bernard Hodgson

Eine markierte Version dieser Seite, die am 14. November 2016 freigegeben wurde, basiert auf dieser Version.

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]

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]

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]

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^[4]