שמואל וינוגרד

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