Archivo de Etiqueta: lógica

La filósofa y lógica Ruth Barcan Marcus (1921-2012) nació un 2 de agosto.
Se le debe la llamada fórmula de Barcan de lógica modal.
Fue pionera en la cuantificación de la lógica modal y la teoría causal de la referencia, llevando a […]

La psicóloga, lógica y matemática Christine Ladd-Franklin (1847-1930)  nació un 1 de diciembre.
Trabajó con el psicólogo G. E. Müller y aprendió de Hermann von Helmholtz, elaborando su propia teoría sobre la visión del color, publicando en 1929 su Color and […]

La matemática Carol Ruth Karp (1926-1972) nació un 10 de agosto.
Fue especialista en lógica infinitaria. Su libro Languages with Expressions of Infinite Length fue una de sus mayores contribuciones en esta área.
El Karp Prize de la Association for Symbolic Logic […]

La matemática Helena Rasiowa (1917-1994) nació un 20 de junio.
Trabajó en fundamentos de la matemática y en lógica.
Defendió su tesis doctoral en 1950, bajo la dirección de Andrzej Mostowski: Algebraic Treatment of the Functional Calculi of Lewis and […]

La matemática Louise Schmir Hay (1935-1989) nació un 14 de junio.
Fue especialista en lógica matemática, teoría de funciones recursivas y ciencia de la computación teórica.
En 1980 fue nombrada directora del Departamento de Matemáticas de la Universidad de Illinois en […]