израильский математик
Арнон Аврон ( иврит : ארנון אברון ; родился в 1952 году) — израильский математик и профессор Школы компьютерных наук Тель-Авивского университета . Его исследования сосредоточены на применении математической логики в компьютерных науках и искусственном интеллекте . [1]
Биография
Родившийся в Тель-Авиве в 1952 году, Арнон Аврон изучал математику в Тель-Авивском университете и Еврейском университете в Иерусалиме , получив степень доктора философии с отличием в Тель-Авивском университете в 1985 году. С 1986 по 1988 год он был гостем в Лаборатории основ компьютерных наук Эдинбургского университета , где и началось его сотрудничество с компьютерными науками . [2]
В 1988 году он стал старшим преподавателем кафедры компьютерных наук (позднее факультета компьютерных наук) Тель-Авивского университета, возглавлял факультет в 1996–1998 годах и стал профессором в 1999 году. [2]
Исследовать
Научные интересы Аврона включают теорию доказательств , автоматизированные рассуждения , неклассическую логику , основы математики . Например, используя аналитическую геометрию , он доказал теорему Мора-Маскерони . [3] Применяя математическую логику в информатике к искусственному интеллекту , Аврон внес вклад в теорию автоматизированных рассуждений, введя гиперсеквенции , обобщение исчисления последовательностей . [4] [5] Аврон также ввел использование бирешеток в паранепротиворечивую логику и внес вклад в теорию предикативных множеств и геометрию . [2]
Избранные произведения
Книги
- Аврон, Арнон (2001). Введение в дискретную математику (на иврите). Тель-Авив: Издательство Тель-Авивского университета.
- Аврон, Арнон (1998). Теоремы Гёделя и проблема оснований математики. Серия вещательных университетов (на иврите). Израиль: Публикации Министерства обороны.
Статьи
- Avron, Arnon (1996). «Метод гиперсеквенций в теории доказательств пропозициональных неклассических логик» (PDF) . В Hodges, Wilfrid ; Hyland, Martin ; Steinhorn, Charles; Truss, John (ред.). Logic: From Foundations to Applications . New York: Clarendon Press. стр. 1–32. ISBN 978-0-19-853862-2.
- Avron, Arnon; Honsell, Furio; Mason, Ian A.; Pollack, Robert (1992). «Использование типизированного лямбда-исчисления для реализации формальных систем на машине». Journal of Automated Reasoning . 9 (3): 309–354. doi :10.1007/BF00245294. S2CID 2528793.
- Avron, Arnon (1991). «Естественные 3-значные логики — характеризация и теория доказательств». Журнал символической логики . 56 (1): 276–294. CiteSeerX 10.1.1.638.9332 . doi :10.2307/2274919. JSTOR 2274919. S2CID 15084999.
- Аврон, Арнон (1991). «Гиперсеквенции, логическое следствие и промежуточные логики для параллелизма». Annals of Mathematics and Artificial Intelligence . 4 (3–4): 225–248. doi :10.1007/BF01531058. S2CID 9610134.
- Аврон, Арнон (1988). «Семантика и теория доказательств линейной логики». Теоретическая информатика . 57 (2–3): 161–184. CiteSeerX 10.1.1.29.9 . doi :10.1016/0304-3975(88)90037-0.
Ссылки
- ^ "Arnon Avron". Тель-Авивский университет . Получено 19 февраля 2019 г.
- ^ abc Ариели, Офер; Кониковска, Беата; Рабинович, Александр; Замански, Анна (2016). «Предисловие». Журнал логики и вычислений . 2 (1): 1–6. doi :10.1093/logcom/ext023.
- ↑ Арнон Аврон (1990) «О строгой сильной конструктивности с помощью одного циркуля», Журнал геометрии 38: 12.
- ^ Avron, Arnon (1996). «Метод гиперсеквенций в теории доказательств пропозициональных неклассических логик» (PDF) . В Hodges, Wilfrid ; Hyland, Martin ; Steinhorn, Charles; Truss, John (ред.). Logic: From Foundations to Applications . New York: Clarendon Press. стр. 1–32. ISBN 978-0-19-853862-2.
- ^ Аврон, Арнон (1991). «Гиперсеквенции, логическое следствие и промежуточные логики для параллелизма». Annals of Mathematics and Artificial Intelligence . 4 (3–4): 225–248. doi :10.1007/BF01531058. S2CID 9610134.
