(የማይወሰን ሊወሰን የማይችል በስሌት ንድፈ ሀሳብ፣ ሊወሰን የማይችል ችግር አዎ/አይመልስም የሚፈልግ የስሌት ችግር አይነት ነው፣ነገር ግን ሁልጊዜ ምንም አይነት የኮምፒውተር ፕሮግራም ሊኖር በማይችልበት ጊዜ ትክክለኛውን መልስ ይሰጣል ፣ ማለትም ፣ ማንኛውም ሊሆን የሚችል ፕሮግራም አንዳንድ ጊዜ የተሳሳተ መልስ ይሰጣል ወይም ምንም መልስ ሳይሰጥ ለዘላለም ይሠራል ።
የማይታወቁ ችግሮች ዝርዝር - Wikipedia
በቀላሉ ማለት በውሳኔ ችግር አውድ ውስጥ ሊሰላ የማይችል ሲሆን መልሱ (ወይም ውጤቱ) ወይ "እውነት" ወይም "ውሸት" ነው)። ሊሰላ የማይችል ችግር ለመፍታት ጥቅም ላይ ሊውል የሚችል ስልተ-ቀመር የሌለበት ችግር ነው።
ሊሰሉ የማይችሉ ችግሮች ምንድን ናቸው?
በኮምፒውቲቲቲ ቲዎሪ ውስጥ፣ ሊታወቅ የማይችል ችግር አይነት የስሌት ችግር ነው አዎ/አይመልስ፣ ነገር ግን ሁልጊዜ ትክክለኛውን የሚሰጥ የኮምፒውተር ፕሮግራም ሊኖር በማይችልበት ጊዜ መልስ; ማለትም ማንኛውም ሊሆን የሚችል ፕሮግራም አንዳንድ ጊዜ የተሳሳተ መልስ ይሰጣል ወይም ምንም መልስ ሳይሰጥ ለዘላለም ይሰራል።
የማይሰላ ቁጥር ምንድነው?
የቻይቲን ቋሚ የማይሰላ ቁጥር ምሳሌ (በእርግጥ የምሳሌዎች ቤተሰብ) ነው። እሱ በነሲብ የመነጨ ፕሮግራም (በተወሰነ ሞዴል) የመቆም እድልን ይወክላል። በግምት ሊሰላ ይችላል፣ ነገር ግን በዘፈቀደ ትክክለኛነት ለማስላት (ምናልባትም) ምንም አይነት ስልተ-ቀመር የለም።
የቱ ችግር ነው።ሊሰላ?
የሂሣብ ችግር በመርህ ደረጃ በኮምፒውቲንግ መሳሪያ ሊፈታ የሚችል ከሆነ ሊሰላ ነው። ለ"ሊሰላ" አንዳንድ የተለመዱ ተመሳሳይ ቃላት "ሊፈታ የሚችል"፣ "የሚወሰን" እና "ተደጋጋሚ" ናቸው። ሂልበርት ሁሉም የሂሳብ ችግሮች ሊፈቱ እንደሚችሉ ያምን ነበር ነገር ግን በ1930ዎቹ ጎደል፣ ቱሪንግ እና ቸርች ይህ እንዳልሆነ አሳይተዋል።
Empty ተቀናብሯል ሊሰላ ነው?
ባዶው ስብስብ ሊሰላ ነው። አጠቃላይ የተፈጥሮ ቁጥሮች ስብስብ ሊሰላ ነው. እያንዳንዱ የተፈጥሮ ቁጥር (በመደበኛ ስብስብ ንድፈ ሐሳብ ላይ እንደተገለጸው) ሊሰላ ነው; ማለትም ከተፈጥሮ ቁጥር ያነሰ የተፈጥሮ ቁጥሮች ስብስብ ሊሰላ ነው።