Arnon Avron - Arnon Avron
Arnon Avron | |
|---|---|
ןון אברון | |
| narozený | 1952 (věk 67–68) |
| Národnost | izraelský |
| Alma mater | Tel Avivská univerzita Hebrejská univerzita v Jeruzalémě |
| Vědecká kariéra | |
| Pole | Matematická logika |
| Instituce | Tel Avivská univerzita |
| Teze | Sémantika a teorie důkazu relevantních logik a netriviálních teorií obsahujících rozpory (1985) |
| Doktorští poradci | Haim Gaifman Yoram Hirschfeld |
Arnon Avron (hebrejština: ןון אברון; narozen 1952) je izraelský matematik a profesor na Fakultě informatiky v Praze Tel Avivská univerzita. Jeho výzkum se zaměřuje na aplikace matematická logika na počítačová věda a umělá inteligence.[1]
Životopis
Narozen v Tel Aviv v roce 1952 studoval Arnon Avron matematiku na Tel Avivská univerzita a Hebrejská univerzita v Jeruzalémě, který získal titul Ph.D. magna cum laude z Tel Avivské univerzity v roce 1985. V letech 1986 až 1988 byl návštěvníkem University of Edinburgh je Laboratoř pro základy informatiky, kde začal svůj vztah s počítačová věda.[2]
V roce 1988 se stal vyšším členem fakulty na katedře informatiky (později School of Computer Science) na univerzitě v Tel Avivu. Předsedal škole v letech 1996–1998 a řádným profesorem se stal v roce 1999.[2]
Výzkum
Mezi výzkumné zájmy společnosti Avron patří teorie důkazů, automatické uvažování, neklasická logika, základy matematiky a aplikace matematická logika v počítačová věda a umělá inteligence. Arnon svým zavedením významně přispěl k teorii automatizovaného uvažování hypersquenty, zobecnění následný počet.[3][4] Společnost Avron také zavedla použití bilattices na parakonzistentní logika a přispěl do predikativní teorie množin a geometrie.[2]
Vybraná díla
Knihy
- Avron, Arnon (2001). Úvod do diskrétní matematiky (v hebrejštině). Tel Aviv: Tel Aviv University Press.
- Avron, Arnon (1998). Gödelovy věty a problém základů matematiky. Broadcast University Series (v hebrejštině). Izrael: Publikace ministerstva obrany.
Články
- Avron, Arnon (1996). „Metoda hypersekvencí v teorii důkazů výrokových neklasických logik“ (PDF). v Hodges, Wilfrid; Hyland, Martin; Steinhorn, Charles; Truss, John (eds.). Logika: Od základů po aplikace. New York: Clarendon Press. s. 1–32. ISBN 978-0-19-853862-2.
- Avron, Arnon; Honsell, Furio; Mason, Ian A .; Pollack, Robert (1992). "Použití zadaného lambda kalkulu k implementaci formálních systémů na stroji". Journal of Automated Reasoning. 9 (3): 309–354. doi:10.1007 / BF00245294.
- Avron, Arnon (1991). „Přirozená logika se 3 hodnotami - charakterizace a teorie důkazů“. The Journal of Symbolic Logic. 56 (1): 276–294. doi:10.2307/2274919. JSTOR 2274919.
- Avron, Arnon (1991). "Hypersequenty, logické důsledky a mezilehlé logiky pro souběžnost". Annals of Mathematics and Artificial Intelligence. 4 (3–4): 225–248. doi:10.1007 / BF01531058.
- Avron, Arnon (1988). "Sémantika a důkazní teorie lineární logiky". Teoretická informatika. 57 (2–3): 161–184. CiteSeerX 10.1.1.29.9. doi:10.1016/0304-3975(88)90037-0.
externí odkazy
Reference
- ^ „Arnon Avron“. Tel Avivská univerzita. Citováno 19. února 2019.
- ^ A b C Arieli, Ofer; Konikowska, Beata; Rabinovich, Alexander; Zamansky, Anna (2016). "Úvodní slovo". Journal of Logic and Computation. 2 (1): 1–6. doi:10.1093 / logcom / ext023.
- ^ Avron, Arnon (1996). „Metoda hypersekvencí v důkazní teorii výrokových neklasických logik“ (PDF). v Hodges, Wilfrid; Hyland, Martin; Steinhorn, Charles; Truss, John (eds.). Logika: Od základů po aplikace. New York: Clarendon Press. s. 1–32. ISBN 978-0-19-853862-2.
- ^ Avron, Arnon (1991). "Hypersequenty, logické důsledky a mezilehlé logiky pro souběžnost". Annals of Mathematics and Artificial Intelligence. 4 (3–4): 225–248. doi:10.1007 / BF01531058.
Kontrolní úřad  |
|---|