Арнон Аврон

Арнон Аврон ( иврит : ארנון אברון ; родился в 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.