Bernard R. Hodgson, professeur titulaire
Pavillon Alexandre-Vachon, local 1072
T. 418 656-2131, poste 2975
F. 418 656-5902
Bernard.Hodgson@mat.ulaval.ca
Champs d'intérêts

  • Logique mathématique et informatique théorique : calculabilité, théorie de

    la récursion, complexité du calcul

  • Education mathématique : formation des maîtres, influence de l'ordinateur et

    de l'informatique

  • Histoire et enseignement des mathématiques

  • Histoire de l'enseignement des mathématiques

Publications

Quelques publications choisies

  • B.R.

    Hodgson, "Collaboration et échanges internationaux en éducation

    mathématique dans le cadre de la CIEM : regards selon une perspective

    canadienne." In : P. Liljedahl, S. Oesterle et D. Allan (dir.), Actes de la rencontre annuelle 2010 du Groupe canadien d'étude en didactique des mathématiques. (Université Simon Fraser, 21-25 mai 2010). CMESG / GCEDM, Burnaby, 2011, pp. 31-50.

  • B.R. Hodgson, "Herculean or Sisyphean tasks? A renewed look at the incompleteness phenomenon in mathematical logic." European Mathematical Society Newsletter 51

    (2004) 11-16.  (Traduction en catalan: "Els treballs d'Hèrcules, o els

    de Sísif? Una visió renovada del fenomen de la incompletesa en lògica

    matemàtica." Butlletí de la Societat Catalana de Matemàtiques 25 (2010) 31-41.)

  • 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.

  • M.

    de Guzman, B.R. Hodgson, A. Robert et V. Villani, "Difficulties in the

    passage from secondary to tertiary education." In: G. Fischer et U.

    Rehmann, dir., Proceedings of the International Congress of Mathematicians. (Berlin, 1998) Documenta Mathematica, Extra Volume ICM 98, volume III, pp. 747-762.

  • B.R. Hodgson, "On some number sequences related to the parity of binomial coefficients." The Fibonacci Quarterly 30 (1992) 35-47.
  • C.F. Kent et B.R. Hodgson, "Extensions of arithmetic for proving termination of computations." Journal of Symbolic Logic 54 (1989) 779-794.
  • B.R. Hodgson, "On direct products of automaton decidable theories." Theoretical Computer Science 19 (1982) 331-335.

Affiliations

Formation et expériences professionnelles

  • Baccalauréat ès arts (Université Laval, 1967)

  • Baccalauréat ès sciences - mathématiques (Université Laval, 1971)

  • Maîtrise ès sciences - mathématiques (Université de Montréal, 1973)

  • Ph.D. - mathématiques (Université de Montréal, 1976) 
 
Retour à la liste