Арнон Аврон - Arnon Avron

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

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

биография

Рожден в Тель-Авив в 1952 году Арнон Аврон изучал математику в Тель-авивский университет и Еврейский университет Иерусалима, получив докторскую степень. с отличием из Тель-Авивского университета в 1985 году. С 1986 по 1988 год он был посетителем Эдинбургский университет с Лаборатория основ информатики, где он начал свое общение с Информатика.^[2]

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

Исследование

Сфера научных интересов Аврона: теория доказательств, автоматическое рассуждение, неклассическая логика, основы математики, и приложения математическая логика в Информатика и искусственный интеллект. Арнон внес значительный вклад в теорию автоматизированного мышления, представив гиперсеквенты, обобщение последовательное исчисление.^[3][4] Аврон также ввел использование двухрешеток в непротиворечивая логика, и внес вклад в теория предикативных множеств и геометрия.^[2]

Избранные работы

Книги

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

Статьи

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

внешние ссылки

• Арнон Аврон на Проект "Математическая генеалогия"

использованная литература

1. «Арнон Аврон». Тель-авивский университет. Получено 19 февраля 2019.
2. Ариэли, Офер; Кониковская, Беата; Рабинович Александр; Заманский, Анна (2016). «Предисловие». Журнал логики и вычислений. 2 (1): 1–6. Дои:10.1093 / logcom / ext023.
3. Аврон, Арнон (1996). «Метод гиперсеквенций в теории доказательств пропозициональных неклассических логик» (PDF). В Ходжес, Уилфрид; Хайленд, Мартин; Стейнхорн, Чарльз; Трасс, Джон (ред.). Логика: от основ до приложений. Нью-Йорк: Clarendon Press. С. 1–32. ISBN  978-0-19-853862-2.
4. Аврон, Арнон (1991). «Гиперсеквенты, логические следствия и промежуточная логика для параллелизма». Анналы математики и искусственного интеллекта. 4 (3–4): 225–248. Дои:10.1007 / BF01531058.