Arnon Avron ( hebreo : ארנון אברון ; nacido en 1952) es un matemático israelí y profesor de la Facultad 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]
Arnon Avron | |
---|---|
ארנון אברון | |
Nació | 1952 (68 a 69 años de edad) |
Nacionalidad | israelí |
alma mater | Universidad de Tel Aviv Universidad Hebrea de Jerusalén |
Carrera científica | |
Campos | Lógica matemática |
Instituciones | Universidad de tel aviv |
Tesis | La semántica y la teoría de la prueba de las lógicas de relevancia y las teorías no triviales que contienen contradicciones (1985) |
Consejeros de doctorado | Haim Gaifman Yoram Hirschfeld |
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, que era un visitante en la Universidad de Edimburgo 's Laboratorio de Fundamentos de Informática , donde comenzó su asociación con la informática . [2]
En 1988 se convirtió en miembro principal de la facultad del Departamento de Ciencias de la Computación (más tarde Escuela de Ciencias de la Computación) de la Universidad de Tel Aviv, presidió la Escuela en 1996-1998 y se convirtió en Profesor Titular en 1999. [2]
Investigar
Los intereses de investigación de Avron incluyen la teoría de la prueba , el razonamiento automatizado , la lógica no clásica , los fundamentos de las matemáticas y las aplicaciones de la lógica matemática en la informática y la inteligencia artificial . Arnon hizo una contribución significativa a la teoría del razonamiento automatizado con su introducción de hipersecuentes , una generalización del cálculo secuencial . [3] [4] Avron también introdujo el uso de bilattices a la lógica paraconsistente e hizo contribuciones a la teoría de conjuntos predicativa y la geometría . [2]
Trabajos seleccionados
Libros
- Avron, Arnon (2001). Introducción a las matemáticas discretas (en hebreo). Tel Aviv: Prensa de la Universidad de Tel Aviv.
- Avron, Arnon (1998). Teoremas de Gödel y el problema de los fundamentos de las matemáticas . Broadcast University Series (en hebreo). Israel: Publicaciones del Ministerio de Defensa.
Artículos
- Avron, Arnon (1996). "El método de las hipersecuentes en la teoría de la prueba de la lógica proposicional no clásica" (PDF) . En Hodges, Wilfrid ; Hyland, Martin ; Steinhorn, Charles; Truss, John (eds.). Lógica: de los cimientos a las aplicaciones . Nueva York: Clarendon Press. págs. 1-32. ISBN 978-0-19-853862-2.
- Avron, Arnón; Honsell, Furio; Mason, Ian A .; Pollack, Robert (1992). "Uso de cálculo lambda tipado para implementar sistemas formales en una máquina". Revista de razonamiento automatizado . 9 (3): 309–354. doi : 10.1007 / BF00245294 .
- Avron, Arnon (1991). "Lógicas naturales de 3 valores: teoría de la caracterización y la prueba". El diario de la lógica simbólica . 56 (1): 276-294. doi : 10.2307 / 2274919 . JSTOR 2274919 .
- Avron, Arnon (1991). "Hipersecuentes, consecuencia lógica y lógicas intermedias para la concurrencia". Anales de Matemáticas e Inteligencia Artificial . 4 (3–4): 225–248. doi : 10.1007 / BF01531058 .
- Avron, Arnon (1988). "La semántica y teoría de la prueba de la lógica lineal". Informática Teórica . 57 (2-3): 161-184. CiteSeerX 10.1.1.29.9 . doi : 10.1016 / 0304-3975 (88) 90037-0 .
enlaces externos
- Arnon Avron en el Proyecto de genealogía matemática
Referencias
- ^ "Arnon Avron" . Universidad de Tel Aviv . Consultado el 19 de febrero de 2019 .
- ^ a b c Arieli, Ofer; Konikowska, Beata; Rabinovich, Alexander; Zamansky, Anna (2016). "Prefacio". Revista de Lógica y Computación . 2 (1): 1–6. doi : 10.1093 / logcom / ext023 .
- ^ Avron, Arnon (1996). "El método de las hipersecuentes en la teoría de la prueba de la lógica proposicional no clásica" (PDF) . En Hodges, Wilfrid ; Hyland, Martin ; Steinhorn, Charles; Truss, John (eds.). Lógica: de los cimientos a las aplicaciones . Nueva York: Clarendon Press. págs. 1-32. ISBN 978-0-19-853862-2.
- ^ Avron, Arnon (1991). "Hipersecuentes, consecuencia lógica y lógicas intermedias para la concurrencia". Anales de Matemáticas e Inteligencia Artificial . 4 (3–4): 225–248. doi : 10.1007 / BF01531058 .