חישוביות, שעוסק ביכולת של אלגוריתמים לחקור אלגוריתמים אחרים. המשפט אומר שאין תוכנית מחשב שמקבלת כקלט תוכנית מחשב אחרת, ומכריעה האם הערבית: الشيخ مونّس - א-שיח' מֻוַנִּס) כפר ערבי שחרב ב"נכבה". שָׁכַן באזור שבו נמצאת היום אוניברסיטת תל אביב.
הכפר נוסד בסוף