בעיית ההתאמה של פוסט


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

נלקח מויקיפדיה

הגדרות נוספות הקשורות לבעיית ההתאמה של פוסט:
חישוביות
הוכחות
בעיות שאינן ניתנות לחישוב