ארנון אברון
ארנון אברון (נולד ב-1952 בתל אביב) הוא מתמטיקאי ישראלי ופרופסור מן המניין בחוג למדעי המחשב בבית הספר למדעי המתמטיקה באוניברסיטת תל אביב. תחומי מחקרו הם לוגיקה מתמטית ושימושיה במדעי המחשב ובבינה מלאכותית.
 | |
| לידה |
1952 (בן 67 בערך) תל־אביב–יפו, ישראל  |
|---|---|
| מדינה |
ישראל |
| השכלה |
אוניברסיטת תל אביב האוניברסיטה העברית בירושלים |
| מקצוע |
מתמטיקאי, מדען מחשב |
  | |
תוכן עניינים
קורות חייםעריכה
אברון סיים את לימודי תואר ראשון במתמטיקה בהצטיינות יתרה באוניברסיטת תל אביב (1973) ולו תואר שני מהאוניברסיטה העברית (1975). הוא סיים דוקטורט באוניברסיטת תל אביב בשנת 1985, בהנחיית חיים גייפמן ויורם הירשפלד. נושא עבודת הדוקטורט שלו הוא: The semantics and proof theory of relevance logics and non-trivial theories containing contradictions.
אברון מלמד באוניברסיטת תל אביב משנת 1978. בשנת 1995 עלה לדרגת פרופסור חבר ובשנת 1999 לפרופסור מן המניין. בשנים 1992 - 1993 היה פרופ' אורח באוניברסיטת סטנפורד.
בשנת 2002 חתם עם אנשי אקדמיה נוספים על עצומה המחזקת את ידיהם של סרבני מצפון המסרבים לשרת בשטחים.[1]
בשנת 2006 הוא היה בין עורכיו של ספר שפורסם לכבוד בוריס טרכטנברוט בהוצאת שפרינגר.
מספריועריכה
- משפטי גדל ובעיית היסודות של המתמטיקה, האוניברסיטה המשודרת, הוצאת משרד הביטחון, 1998.
- זהו ספר מדע פופולרי המבוסס על הרצאות שנתן במסגרת האוניברסיטה המשודרת של גלי צה"ל. הספר דן בניסיון להעמיד את המתמטיקה על יסודות איתנים ועקביים, על בעיות שצצו כמו מספרים אי-רציונליים ופרדוקס ראסל ולבסוף משפטי האי שלמות של גדל והשפעתם על המתמטיקה.
- מבוא למתמטיקה בדידה
- זהו ספר לימוד לקורס מתמטיקה בדידה המועבר באוניברסיטת תל אביב. הספר כולל מבוא ללוגיקה, תורת הקבוצות, עוצמות אינסופיות, קומבינטוריקה ותורת הגרפים.
קישורים חיצונייםעריכה
- גנאלוגיה מתמטית של ארנון אברון, באתר פרויקט הגנאלוגיה במתמטיקה
- דף אישי באתר אוניברסיטת תל אביב
- הספר מתמטיקה בדידה של ארנון להורדה, באתר אוניברסיטת תל אביב
