David Harold Bailey est un mathématicien et informaticien américain distingué dont les travaux ont fondamentalement modifié le paysage de la théorie computationnelle des nombres. Pionnier dans le domaine des mathématiques expérimentales, Bailey est surtout connu pour avoir co-découvert la formule de Bailey-Borwein-Plouffe (BBP), un algorithme qui permet de calculer lenièmechiffre binaire de pi sans calculer les chiffres précédents—un exploit que l’on pensait auparavant impossible.
Né en 1948, Bailey a poursuivi ses études à l’université Brigham Young, où il a obtenu une licence en mathématiques en 1972, suivie d’un doctorat de l’université Stanford en 1976. Sa carrière s’est étendue sur plusieurs décennies à la pointe du calcul haute performance, incluant quatorze années au centre de recherche Ames de la NASA et quinze années en tant que scientifique principal au laboratoire national Lawrence Berkeley.
La contribution la plus célèbre de Bailey, la formule BBP, a été publiée dans un article de 1997 coécrit avec Peter Borwein et Simon Plouffe. Cette découverte a non seulement révolutionné la manière dont les constantes irrationnelles pouvaient être calculées, mais a également fourni des perspectives approfondies sur la question de la « normalité »—à savoir si les chiffres de constantes comme pi sont statistiquement aléatoires. Au-delà des mathématiques pures, Bailey a réalisé des avancées significatives en analyse numérique et en calcul parallèle. Il est coauteur des NAS Benchmarks, une mesure standard pour évaluer la performance des superordinateurs, et a mené des recherches critiques en mathématiques financières, mettant en garde contre la « pseudo-mathématique » et le surapprentissage statistique sur les marchés financiers.
Membre dévoué de l’Église de Jésus-Christ des Saints des Derniers Jours, Bailey travaille activement à combler le fossé entre l’enquête scientifique et la foi religieuse. Il gère le site web Science Meets Religion, où il plaide pour l’harmonisation de la science moderne—y compris l’évolution et la cosmologie—avec la théologie. Il soutient que la vérité scientifique et la vérité religieuse sont des parties complémentaires d’un tout plus vaste, une perspective qui résonne profondément avec la quête transhumaniste de la vérité par des moyens à la fois spirituels et technologiques.
