בתשובה לעוזי ו., 18/07/05 9:26
עוד זווית 317886
אם אתה אדם ולא מכונת טורינג, סדק האפקטיביות לא צריך להטריד אותך.
עוד זווית 317890
האם אתה יכול להציג בפני קבוצת אקסיומות ו/או כללי היקש, כך שאני אוכל להכריע לגבי כל טענה חשודה האם היא אקסיומה או כלל היקש, והיא אינה ניתנת לחישוב ‏1?

1 כלומר, שפה ב-R.
עוד זווית 317894
כדאי שתשאל אדם, ולא אותנו, מכונות הטורינג.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים