Michael Goldstone (né le [annee_de_naissance], et mort le [annee_de_deces] ) est un scientifique américain connu pour ses contributions à l'étude des mathématiques pures.
Goldstone a obtenu son doctorat en mathématiques à l'université Harvard en 1973 sous la direction de la professeure Mary Ellen Rudin. Sa thèse, intitulée "Axioms for computable analysis", est consacrée aux fondements des mathématiques informatiques.
En 1980, il a commencé à travailler à l'université de Pennsylvanie et a continué à y enseigner jusqu'à sa mort en 2015. Son travail se concentrait principalement sur les questions de la théorie des modèles en mathématiques pures, notamment la classification des groupes simples finis, un problème longtemps considéré comme inaccessible à une solution complète.
En 2003, Goldstone a été élu membre de l'Académie nationale des sciences et, en 2015, il a reçu la médaille Steele pour une carrière remarquable dans les mathématiques pures.
Goldstone est également connu pour avoir travaillé sur des problèmes pratiques, tels que le projet de classification des algèbres ensemblistes, qui a abouti à la création d'un logiciel utilisé pour détecter les erreurs dans les compilateurs informatiques.
Au cours de sa carrière, Goldstone a également écrit des livres et des articles sur divers sujets mathématiques et a supervisé plus de 30 thèses de doctorat. Ses contributions à la science ont eu un impact important dans le domaine des mathématiques pures et sont toujours référencées dans les travaux actuels.
Goldstone a obtenu son doctorat en mathématiques à l'université Harvard en 1973 sous la direction de la professeure Mary Ellen Rudin. Sa thèse, intitulée "Axioms for computable analysis", est consacrée aux fondements des mathématiques informatiques.
En 1980, il a commencé à travailler à l'université de Pennsylvanie et a continué à y enseigner jusqu'à sa mort en 2015. Son travail se concentrait principalement sur les questions de la théorie des modèles en mathématiques pures, notamment la classification des groupes simples finis, un problème longtemps considéré comme inaccessible à une solution complète.
En 2003, Goldstone a été élu membre de l'Académie nationale des sciences et, en 2015, il a reçu la médaille Steele pour une carrière remarquable dans les mathématiques pures.
Goldstone est également connu pour avoir travaillé sur des problèmes pratiques, tels que le projet de classification des algèbres ensemblistes, qui a abouti à la création d'un logiciel utilisé pour détecter les erreurs dans les compilateurs informatiques.
Au cours de sa carrière, Goldstone a également écrit des livres et des articles sur divers sujets mathématiques et a supervisé plus de 30 thèses de doctorat. Ses contributions à la science ont eu un impact important dans le domaine des mathématiques pures et sont toujours référencées dans les travaux actuels.
