תיזת צ'רץ'-טיורינג

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

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

שאלתי פעם את התוכנה "מתמטיקה" לא היה לה מושג... :-D
 
למעלה