Matemático israelí
Arnon Avron ( hebreo : ארנון אברון ; nacido en 1952) es un matemático israelí y profesor de la Escuela de Ciencias de la Computación de la Universidad de Tel Aviv . Su investigación se centra en las aplicaciones de la lógica matemática a la informática y la inteligencia artificial . [1]
Biografía
Nacido en Tel Aviv en 1952, Arnon Avron estudió matemáticas en la Universidad de Tel Aviv y la Universidad Hebrea de Jerusalén , recibiendo un doctorado magna cum laude de la Universidad de Tel Aviv en 1985. Entre 1986 y 1988, fue visitante en el Laboratorio de Fundamentos de Ciencias de la Computación de la Universidad de Edimburgo , donde comenzó su asociación con la ciencia de la computación . [2]
En 1988 se convirtió en miembro principal del Departamento de Ciencias de la Computación (más tarde Escuela de Ciencias de la Computación) de la Universidad de Tel Aviv, presidiendo la Escuela entre 1996 y 1998, y convirtiéndose en profesor titular en 1999. [2]
Investigación
Los intereses de investigación de Avron incluyen la teoría de la prueba , el razonamiento automático , la lógica no clásica y los fundamentos de las matemáticas . Por ejemplo, utilizando la geometría analítica demostró el teorema de Mohr-Mascheroni . [3] Al aplicar la lógica matemática en la informática a la inteligencia artificial , Avron contribuyó a la teoría del razonamiento automático con su introducción de hipersecuentes , una generalización del cálculo secuencial . [4] [5] Avron también introdujo el uso de bilattice en la lógica paraconsistente e hizo contribuciones a la teoría de conjuntos predicativos y la geometría . [2]
Obras seleccionadas
Libros
- Avron, Arnon (2001). Introducción a las matemáticas discretas (en hebreo). Tel Aviv: Tel Aviv University Press.
- Avron, Arnon (1998). Los teoremas de Gödel y el problema de los fundamentos de las matemáticas. Serie de radiodifusión universitaria (en hebreo). Israel: Publicaciones del Ministerio de Defensa.
Artículos
- Avron, Arnon (1996). "El método de hipersecuentes en la teoría de la demostración de lógicas proposicionales no clásicas" (PDF) . En Hodges, Wilfrid ; Hyland, Martin ; Steinhorn, Charles; Truss, John (eds.). Lógica: de los fundamentos a las aplicaciones . Nueva York: Clarendon Press. pp. 1–32. ISBN. 978-0-19-853862-2.
- Avron, Arnon; Honsell, Furio; Mason, Ian A.; Pollack, Robert (1992). "Uso del cálculo lambda tipado para implementar sistemas formales en una máquina". Journal of Automated Reasoning . 9 (3): 309–354. doi :10.1007/BF00245294. S2CID 2528793.
- Avron, Arnon (1991). "Lógicas naturales trivalentes: caracterización y teoría de la prueba". Revista de lógica simbólica . 56 (1): 276–294. CiteSeerX 10.1.1.638.9332 . doi :10.2307/2274919. JSTOR 2274919. S2CID 15084999.
- Avron, Arnon (1991). "Hipersecuentes, consecuencia lógica y lógicas intermedias para concurrencia". Anales de Matemáticas e Inteligencia Artificial . 4 (3–4): 225–248. doi :10.1007/BF01531058. S2CID 9610134.
- Avron, Arnon (1988). "La semántica y la teoría de la prueba de la lógica lineal". Ciencias Informáticas Teóricas . 57 (2–3): 161–184. CiteSeerX 10.1.1.29.9 . doi :10.1016/0304-3975(88)90037-0.
Referencias
- ^ "Arnon Avron". Universidad de Tel Aviv . Consultado el 19 de febrero de 2019 .
- ^ abc Arieli, Ofer; Konikowska, Beata; Rabinovich, Alexander; Zamansky, Anna (2016). "Prólogo". Revista de lógica y computación . 2 (1): 1–6. doi :10.1093/logcom/ext023.
- ^ Arnon Avron (1990) "Sobre la constructibilidad fuerte estricta con solo un compás", Journal of Geometry 38: 12.
- ^ Avron, Arnon (1996). "El método de hipersecuentes en la teoría de la demostración de lógicas proposicionales no clásicas" (PDF) . En Hodges, Wilfrid ; Hyland, Martin ; Steinhorn, Charles; Truss, John (eds.). Lógica: de los fundamentos a las aplicaciones . Nueva York: Clarendon Press. pp. 1–32. ISBN. 978-0-19-853862-2.
- ^ Avron, Arnon (1991). "Hipersecuentes, consecuencia lógica y lógicas intermedias para concurrencia". Anales de Matemáticas e Inteligencia Artificial . 4 (3–4): 225–248. doi :10.1007/BF01531058. S2CID 9610134.
