מנואל בלום
מנואל בלום נולד ב-26 באפריל 1938 בקראקס שבונצואלה. הוא מדען מחשב יהודי-אמריקאי. ב-1995 קיבל פרס טיורינג. פרס טיורינג הוא פרס חשוב למדעי המחשב. הוא עזר להבין כמה זמן מחשב צריך כדי לפתור בעיות. זה נקרא תורת הסיבוכיות. הוא גם עזר בשיטות להצפנת מידע, שנקראות קריפטוגרפיה. וגם פיתח רעיונות לבדוק שהתוכנה ...
חישוביות
תורת החישוביות עוסקת במה מחשבים ו"דגמים" דמיוניים יכולים לחשב. דגם חשוב נקרא מכונת טיורינג. זו דמות דמיונית של מחשב. השאלה הגדולה היא: מה אפשר לחשב ומה לא. יש בעיה שנקראת בעיית העצירה. משמעותה: אי אפשר תמיד לדעת אם תוכנית תעצור או תרוץ לנצח. בתחילת המאה ה-20 חוקרים רצו לדעת מהי דרך פשוטה לפתור בע...
בעיית הכרעה
בעיית הכרעה היא שאלה שיש לה תשובה של כן או לא. דוגמה פשוטה: האם מספר טבעי הוא ראשוני? זו בעיית הכרעה. למצוא מספר ראשוני עם 77 ספרות זו לא בעיית הכרעה. יש בעיות מפורסמות, כמו הבעיה העשירית של הילברט. אפשר לחשוב על בעיות הכרעה כמו רשימות של מילים ששייכות ל"שפה פורמלית" (שפה פורמלית = קבוצה של מילים ...