Арнон Аврон

Арнон Аврон
Арнон Аврон
Рожденный	1952 (71–72 года) Тель-Авив , Израиль
Национальность	Израильский
Альма-матер	Тель-Авивский университет Еврейский университет Иерусалима
Научная карьера
Поля	Математическая логика
Учреждения	Тель-Авивский университет
Диссертация	Семантика и теория доказательств релевантных логик и нетривиальных теорий, содержащих противоречия   (1985)
Докторские консультанты	Хаим Гейфман Йорам Хиршфельд

Арнон Аврон ( иврит : ארנון אברון ; род. 1952) — израильский математик и профессор Школы компьютерных наук Тель-Авивского университета . Его исследования сосредоточены на применении математической логики в информатике и искусственном интеллекте .

Биография

родился в Тель-Авиве Арнон Аврон в 1952 году. Изучал математику в Тель-Авивском университете и Еврейском университете в Иерусалиме , получив степень доктора философии. с отличием окончил Тель-Авивский университет в 1985 году. В период с 1986 по 1988 год он был посетителем Лаборатории Эдинбургского университета , основ компьютерных наук где и начал свое сотрудничество с информатикой .

В 1988 году он стал старшим преподавателем кафедры компьютерных наук (позже Школы компьютерных наук) Тель-Авивского университета, возглавлял школу в 1996–1998 годах и стал профессором в 1999 году.

Исследовать

Научные интересы Аврона включают теорию доказательств , автоматизированные рассуждения , неклассическую логику , основы математики . Например, с помощью аналитической геометрии он доказал теорему Мора–Машерони . Применяя математическую логику в информатике к искусственному интеллекту , Аврон внес вклад в теорию автоматизированного рассуждения, введя гиперсеквенции , обобщение секвенциального исчисления . Аврон также представил использование бирешеток в паранепротиворечивой логике и внес вклад в теорию предикативных множеств и геометрию .

Избранные произведения

Книги

• Аврон, Арнон (2001). Введение в дискретную математику (на иврите). Тель-Авив: Издательство Тель-Авивского университета.
• Аврон, Арнон (1998). Теоремы Гёделя и проблема оснований математики . Серия Broadcast University (на иврите). Израиль: Публикации Министерства обороны.

Статьи

• Аврон, Арнон (1996). «Метод гиперсеквенций в теории доказательств пропозициональных неклассических логик» (PDF) . В Ходжесе, Уилфрид ; Хайланд, Мартин ; Стейнхорн, Чарльз; Трасс, Джон (ред.). Логика: от основ к приложениям . Нью-Йорк: Кларендон Пресс. стр. 1–32. ISBN  978-0-19-853862-2 .
• Аврон, Арнон; Хонселл, Фурио; Мейсон, Ян А.; Поллак, Роберт (1992). «Использование типизированного лямбда-исчисления для реализации формальных систем на машине». Журнал автоматизированного рассуждения . 9 (3): 309–354. дои : 10.1007/BF00245294 . S2CID   2528793 .
• Аврон, Арнон (1991). «Естественная трехзначная логика - теория характеристик и доказательств». Журнал символической логики . 56 (1): 276–294. CiteSeerX   10.1.1.638.9332 . дои : 10.2307/2274919 . JSTOR   2274919 . S2CID   15084999 .
• Аврон, Арнон (1991). «Гиперсеквенции, логическое следствие и промежуточная логика для параллелизма». Анналы математики и искусственного интеллекта . 4 (3–4): 225–248. дои : 10.1007/BF01531058 . S2CID   9610134 .
• Аврон, Арнон (1988). «Семантика и теория доказательств линейной логики». Теоретическая информатика . 57 (2–3): 161–184. CiteSeerX   10.1.1.29.9 . дои : 10.1016/0304-3975(88)90037-0 .