אריה חינקיס (מכון כהן), איפיון הוכחה מתמטית באמצעות גשטלט ומטפורה

 

יום שני, 16.4.2012, בשעה 18:00

גילמן, חדר 449

 

התכנסות לקפה וכיבוד קל בשעה 17:45, ליד חדר 449

 

 

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

• 1. השוואה שיטתית בין הוכחות שונות לאותו משפט.
• 2. השוואת  הוכחות למשפטים שונים על-מנת לגלות את מקורותיהן של הוכחות. בכך מוצעת  היסטוריוגרפיה חדשה שעניינה "ההיסטוריה הפנימית      של המתמטיקה".
• 3. הצעת תאוריה חדשה, "עיבוד הוכחה", בהקשר הגילוי של המתמטיקה, דהיינו  עבור המתודולוגיה של התפתחות המתמטיקה.
• 4. הצגה פופולרית של תכנים מתמטיים מורכבים.

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

 

 

 פרופ' יוסי שוורץ, יו"ר

הציבור מוזמן