... המתמטיקה עובדת? 4 יסודות המתמטיקה ומקור הוודאות שלה 4.1 ריאליזם מתמטי, או פלאטוניזם 4.2 פורמאליזם 4.3 לוגיציזם 4.4 קונסטרוקטיביזם ואינטואיציוניזם 4.5 תאוריות
השכל המוגשם 4.6 קונסטרוקטיביות חברתית או ריאליזם חברתי 5 מעבר ל"אסכולות" 5.1 מעין - אמפיריציזם 5.2 פעולה ומעשה 5.3 איחוד 5.4 אתיקה 5.5 אסתטיקה 5.6 שפה היחס לפילוסופיה ... הוא תומך בצורה של "ריאליזם טהור" שדוחה מושגים מיסטיים של אמת, ומקבלת הרבה אמפיריציזם - למחצה במתמטיקה. דוגמה של תאוריה ריאליסטית שמתנגדת לפלאטוניזם היא תאוריית
השכל המוגשם (ראו להלן). פורמליזם: על מצבתו של הילברט חרוטות המילים "אנחנו חייבים לדעת. אנחנו נדע." אידאל זה התנפץ עם משפטי האי שלמות של גדל הפורמליזם טוען כי אפשר לראות ... מאותו סוג; הן תשובות אנליטיות, או טאוטולוגיות. גוטלוב פרגה היה מייסד הלוגיציזם. בספרו החשוב, "החוקים הבסיסיים של האריתמטיקה", הוא בנה את האריתמטיקה ממערכת לוגית,
שכללה את מה שהוא כינה 'החוק הבסיסי החמישי' (שני מושגים F ו - G הם שווי משמעות, אם ורק אם כל אובייקט a המתאים ל - F מתאים גם ל - G), עיקרון שהוא חשב שהוא חלק מקובל של ... בעקבות טענתו של קאנט, בדבר האפשרות להגיע אל ההכרה הממשית של טבע העולם באמצעות התבונה בלבד, ולפיה כל הידע המתמטי נובע מהחשיבה האנושית. כל עצם מתמטי הוא תוצר של
השכל, ולכן קיומו מותנה ביכולת לבנות אותו. בהתאם לכך, יש לקבל לדיון המתמטי רק עצם שקיימת דרך ברורה לבנותו. ציטוט טיפוסי הוא של לאופולד קרונקר: "אלוהים ברא את המספרים ... פונקציה רקורסיבית על מנת למלא את החסר, דבר שהוביל לטענה כי רק שאלות שמתייחסות להתנהגות של אלגוריתמים סופיים משמעותיות, וכי רק אותם המתמטיקה צריכה לחקור. תאוריות
השכל המוגשם: תאוריות אלה טוענות כי החשיבה המתמטית היא פיתוח טבעי של המערכת הקוגניטיבית האנושית לנוכח היקום הפיזי. לדוגמה, המושג המופשט של מספר מגיע מהחוויה של ספירת ...