פילוסופיה של המתמטיקה
- מבוא... המוח האנושי, ואינה קיימת בלעדיו. ביטוי נחרץ לגישה זו נתן המתמטיקאי הגרמני לאופולד קרונקר, באומרו: אלוהים ברא את המספרים הטבעיים, כל היתר הוא מעשה ידי אדם. עם המתמטיקאים הבולטים שהחזיקו בדעה זו נמנים גם ריכארד דדקינד וקארל ויירשטראס. גם ... להביא לאקסיומטיקה שלמה ועקבית (קונסיסטנטית). הילברט ביקש להראות את העקביות של המערכת המתמטית מההנחה כי האריתמטיקה הפיניטארית (כלומר, המספרים הטבעיים, שנחשבו כמקובלים על הכל מבחינה פילוסופית) היא עקבית. משפט האי שלמות השני של גדל הביא את תוכנית הילברט אל ... מערכות אקסיומטיות חזקות אינן יכולות לעולם להוכיח את העקביות של עצמן. בפרט כל מערכת אקסיומטית סבירה שתכלול את המספרים הטבעיים לא תוכל להוכיח את העקביות של עצמה. הילברט היה במקור דדוקטיביסט, אך כפי שאפשר לראות מההסבר שלנו, הוא חשב כי שיטות מטא - מתמטיות מסוימות מביאות לתוצאות משמעותיות, והוא היה ריאליסט ביחס למספרים הטבעיים. מאוחר יותר היה בדעה כי אין מטא - מתמטיקה משמעותית כלשהי, ולא משנה באיזה פירוש. פורמליסטים מודרניים, כגון רודולף ... יוליוס קיסר=2. קונסטרוקטיביזם ואינטואיציוניזם: אינטואיציוניזם היא עמדה שבאה בעקבות טענתו של קאנט, בדבר האפשרות להגיע אל ההכרה הממשית של טבע העולם באמצעות התבונה בלבד, ולפיה כל הידע המתמטי נובע מהחשיבה האנושית. כל עצם מתמטי הוא תוצר של השכל, ולכן ... לקבל לדיון המתמטי רק עצם שקיימת דרך ברורה לבנותו. ציטוט טיפוסי הוא של לאופולד קרונקר: אלוהים ברא את המספרים הטבעיים, כל השאר הוא עבודת האדם. כוח משמעותי מאחורי האינטואיציוניזם הוא ל. אי. גיי. בראואר, שהציע לוגיקה חדשה, השונה מהלוגיקה ... סופיים משמעותיות, וכי רק אותם המתמטיקה צריכה לחקור. תאוריות השכל המוגשם: תאוריות אלה טוענות כי החשיבה המתמטית היא פיתוח טבעי של המערכת הקוגניטיבית האנושית לנוכח היקום הפיזי. לדוגמה, המושג המופשט של מספר מגיע מהחוויה של ספירת חפצים נפרדים. כלומר, ... האינפיניטסימלי במאה ה - 19. הם גם אומרים כי ישנה אמונה רבה מדי בהוכחות אקסיומטיות ובביקורת עמיתים הדדית. את טבעה החברתי של המתמטיקה אפשר לראות בתתי - התרבות שלה. אפשר לעשות גילויים חשובים בענף אחד של המתמטיקה שיהיו רלוונטיים ... ההתחלה של התנועה הייתה במאמר מפורסם של יוגין ויגנר מ - 1960, היעילות הלא - סבירה של המתמטיקה במדעי הטבע, שבו טען כי העובדה שהמתמטיקה ומדעי הטבע כה מתאימים זה לזה לא יכולה להיות מקרית, אך קשה להסביר אותה. האסכולות הקוגניטיביות או החברתיות הן תשובות לאתגר ... גדול יותר שהם יטעו בחישוביהם. פעולה ומעשה: חוקרים רבים שאינם עוסקים בהוכחת משפטים מתמטיים העירו כמה הערות מעניינות ביחס לטבעה של המתמטיקה: יהודה פרל טען, כי כל המתמטיקה כפי שהיא כיום מבוססת על אלגברה של ראייה - והציע אלגברה ... שטוענים כי דבר זה הוא תוצאה של כישלון לא של הפילוסופיה של המתמטיקה, אלא של הבלשנות ושל מחקר התחביר הטבעי. תחומים אלה, הם אומרים, אינם קשיחים מספיק, והבלשנות צריכה לסגור את הפער. אך דבר זה נסמך במרומז על הרעיון ...