פורטל:מתמטיקה/הידעת?/26

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
1925 kurt gödel.png

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