Bernard Hodgson: Unterschied zwischen den Versionen

K
keine Bearbeitungszusammenfassung
[gesichtete Version][gesichtete Version]
KKeine Bearbeitungszusammenfassung
KKeine Bearbeitungszusammenfassung
Zeile 37: Zeile 37:


== Arbeitsgebiete ==
== Arbeitsgebiete ==
<!-- Beschreibung der Arbeitsgebiete, möglichst mit [[...]] auf die Enzyklopädie verweisen -->
* 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)


== Projekte ==
== Projekte ==