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