זה כמאה שנים נמצאת המתמטיקה במשבר בכל הקשור ליסודותיה ולאמינות משפטיה. עובדה זו הובילה לגיבוש זרמים פילוסופיים שונים ביחס למהותה וליסודותיה של המתימטיקה, וגם לעריכת תכניות מחקר גדולות שנועדו להוכיח את צדקתם של זרמים אלו. מחקר מתמטי זה הניב אחדים מהמשפטים החשובים ביותר בתולדות המתמטיקה, והבולטים שבהם הם משפטי אי - השלמות של קורט גדל. על משפטי גדל נכתבו כבר תלי - תלים של פרשנויות, אך הוויכוח על משמעותם עודנו רחוק מהכרעה. ספר זה ינסה לעמוד על מהות המשבר, על הדרכים השונות שהוצעו להיחלצות ממנו ועל תוצאות המחקר המתמטי שהתלווה אליהם. מטרתו העיקרית היא להביא את הקורא בסודם של אותם נושאים במתימטיקה המודרנית הרלוונטיים לכל דיון רציני בשאלות יסוד בחיינו: האם קיימת אמת ודאית? האם יש גבולות א - פריוריים לידע האנושי? והאם יש הבדל עקרוני בין האדם למחשב? פרופ' ארנון אברון מלמד בחוג למדעי המחשב בבית הספר למתימטיקה של אוניברסיטת תל - אביב. תחומי מחקרו הם לוגיקה מתמטית ושימושיה במדעי המחשב ובבינה מלאכותית.

שם הספר
משפטי גדל ובעיית היסודות המתמטיקה