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