Grete Hermann

Grete (Henry-) Hermann, née le à Brême, où elle meurt le , est une mathématicienne et philosophe allemande connue pour ses travaux en mathématiques, en physique, en philosophie et en éducation. Elle a d'abord été remarquée pour son travail philosophique sur les fondements de la mécanique quantique et est à présent surtout connue pour une réfutation d'un théorème de John von Neumann sur l'absence de variable cachée. Ce théorème a eu une forte influence sur le développement de la mécanique quantique, sa contestation par Hermann étant restée presque inconnue pendant des décennies. Grete Hermann étudie les mathématiques à l'université de Göttingen sous la direction d'Emmy Noether. Sa thèse est l'article fondateur du calcul formel. Elle fut la première à établir l'existence d'algorithmes (avec majoration de leur complexité) pour de nombreux problèmes basiques d'algèbre générale, comme l'appartenance à un idéal d'un anneau de polynômes. Son algorithme de décomposition en idéaux primaires est encore utilisé de nos jours. De 1925 à 1927, Grete Hermann travaille comme assistante de Leonard Nelson. Elle fit avec Minna Specht, en 1932, une édition posthume du travail de Nelson System der philosophischen Ethik und Pädagogik, tout en poursuivant ses propres recherches. Comme philosophe, Grete Hermann s'intéressait en particulier aux fondements de la physique. On connaît la teneur de son travail de cette période, avec un accent mis sur la distinction entre prédictibilité et causalité, par trois de ses publications, par la description ultérieure de leurs échanges de vues qu'en fit Weizsäcker et par la discussion sur le travail de Hermann dans le chapitre 10 de La Partie et le Tout de Heisenberg. Son Die naturphilosophischen Grundlagen der Quantenmechanik, publié depuis le Danemark, a été cité comme . Dans cet essai, elle conclut : En 1935, Grete Hermann publie un argument démontrant une faille apparente dans une preuve de 1932 d'un théorème de von Neumann.