Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Lenore Blum

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

1943

New York, USA

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Nous devons faire comprendre dès le début de cette biographie de Lenore Blum Blum est que son nom marié dont elle a pris seulement après mariage Manuel Blum, qui était également un mathématicien. Toutefois, pour éviter toute confusion, nous renvoie à son Blum comme tout au long de cet article. Lenore ses parents étaient Irving et Rose et, en plus d'une sœur Harriet qui était de deux ans de moins que Lenore, elle faisait partie d'une famille juive étendue avec plusieurs oncles et tantes. Sa mère Rose est une haute école professeur de sciences à New York. Lenore a assisté à une école publique à New York jusqu'à ce qu'elle soit neuf ans lorsque sa famille a déménagé à l'Amérique du Sud.

Son père était Irving dans l'importation / d'affaires et d'experts lui-même et sa femme s'installe au Venezuela pour Lenore et Harriet. Pour sa première année à Caracas Lenore ne fréquentent pas l'école mais a été enseigné par sa mère. Essentiellement la famille étaient trop pauvres pour être en mesure de payer les frais de scolarité. Après un an Rose a pris un poste d'enseignant dans l'école américaine Escuela de Campo Alegre à Caracas et cela a fourni suffisamment d'argent pour permettre à assister Lenore école primaire, puis secondaire à Caracas. Si à Caracas, elle a rencontré Manuel Blum, qui a également été d'une famille juive. Il a quitté Caracas tandis que Lenore était encore à l'école et il est allé aux Etats-Unis où il a étudié au Massachusetts Institute of Technology.

De retour aux États-Unis, Lenore appliqué au Massachusetts Institute of Technology fois parce qu'elle a été un excellent lieu d'étude et également depuis Manuel était là, mais elle n'a pas été acceptée. À ce stade, elle n'a pas été définie sur la prise d'un diplôme en mathématiques, mais avaient d'autres intérêts, elle inscrits au Département d'architecture au Carnegie Institute of Technology de Pittsburgh. C'est au cours de sa première année d'études, elle qui a commencé en 1959, que le cours de mathématiques, elle a fait son étude de réaliser qu'elle doit changer son cours à se spécialiser dans ce sujet. Pour sa deuxième année au Carnegie Institute of Technology, elle a principalement cours de mathématiques, mais encore étudié cours sur la sculpture et le design. Elle a pris un cours expérimental sur l'informatique qui serait important pour son avenir intérêts.

Après deux ans à l'Institut Carnegie de Pittsburgh, Blum transféré en 1961 au Simmons College de Boston, pour étudier les mathématiques. La principale raison de cette initiative a été qu'elle avait épousé Manuel et bien sûr, ils voulaient être ensemble. Il n'était pas entièrement satisfaisante pour déplacer son du point de vue éducatif, car les cours de mathématiques à Simmons n'a pas étirer comme elle l'aurait souhaité. Elle a fait un certain nombre de demandes infructueuses au Massachusetts Institute of Technology, mais enfin elle a fait un succès et a commencé à y suivre des études tout en terminant son premier degré au Simmons College. Elle a obtenu son BS de Simmons en 1963 et a continué de travailler à son doctorat au MIT. Pendant ses études au MIT Avrim son fils est né.

En 1968, elle a reçu un doctorat pour une thèse généralisé structures algébriques: Un modèle théorique d'approche. Elle a offert une nomination comme un post-étudiant, maître de conférences en mathématiques, et associé de recherche à l'Université de Californie à Berkeley et elle est restée là pendant deux ans. En 1973, elle a été employée par Mills College à enseigner un cours d'algèbre, mais de trouver des cours insatisfaisante, elle a commencé à développer de nouvelles idées d'enseignement. En 1974, elle a fondé le Mathématiques et Informatique Département au Mills College et a servi comme son chef ou co-chef jusqu'en 1987. Pendant ce temps, en 1979, elle est devenue la première titulaire de l'Letts Villard-président au Mills College.

Depuis de nombreuses années Blum a défendu une participation accrue des femmes et des filles en mathématiques et a été activement engagé dans la promotion de cette cause à travers différentes organisations. En 1975, elle est devenu président de l'Association pour les femmes en mathématiques, une organisation qui elle avait contribué à fonder. Toujours en 1975, elle devient co-directeur de l'Math / Science Network qui a organisé "Développement de votre Horizons" conférences pour les filles fréquentant l'école secondaire.

En plus de ces organisations, Blum est également un membre de l'American Mathematical Society, siégeant à son conseil et elle a aussi comme Vice President de la Société en 1990 - 1992. Elle a représenté la Société au Congrès panafricain des mathématiciens à Nairobi au cours de l'été 1991 et après cette continué à travailler à l'établissement de liens entre l'Afrique et l'Amérique mathématiciens. Élu membre de l'Association américaine pour l'avancement des sciences en 1979, elle a siégé à titre de président de la section Mathématiques en 1998 - 1999.

Nous devons maintenant discuter de l'impressionnante Blum contributions à la recherche. Après sa thèse, peut-être son prochain important travail a été Vers une théorie mathématique de Inductive Inference, de l'information et de contrôle dont elle a publié conjointement avec son mari Manuel Blum. Ce document étudie le modèle mathématique de l'inférence inductive présenté par EM Gold en 1967. Une inférence inductive machine produit, de toute énumération partielle d'une fonction, une certaine sortie séquence de chiffres. Après avoir défini quand une telle machine est fiable sur un ensemble de fonctions qu'ils partielle caractériser les ensembles de fonctions qui peuvent être identifiés par des machines qui soient fiables sur toutes les fonctions partielle.

Blum le prochain document important a été différemment champs fermés: un modèle théorique qui semble tournée en 1977 et, pour la première fois, rendu accessible des résultats qu'elle a trouvé dix ans plus tôt et inclus dans sa thèse. Dans les années 1980, toutefois, a vu Blum rendre une décision majeure pour se consacrer exclusivement à la recherche. A National Science Foundation Award en 1983 lui a permis de commencer une collaboration plus fructueuse avec Mike Shub. Elle a été professeur invité à la City University de New York Graduate Center pendant un certain temps et plus tard, elle était un scientifique invité à l'IBM TJ Watson Research Center. Puis, en 1988, elle est devenue un membre du Groupe de Théorie de l'International Computer Science Institute à Berkeley. Après cette Blum les fonctions de sous-directeur du Mathematical Sciences Research Institute à Berkeley de 1992 à 1997.

À partir de la fin des années 1980 et tout au long des années 1990 Blum, avec plusieurs co-auteurs, a élaboré de nouvelles orientations dans la théorie de calcul et de la complexité. Une première contribution a été Blum en 1989 Conférences sur papier une théorie de calcul et de la complexité sur le real (ou un anneau arbitraire) qui a étendu les théories de calcul et la complexité de la norme discret situation à étudier comment ces idées peuvent être développées dans les domaines continu comme le nombre réel système. Travailler avec Smale, elle a répondu à une question en 1990, ce qui avait été posée par Roger Penrose. Ils ont prouvé que l'ensemble de Mandelbrot est indécidable, une question qui Turing théorie ne permet pas à un même formuler. Dans la même année Blum a été invité à s'adresser au Congrès international des mathématiciens à Kyoto, au Japon, sur ces nouvelles théories.

Le premier manuel sur cet important nouveau domaine a été de complexité et Real Computation publié en 1998 conjointement par Blum, Steve Smale, Mike Shub, et Felipe Cucker. Dans ce livre, ils font valoir que la théorie de la complexité classique, basé sur le modèle de Turing, est insuffisant pour l'étude de nombreux problèmes et algorithmes de calcul scientifique moderne, l'ouvrage développe une théorie de la complexité qui peut être appliquée à ces domaines. Pour illustrer cette nouvelle approche nous citer l'introduction:

La théorie classique de calcul a son origine dans les travaux de logiciens - de Godel, Turing, ... , Entre autres - dans les années 1930 l'art Le modèle de calcul développées dans les décennies suivantes, la machine de Turing, a été extraordinairement réussi à donner les fondements et le cadre théorique pour l'informatique.

Le point de vue de ce livre est que le modèle de Turing (nous l'appelons "classique") avec sa dépendance à l'égard de 0 's et 1 s, est fondamentalement insuffisante pour fournir une telle base de calcul scientifique moderne , Où la plupart des algorithmes - dont les origines sont à Newton, Euler, Gauss, et al. -- Sont de véritables nombre d'algorithmes.

Klaus Meer, l'examen de l'ouvrage, écrit:

Le livre est très bien écrit. Chaque thème est développé à partir de son tout début et, par conséquent, le livre est déjà parfait pour une utilisation sur les cycles supérieurs. Cependant, la plupart des résultats présentés définir l'état actuel de la technique et, par conséquent, cette monographie est un must pour tous ceux qui s'intéressent au domaine. Particulièrement frappant est l'interaction de diverses disciplines mathématiques telles que la théorie des nombres algébriques, géométrie algébrique, logique, et de l'analyse numérique, pour ne citer que quelques-uns. Cela montre dans une manière très convaincante les différents aspects de l'approche actuelle.

Blum a passé les années académiques 1996-98 comme professeur invité de Mathématiques et Informatique à la City University de Hong Kong. En plus de continuer à développer ses idées importantes dans la recherche, Blum a contribué à entreprendre une refonte du cours de mathématiques. Tout à Hong Kong, elle a donné une entrevue dans laquelle elle a expliqué l'orientation actuelle de ses travaux de recherche. Bien que dans une certaine mesure, il répète ce que nous avons écrit ci-dessus, il est un non-description technique qui est bien mérite d'être cité:

Informatique théorique est très bien développé, mais les types de problèmes dont elle s'occupe sont ce que nous appelons discret problèmes - qui ont des problèmes avec des graphiques ou des dénombrements. Il ya toute une autre forme de calcul qui a à voir avec les problèmes plus continu. ... Calcul utilise des nombres réels plutôt que de compter les numéros parce que c'est la mesure de choses dans le monde réel. La théorie de l'informatique traite de compter le nombre mais pas des nombres réels.

Nous avons développé une théorie parallèle ... de calcul qui traite avec le réel, monde physique. La continuité est le calcul de mathématiques et physique, mais il n'ya jamais eu une théorie de calcul qui traite de ce continuum. C'est ce que nous avons développé.

En 1999, Blum a été nommé brillante carrière de professeur d'informatique de Carnegie Mellon University.

Source:School of Mathematics and Statistics University of St Andrews, Scotland