Lester Randolph Ford

Lester R Ford estudió en la Escuela Normal del Estado de Missouri (donde se graduó Pd.B., es Licenciado en Pedagogía) y luego asistió a la Universidad Estatal de Missouri. Se graduó con una licenciatura en 1911, y luego continuó estudiando para su Maestría.

Fue galardonado con una maestría en el Departamento de Matemáticas de la Universidad de Missouri-Columbia en 1912 con una tesis sobre Point-sabios funciones discontinuas. Luego se realizó una investigación en Harvard con Maxime Bôcher como su consejero, y se graduó MA en 1913. A partir de 1914 dio clases en la Universidad de Edimburgo en Escocia, donde fue nombrado como Profesor Ayudante en matemáticas después de la muerte de John Urquhart.

Él publicó una introducción a la teoría de funciones automorfas como Tract Edinburgh Mathematical n º 6 en 1915.

Ford leyó un documento a la Sociedad Matemática de Edimburgo en una clase de fracciones continuas en la segunda reunión de la sesión 1916-17. Ford volvió a los Estados Unidos y terminó el trabajo de doctorado en la Universidad de Harvard. Obtuvo el doctorado en 1917 por su tesis en aproximaciones racionales para un número complejo irracional. Un papel importante en base a sus tesisaproximaciones racionales a los irracionales números complejos se publicó en los Transacciones de la American Mathematical Society en 1918. El documento, presentado en 1917, da la dirección de Ford como la Universidad de Edimburgo. En 1919 se publicó Matemáticas elementales para la artillería de campo que fue preparado y publicado por la dirección del Jefe de Artillería de Campo, Escuela de Oficiales de Artillería de Campaña Centroamericana de Capacitación, Camp Zachary Taylor, Kentucky.

Después de sus contribuciones al esfuerzo de la guerra, Ford se unió a la facultad en el Instituto Rice, Houston, Texas, y si bien hay que publicó documentos tales como la cercanía de enfoque de complejos fracciones racionales para un número complejo irracional (1925), la solución de ecuaciones por el método de aproximaciones sucesivas (1925), sobre las mociones que cumplan primera y segunda ley de Kepler (1927/28), y los puntos límite de un grupo (1929). Se casó con Marguerite Eleanor John (nacido el 26 de enero de 1890 a Robert A John y Margaret Morrow Houston) el 15 de junio de 1924; sus hijos son Lester Randolph Ford (nacido el 23 de septiembre de 1927 en Houston), Houston y Margaret Ford (nacido el 03 de septiembre 1930 ). Lester Randolph Ford, Jr. se convirtió en un destacado matemático que trabajó para la Corporación RAND.

Dos libros importantes publicados por Ford son funciones Automorphic (1929) y Ecuaciones Diferenciales (1933, segunda edición 1955).Además de su trabajo en el punto de sabios funciones discontinuas que hemos mencionado anteriormente, Ford es el más conocido para una "interpretación geométrica absolutamente maravillosa de la serie Farey". Esta interpretación geométrica vino de su introducción de los círculos de Ford. Él introdujo el concepto en un artículo de 1938 llamado "fracciones" [Ford, LR (1938) Fracciones. The American Mathematical Monthly. vol. 45, N ° 9, páginas 586-601].

A finales de 1930 Ford trasladado desde el Instituto Rice al Instituto Armour of Technology en Chicago, Illinois, donde fue nombrado Profesor y Presidente del Departamento de Matemáticas. En 1940 el Instituto de Tecnología de armadura se fusionó con el Instituto Lewis (que había sido fundada en 1896) para formar el Instituto de Tecnología de Illinois. Él había ganado la reputación de ser un excelente expositor y escribió artículos pendientes, así como contribuir muchos problemas matemáticos y soluciones.

De 1942 a 1946 Ford fue editor de la American Mathematical Monthly. Cuando cumplió cinco años de servicio que escribió Retrospect (Amer. Matemáticas. Monthly 53 (10) (1946), 582-585) en el que describía la experiencia.Ford fue el de Presidente de la Asociación Matemática de América desde 1947 hasta 1948. Después de haber jugado un papel tan importante, no es sorprendente que muchos deseaban marcar es septuagésimo aniversario con un homenaje matemática. El vino con la siguiente dedicatoria: -

Tal fue su contribución a las matemáticas que el Premio Lester R Ford se estableció en 1964 para reconocer a los autores de artículos de excelencia expositiva publicados en The American Mathematical Monthly o Revista Matemática. A partir de 1975 un premio independiente fue creada para los artículos que aparecen en la Revista Matemática por lo que desde entonces sobre el Premio Lester R Ford aplica sólo a artículos que aparecen en el American Mathematical Monthly. Los premios son de $ 500 y un máximo de cinco se otorgan cada año en la Reunión de Verano de la Asociación Matemática de América . La siguiente descripción del fondo se publicó algún tiempo después de su creación.

L R Ford, Retrospect, Amer. Math. Monthly
Lester R Ford., M.A., Lecturer in Mathematics, University of Edinburgh, The Gambolier VII
Biographical Index of Staff and Alumni (University of Edinburgh).

Robert W. Floyd

Robert W (Bob) Floyd (8 junio 1936 a 25 septiembre 2001) fue un eminente científico de la computación. Sus contribuciones incluyen el diseño del algoritmo de Floyd-Warshall (independientemente de Stephen Warshall), que de manera eficiente busca todos los caminos más cortos en un gráfico , el ciclo de Investigación Floyd algoritmo para la detección de ciclos en una secuencia, y su trabajo en el análisis. En un artículo aislado introdujo el concepto importante de difusión de errores para las imágenes que prestan, también llamado Floyd-Steinberg (aunque él distingue tramado de difusión). Un logro significativo fue pionero en el campo de la verificación de programas utilizando aserciones lógicas con los 1967 Significados de papel asignando a los programas. Esta fue una importante contribución a lo que más tarde se convirtió en la lógica de Hoare. 

 profesor emérito y ex presidente del Departamento de Ciencias de la Computación, murió el 25 de septiembre después de una larga enfermedad. Tenía 65 años.

.Una beca le permitió estudiar en la Universidad de Chicago, donde obtuvo una licenciatura en artes liberales en 1953 a los 17 años. Después de que él mismo apoyó y obtuvo otra licenciatura en física en 1958.

Aunque él nunca fue a través de los trámites de obtención de un doctorado, antes de su nombramiento como profesor asociado de ciencias informáticas en Stanford en 1968, había escrito por lo menos una docena de documentos considerados superiores a cualquier tesis doctoral en ciencias de la computación en el momento. Su investigación incluyó el diseño y análisis de algoritmos para la búsqueda de los caminos más cortos en una red, el análisis (descomposición) lenguajes de programación, cálculo de cuantiles, la impresión de tonos de gris en una impresora de puntos, la clasificación de la información y la selección de las permutaciones y combinaciones aleatorias.

Su logro científico más importante, sin embargo, fue pionero de métodos sistemáticos de verificación del programa. Su papel seminal 1967 "Significados asignando a los programas", abrió la esfera de la verificación del programa. Su idea básica era unir las llamadas "etiquetas" en la forma de aserciones lógicas a las declaraciones individuales del programa o ramas que se definen los efectos del programa sobre la base de una definición formal semántica del lenguaje de programación. Muchos investigadores en métodos formales de computación en todo el mundo adoptaron este método. Una de las influencias más importantes fue el CAR Hoare, quien en 1969, a partir del trabajo de Floyd, desarrolló su cálculo de la semántica pre y postcondición para los programas de ordenador.

Desde el principio, Knuth y Floyd habían encontrado sus intercambios académicos tan productiva que decidieron que tenía que estar en la misma institución, y ambos llegaron a Stanford. Los dos estaban en constante comunicación cuando Knuth estaba trabajando en su libro The Art of Computer Programming (originalmente la intención de ser un volumen), que debía reunir a todos los algoritmos interesantes que la informática tenía que ofrecer. Pero Knuth no pudo terminar su libro. A medida que escribía, que constantemente tenía que hacer frente a nuevos algoritmos y elegantes que necesitaba para acomodar. Floyd, el libro de mayor publicación previa revisor y la persona citada más que nadie en el libro, fue el principal "culpable". The Art of Computer Programming eventualmente se transformó en una serie de siete volúmenes y sigue siendo un trabajo en progreso.

Floyd pudo haber sido el primer defensor de refactorización - la reescritura de los programas de trabajo a partir de cero, volver a usar sólo las ideas esenciales. Refactoring es una práctica habitual entre los programadores de computadoras. Por continuamente buscando formas más simples de hacer lo mismo, Floyd tuvo como objetivo mejorar no sólo los programas sino también las habilidades de los programadores y la comprensión.

En Stanford, fue profesor de cursos de algoritmos, incluyendo "Ordenación y búsqueda". Con su ex estudiante graduado de Richard Beigel, escribió un libro titulado El lenguaje de las máquinas: Introducción a la computabilidad y Lenguajes Formales (Computer Science Press, 1994).

Floyd fue director del Departamento de Ciencias de la Computación de 1973 a 1975, un período de crecimiento departamental grande cuando Informática pasado de Forsythe Hall para más céntrico Salón Margaret Jacks. Floyd fue capaz de utilizar el prestigio de su cargo junto con Amnistía Internacional y un cuadro internacional de científicos de sistemas para ayudar a salvar el ex ministro de Educación chileno Fernando Flores, quien fue relegado por el gobierno de Pinochet a uno de los campamentos de Chile peores prisiones. Sobre la base de una invitación para estudiar en Stanford, publicado por Floyd, Flores se le permitió abandonar el país con su familia, que finalmente terminó sus estudios en Berkeley y co-autor de un libro de ciencias de la computación de Stanford Profesor Terry Winograd.

En 1978, Floyd ganó la Association for Computing Machinery (ACM) Premio Turing - el más alto honor en ciencias de la computación - "para tener una clara influencia sobre las metodologías para la creación de software eficiente y confiable, y para ayudar a fundar el siguiente importante sub-campos de la informática.: la teoría del análisis, la semántica de los lenguajes de programación, verificación automática de programas, síntesis automática de programas y análisis de algoritmos "

En 1991, el Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) Computer Society otorgó su Premio Floyd Pioneer Computer por su trabajo en los primeros compiladores. (Un compilador es el software que traduce un programa de ordenador como un todo en código de máquina que se guarda para su posterior ejecución en un momento deseado.)

Floyd, quien se retiró de Stanford en 1994, fue miembro de la Academia Americana de las Artes y las Ciencias, la Asociación Americana para el Avance de la Ciencia y la ACM.

Stanford News Service

Edsger Wybe Dijkstra

Sus padres fueron Douwe Dijkstra Wybe y Brechtje Cornelia Kruyper, era el tercero de sus cuatro hijos. Su padre era profesor de química en la escuela secundaria en Rotterdam, mientras que su madre se formó como matemático, aunque nunca tuvo un puesto oficial. Dijkstra escribió más tarde de influencia matemática de su madre en él .

Él atendió a la High School secundaria en Rotterdam y en sus últimos años en el colegio, decidió que quería estudiar derecho. Su ambición era representar a los Países Bajos ante las Naciones Unidas y consideró que un grado de la ley fue el primer paso en esta dirección. Él tomó sus exámenes finales en 1948, anotando las calificaciones más altas posibles en las matemáticas, la física, la química y la biología.En este punto, sus padres y sus maestros, todos trataron de persuadirlo de seguir una carrera en la ciencia, dado su excelente rendimiento en las asignaturas de ciencias. Entonces decidió estudiar física teórica y como un primer paso hacia esto, se fue a la Universidad de Leyden a tomar cursos de matemáticas y física. Su intención era, después de recibir una buena formación en estos temas, que se movería hacia la física teórica.

En 1951 el padre de Dijkstra vi un anuncio de un curso de tres semanas en la programación de computadoras que se dará en la Universidad de Cambridge en Inglaterra en septiembre de ese año. Sintiendo que la posibilidad de programar una computadora era una buena habilidad para un físico teórico para tener así se inscribió en el curso

Aad van Wijngaarden, que era el director del Departamento de Computación del Centro de Matemática en Amsterdam, había tomado el mismo curso en Cambridge en el año anterior, y cuando se enteró de que lo habían terminado Dijkstra, le ofreció un puesto como programador de la Centro de Matemática. Dijkstra aceptó el cargo desde marzo de 1952, pero sólo como un empleo de medio tiempo ya que estaba registrado todavía como estudiante de física teórica en la Universidad de Leyden. 

Después de haber tomado la decisión, Dijkstra completó sus estudios de física teórica en la universidad, donde se graduó en 1956. También en 1956 el Centro de Matemática compitieron construyendo un equipo nuevo y quería hacer una demostración pública 

En 1957 se había casado con María Debets C, tuvieron dos hijos y una hija. Sin embargo, tuvo un problema en su boda por el Juez de Paz no aceptaría 'programador' como profesión para los registros, por lo que tenía que dar "el físico teórico" en el formulario.

El lenguaje de programación ALGOL-60 fue diseñado por un equipo internacional que comenzó a funcionar en diciembre de 1958. Dijkstra, quien fue miembro del equipo, hizo varias contribuciones importantes: gracias a él fue la introducción explícita de la recursividad y en el manejo de la recursividad, introdujo la noción de una 'pila', una palabra por Dijkstra, que es ahora totalmente terminología estándar. Dijkstra, junto con uno de sus colegas en el Centro de Matemáticas, escribió el primer compilador de ALGOL-60, que se completó en agosto de 1960. Dijkstra, en retrospectiva, considerado ALGOL-60

En 1972 ganó el ACM Turing Award, que es considerado el galardón más prestigioso en Informática. Al aceptar el premio que le dio la dirección de El programador humilde que contiene una notable colección de reflexiones sobre el futuro de la asignatura que ahora, con la ventaja de la retrospectiva, podemos ver ahora eran absolutamente correcto. En agosto de 1973 se unió a Dijkstra Burroughs Corporation como Investigador y Profesor Extraordinario se realizó en Eindhoven 

Otros premios y honores a Dijkstra incluyen su elección a la Real Academia Holandesa de Artes y Ciencias (1971) y miembro electo distinguido de la British Computer Society (1971), recibió el AFIPS Harry Goode Memorial Award (1974), nombrado miembro honorario de Relaciones Exteriores de la Academia Americana de las Artes y las Ciencias (1975), galardonado con un Doctorado Honoris Causa en Ciencias por la Universidad Queen de Belfast (1976), galardonado con el Premio Pionero de la Computación de la IEEE Computer Society (1982), galardonado con el Premio ACM / SIGCSE por sus sobresalientes contribuciones a la computadora de la educación científica (1989), elegido ACM Fellow (1994), doctor honoris causa por la Universidad de Atenas, Grecia (2001), galardonado con el Premio ACM papel influyente por su papel auto-estabilizado a pesar de los sistemas de control distribuido (2002) . Su laudo definitivo fue en 2002 de la Fundación C & C de Japón:

history.mcs.st-and.ac.uk/Biographies/Dijkstra

Delbert Ray Fulkerson

Delbert Ray Fulkerson (14 ag 1924 a 10 en 1976) fue un matemático que co-desarrolló el algoritmo de Ford-Fulkerson , uno de los más conocidos algoritmos para resolver el problema de flujo máximo en redes .

Fulkerson se crió en un pequeño pueblo del sur de Illinois y se convirtió en un estudiante en la Southern Illinois University . Su carrera académica se vio interrumpida por el servicio militar durante la Segunda Guerra Mundial . Habiendo regresado a completar su grado después de la guerra, se fue a hacer un doctorado en matemáticas en la Universidad de Wisconsin-Madison , bajo la supervisión de Ciro MacDuffee , que era un estudiante de LE Dickson . Fulkerson recibió su Ph.D. en 1951.Primeros años y educación

Tenía entonces con el departamento de matemáticas de la RAND Corporation hasta 1971 cuando se trasladó a la Universidad de Cornell como profesor Maxwell Upson de Ingeniería. Permaneció en Cornell hasta que se suicidó en 1976.

Fulkerson fue el supervisor de Jon Folkman en RAND.

En 1956, publicó su documento se señala en el algoritmo de Ford-Fulkerson junto con LR Ford, Jr. . En 1979, el prestigioso Premio Fulkerson se estableció que ahora se concede cada tres años para trabajos sobresalientes en matemáticas discretas en forma conjunta por la Sociedad de Programación Matemática y la Sociedad Americana de Matemáticas .

LR Ford;. Fulkerson DR (1962) Flujos en Redes. Princeton, NJ: Princeton University Press