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