Gershon Zeilberger est un mathématicien israélo-américain connu pour ses contributions à la combinatoire, en particulier le développement de méthodes algorithmiques pour prouver des identités hypergéométriques. Son travail fait le pont entre les mathématiques classiques et les approches computationnelles, et il a été un défenseur vocal de l'utilisation des ordinateurs dans la recherche mathématique.
Zeilberger est né en 1950 en Israël. Il a obtenu son doctorat à l'Institut Weizmann des Sciences en 1976, sous la supervision de Harry Dym. Il a occupé des postes dans plusieurs institutions avant de rejoindre le corps professoral de l'Université Temple à Philadelphie, où il est professeur de mathématiques depuis les années 1990.
Preuves algorithmiques et méthode WZ
La contribution la plus célèbre de Zeilberger est la méthode WZ, développée en collaboration avec Herbert Wilf au début des années 1990. Cette méthode fournit un moyen systématique et algorithmique de prouver des identités impliquant des sommes de termes hypergéométriques. Elle réduit ces preuves à la vérification d'un nombre fini de cas, ce qui la rend adaptée à une implémentation informatique.
La méthode WZ a été implémentée dans des logiciels, notamment dans les systèmes Maple et Mathematica. Le propre package de Zeilberger, appelé EKHAD, est largement utilisé par les chercheurs. Ce travail a eu un impact significatif sur le domaine de la combinatoire, permettant la vérification automatisée de nombreuses identités qui étaient auparavant prouvées à la main.
Opinions sur la rigueur mathématique
Zeilberger est connu pour ses opinions provocatrices et souvent controversées sur la nature de la preuve mathématique. Il a soutenu que les preuves traditionnelles, lisibles par l'homme, ne sont pas toujours nécessaires et que les preuves assistées par ordinateur sont tout aussi valables. Dans un essai célèbre de 1993, il a proposé une approche « semi-rigoureuse » des mathématiques, suggérant que les preuves n'ont pas besoin d'être entièrement formelles si elles peuvent être vérifiées par un ordinateur.
Ses opinions ont suscité des débats au sein de la communauté mathématique. Certains mathématiciens adoptent son approche computationnelle, tandis que d'autres soutiennent qu'elle sape les aspects esthétiques et conceptuels des mathématiques. Malgré cela, le travail de Zeilberger a été largement cité et a influencé une génération de chercheurs en combinatoire et dans des domaines connexes.
Contributions à la combinatoire
Au-delà de la méthode WZ, Zeilberger a apporté de nombreuses contributions à la combinatoire énumérative, notamment des travaux sur les partitions, les q-séries et la théorie des partitions planes. Il a également exploré les connexions entre la combinatoire et d'autres domaines, tels que intelligence artificielle et apprentissage automatique, en utilisant des outils computationnels pour découvrir de nouveaux motifs et conjectures.
Sa recherche implique souvent la génération de grandes quantités de données avec des programmes informatiques, puis leur analyse pour trouver des structures sous-jacentes. Cette approche a conduit à la découverte de plusieurs nouvelles identités et a aidé à clarifier celles existantes. Il a publié plus de 200 articles et a été éditeur pour plusieurs grandes revues mathématiques.
Prix et reconnaissance
Zeilberger a reçu plusieurs prix pour son travail. En 2004, il a reçu le prix Leroy P. Steele pour contribution séminale à la recherche, conjointement avec Herbert Wilf, pour le développement de la méthode WZ. Il est également membre de l'American Mathematical Society, une reconnaissance qu'il a reçue en 2012.
Son travail a été soutenu par des subventions de la National Science Foundation, et il a été invité à parler lors de nombreuses conférences internationales, y compris le Congrès international des mathématiciens. Il continue d'être un chercheur actif et une figure éminente de la communauté mathématique.
Héritage et influence
L'influence de Zeilberger s'étend au-delà de sa propre recherche. Il a encadré de nombreux étudiants et chercheurs postdoctoraux, et ses idées sur les mathématiques algorithmiques ont aidé à façonner le domaine des mathématiques expérimentales. Son plaidoyer pour la preuve assistée par ordinateur est devenu plus courant à mesure que les outils computationnels sont devenus plus puissants.
Son travail est souvent cité dans les discussions sur le rôle des méthodes de apprentissage profond et de réseau neuronal en mathématiques, car son approche de la preuve est analogue au raisonnement algorithmique. Bien qu'il reste une figure polarisante, ses contributions ont indéniablement fait progresser le domaine et ouvert de nouvelles voies de recherche.
Vie personnelle
Zeilberger est connu pour sa personnalité excentrique et son amour des jeux de mots. Il maintient un site web personnel où il publie ses opinions, ses essais et même une colonne « Opinion » qui existe depuis des décennies. Il est également un joueur d'échecs passionné et a écrit sur les connexions entre les échecs et les mathématiques.
Il est marié à sa femme, une mathématicienne, et ils ont des enfants. Il continue de travailler à l'Université Temple, où il est un membre actif du département et un orateur fréquent lors de séminaires et de colloques.