Goedel...
היה מתמטיקאי גרמני פרנואיד למדי, שפתר את בעיית השלמות. בעיה זו היתה, "האם ללא תלות באקסיומות הראשוניות, המתמטיקה/לוגיקה יכולה לפתור כל בעיה?", ולמרות שכולם הניחו (וניסו להוכיח) שכן, הוא דווקא הוכיח - במאה אחוז (לא מעוגל אלא מדויק) - שהתשובה היא לא. המסקנה המתבקשת היא שיש שאלות שהלוגיקה לא יכולה לפתור (הייזנברג באותה תקופה הוכיח שהמדע לא יכול לפתור הכל), כלומר שאין ידע שלם, כלומר שאין אמת שלמה (דרך אגב, יכול להיות שיש אמת מוחלטת באזורים מוגבלים, אבל היא לא יכולה להיות שלמה), ובין השאר שאין שום דבר שיודע הכל.
היה מתמטיקאי גרמני פרנואיד למדי, שפתר את בעיית השלמות. בעיה זו היתה, "האם ללא תלות באקסיומות הראשוניות, המתמטיקה/לוגיקה יכולה לפתור כל בעיה?", ולמרות שכולם הניחו (וניסו להוכיח) שכן, הוא דווקא הוכיח - במאה אחוז (לא מעוגל אלא מדויק) - שהתשובה היא לא. המסקנה המתבקשת היא שיש שאלות שהלוגיקה לא יכולה לפתור (הייזנברג באותה תקופה הוכיח שהמדע לא יכול לפתור הכל), כלומר שאין ידע שלם, כלומר שאין אמת שלמה (דרך אגב, יכול להיות שיש אמת מוחלטת באזורים מוגבלים, אבל היא לא יכולה להיות שלמה), ובין השאר שאין שום דבר שיודע הכל.