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

פרופ' ארנון אברון

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

פרופ' ארנון אברון

יצא לאור ע"י הוצאת משרד הביטחון,







ללא דירוג ללא דירוג
0 בנים   0 בנות
162 התעניינו בספר

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










©2006-2015 לה"ו בחזקת חברת סימניה - המלצות ספרים אישיות בע"מ