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