László Kalmár

László Kalmár (el 27 de marzo de 1905 – el 2 de agosto de 1976) era un matemático húngaro y Profesor en la universidad de Szeged. Kalmár se considera el fundador de Ciencias informáticas lógicas y teóricas matemáticas en Hungría.

Biografía

Sus años mozos mezclaron la promesa y la tragedia. Su padre murió cuando era joven, y su madre murió cuando tenía 17 años, el año entró en la universidad de Budapest, haciéndole esencialmente un huérfano.

La brillantez de Kalmár se manifestó mientras en escuelas de Budapest. En la universidad de Budapest, sus profesores incluyeron Kürschák y Fejér. Sus compañeros de estudios incluyeron al futuro lógico Rózsa Péter. Kalmár se graduó en 1927. Descubrió la lógica matemática, su campo elegido, visitando Göttingen en 1929.

Para completar su doctorado en Budapest, tomó una posición en la universidad de Szeged. Esa universidad generalmente se arregló del personal de la ex-universidad de Kolozsvár, una universidad húngara principal antes de la Primera guerra mundial que se encontró después de la guerra en Rumania. Kolozsvár era Cluj renombrado. La universidad húngara se movió a Szeged en 1920, donde no hubo antes ninguna universidad. La cita de Haar y Riesz convirtió Szeged en un centro de investigación principal para matemáticas. Kalmár comenzó su carrera como un asistente de investigación de Haar y Riesz. Kalmár se designó a un profesor lleno en Szeged en 1947. Era el poseedor inaugural de la silla de Szeged para las Fundaciones de Matemáticas y Ciencias informáticas. También fundó el Laboratorio Cibernético de Szeged y el Grupo de investigación para la Teoría de Autómatas y la Lógica Matemática.

En la lógica matemática, Kalmár demostró que ciertas clases de fórmulas del primer cálculo del predicado de pedido eran decidable. En 1936, demostró que el cálculo del predicado se podría formular usando un predicado binario solo, si la definición recurrente de un término fuera suficientemente rica. (Este resultado comúnmente se atribuye a un periódico de 1954 de Quine.) Descubrió una forma alternativa de la aritmética recurrente primitiva, conocida como la aritmética recurrente elemental, basada en funciones primitivas que se diferencian de la clase habitual. Hizo todo lo posible promover ordenadores y ciencias informáticas en Hungría. Escribió en ciencias informáticas teóricas, incluso lenguajes de programación, corrección de errores automática, usos no numéricos de ordenadores y la conexión entre ciencias informáticas y lógica matemática.

Kalmar se eligió a la Academia húngara de Ciencias en 1949 y se concedió el Premio Kossuth en 1950 y el Premio estatal húngaro en 1975.

En 1933 Kalmár se casó con Erzsébet Arvay; tenían cuatro niños.

Funciones elementales

Kalmar definió lo que se conoce como funciones elementales, funciones teóricas por el número (es decir los basados en los números naturales) aumentado de las nociones de composición y variables, las constantes 0 y 1, adición repetida + de las constantes, substracción apropiada ∸, saltó la adición y saltó el producto (Kleene 1952:526). La eliminación del producto saltado de esta lista cede las funciones elementales subelementales o inferiores. Por el uso del modelo computacional abstracto llamado una máquina del registro Schwichtenberg proporciona una demostración que "todas las funciones elementales son computables y totalmente definidas" (Schwichtenberg 58).

Enlaces externos



Buscar