ቤተክርስትያን-ቱሪንግ ተሲስ የሚያመለክተው ቀልጣፋ፣ ስልታዊ ወይም ሜካኒካል ዘዴ በሎጂክ፣ ሂሳብ እና ኮምፒውተር ሳይንስ ነው። እሱ እንደ ስሌት ሊታወቅ የሚችል ጽንሰ-ሀሳብ መግለጫ ሆኖ ተቀርጿል እና ከአጠቃላይ ተደጋጋሚ ተግባራት ጋር በተገናኘ፣ ብዙ ጊዜ የቤተክርስቲያን ተሲስ ተብሎ ይጠራል። የኮምፒዩተር-ሊሰሉ የሚችሉ ተግባራትን ንድፈ ሃሳብም ይመለከታል። ተሲስ በ 1930 ዎቹ ውስጥ ታየ, ኮምፒውተሮች እራሳቸው ገና አልነበሩም. በኋላ የተሰየመው በአሜሪካዊው የሒሳብ ሊቅ አሎንሶ ቤተ ክርስቲያን እና በብሪቲሽ ባልደረባው በአላን ቱሪንግ ነው።
ውጤቱን ለማሳካት የስልቱ ውጤታማነት
የመጀመሪያው ዘመናዊ ኮምፒዩተርን የሚመስለው በእንግሊዛዊው የሂሳብ ሊቅ አላን ቱሪንግ የተሰራው ቦምቢ ማሽን ነው። በሁለተኛው የዓለም ጦርነት ወቅት የጀርመን መልእክቶችን ለመፍታት ያገለግል ነበር. ነገር ግን ስለ አልጎሪዝም ፅንሰ-ሀሳብ ለመመረቅ እና መደበኛ ለማድረግ ፣ በኋላ ቱሪንግ ማሽኖች ተብሎ የሚጠራውን የአብስትራክት ማሽኖችን ተጠቅሟል። ተሲስ ያቀርባልይህ ሃሳብ የመጀመሪያዎቹን ኮምፒውተሮች ፈጣሪዎች ስላነሳሳ ለሁለቱም የሂሳብ ባለሙያዎች እና ፕሮግራመሮች ፍላጎት።
በኮምፒውተቢቲ ቲዎሪ፣ቤተክርስትያን-ቱሪንግ ተሲስ ስለ ሊሰሉ ተግባራት ባህሪ ተብሎም ይታወቃል። በተፈጥሮ ቁጥሮች ላይ ለማንኛውም በአልጎሪዝም ሊሰላ የሚችል ተግባር እሱን ማስላት የሚችል የቱሪንግ ማሽን እንዳለ ይገልጻል። ወይም, በሌላ አነጋገር, ለእሱ ተስማሚ የሆነ አልጎሪዝም አለ. የዚህ ዘዴ ውጤታማነት በጣም የታወቀ ምሳሌ ታውቶሎጂን ለመፈተሽ የእውነት ሰንጠረዥ ፈተና ነው።
የተፈለገውን ውጤት የምናገኝበት መንገድ "ውጤታማ"፣ "ስልታዊ" ወይም "ሜካኒካል" ይባላል፡
- ዘዴው የሚገለጸው በተወሰኑ ትክክለኛ መመሪያዎች ነው፣እያንዳንዱ መመሪያ የሚገለጸው የተወሰነ ቁምፊዎችን በመጠቀም ነው።
- ያለስህተት ይሰራል፣የተፈለገውን ውጤት በተወሰኑ የእርምጃዎች ብዛት ያስገኛል።
- ዘዴውን ከወረቀት እና እርሳስ ውጭ በማንኛውም መሳሪያ ሳይታገዝ በሰው ሊሰራ ይችላል
- እርምጃውን በሚፈጽመው ሰው በኩል መረዳትን፣ ማስተዋልን ወይም ብልሃትን አይጠይቅም
በሂሳብ ትምህርት ቀደም ብሎ፣ መደበኛ ያልሆነው ቃል "ውጤታማ በሆነ ሁኔታ ሊሰላ" የሚለው ቃል በእርሳስ እና በወረቀት ሊሰሉ የሚችሉ ተግባራትን ለማመልከት ጥቅም ላይ ውሏል። ግን የአልጎሪዝም ስሌት ጽንሰ-ሀሳብ ከማንኛውም ተጨባጭ ነገር የበለጠ ሊታወቅ የሚችል ነበር። አሁን በተፈጥሮ ሙግት በተሰራ ተግባር ተለይቷል, ለዚህም ስሌት ስልተ ቀመር አለ. ከአላን ቱሪንግ ስኬቶች አንዱ ነበር።የመደበኛ ትክክለኛ ተሳቢ ውክልና ፣ በዚህ እርዳታ መደበኛ ያልሆነውን መተካት የሚቻል ከሆነ ፣ የስልት ቅልጥፍና ሁኔታ ጥቅም ላይ ከዋለ። ቤተ ክርስቲያን ተመሳሳይ ግኝት አድርጋለች።
የተደጋጋሚ ተግባራት መሰረታዊ ፅንሰ ሀሳቦች
የቱሪንግ የተሳቢዎች ለውጥ በመጀመሪያ እይታ በባልደረባው ከቀረበው የተለየ ይመስላል። ነገር ግን በውጤቱም, እያንዳንዳቸው ተመሳሳይ የሂሳብ ተግባራትን ስብስብ በመምረጥ, ተመጣጣኝ ሆነው ተገኝተዋል. የቤተክርስቲያን-ቱሪንግ ተሲስ ይህ ስብስብ እሴቶቹ የውጤታማ ሁኔታዎችን በሚያረካ ዘዴ ሊገኙ የሚችሉ ሁሉንም ተግባራት እንደሚያካትት ማረጋገጫ ነው። በሁለቱ ግኝቶች መካከል ሌላ ልዩነት ነበር. ቤተክርስቲያን የአዎንታዊ ኢንቲጀሮች ምሳሌዎችን ብቻ የምትመለከት ነበር፣ ቱሪንግ ግን ስራውን ሊሰላ ተግባራትን በዋና ወይም በተጨባጭ ተለዋዋጭ እንደሚሸፍን ገልጿል።
የተለመዱ ተደጋጋሚ ተግባራት
የቤተክርስቲያኑ የመጀመሪያ አጻጻፍ እንደሚያሳየው ስሌቱ λ-calculus በመጠቀም ሊከናወን ይችላል። ይህ አጠቃላይ ተደጋጋሚ ተግባራትን ከመጠቀም ጋር እኩል ነው። የቤተክርስቲያን-ቱሪንግ ተሲስ ከመጀመሪያው ከታሰበው በላይ ብዙ ዓይነት ስሌትን ይሸፍናል። ለምሳሌ, ከሴሉላር አውቶሜትቶች, አጣማሪዎች, የምዝገባ ማሽኖች እና የመተኪያ ስርዓቶች ጋር የተያያዙ. በ1933 የሒሳብ ሊቃውንት ከርት ጎደል እና ዣክ ሄርብራንድ የአጠቃላይ ተደጋጋሚ ተግባራት የሚባል ክፍል መደበኛ ፍቺ ፈጠሩ። ከአንድ በላይ ነጋሪ እሴት የሚቻልባቸው ተግባራትን ይጠቀማል።
ዘዴ በመፍጠር ላይλ-calculus
በ1936 አሎንሶ ቤተክርስቲያን λ-calculus የሚባል የውሳኔ ዘዴ ፈጠረች። እሱ ከተፈጥሮ ቁጥሮች ጋር የተያያዘ ነበር. በλ-calculus ውስጥ, ሳይንቲስቱ ኢንኮዲንግያቸውን ወስነዋል. በዚህም ምክንያት የቤተክርስቲያን ቁጥሮች ይባላሉ. በተፈጥሮ ቁጥሮች ላይ የተመሰረተ ተግባር λ-computable ተብሎ ይጠራ ነበር. ሌላ ትርጉም ነበረው። የቤተክርስቲያን ተሲስ ተግባር በሁለት ሁኔታዎች λ-computable ይባላል። የመጀመርያው እንደዚህ ይመስላል፡ በቤተክርስቲያን አካላት ላይ ቢሰላ እና ሁለተኛው ቅድመ ሁኔታ በλ-calculus አባል የመወከል እድል ነው።
እንዲሁም በ1936 ቱሪንግ የሥራ ባልደረባውን ከማጥናቱ በፊት በስሙ ለተሰየሙት የአብስትራክት ማሽኖች ቲዎሬቲካል ሞዴል ፈጠረ። በቴፕ ላይ ያሉትን ገጸ-ባህሪያት በማስተካከል ስሌት ሊሰሩ ይችላሉ። ይህ በቲዎሬቲካል ኮምፒዩተር ሳይንስ ውስጥ እንደ ኳንተም ፕሮባቢሊስቲክ ኮምፒውቲንግ ባሉ ሌሎች የሂሳብ ስራዎች ላይም ይሠራል። የቤተክርስቲያኑ ጥናታዊ ጽሑፍ ተግባር በኋላ ላይ የቱሪንግ ማሽንን በመጠቀም የተረጋገጠ ነው። መጀመሪያ ላይ በλ-calculus ላይ ተመርኩዘዋል።
የተግባር ማስላት
የተፈጥሮ ቁጥሮች በትክክል እንደ የቁምፊ ቅደም ተከተል ሲቀመጡ፣ አብስትራክት ማሽኑ አስፈላጊውን ስልተ-ቀመር አግኝቶ ይህንን ተግባር በቴፕ ከታተመ በተፈጥሮ ቁጥሮች ላይ ያለው ተግባር ቱሪንግ-ኮምፒውተሬ ይሆናል ተብሏል። በ 1930 ዎቹ ውስጥ ያልነበረው እንዲህ ዓይነቱ መሣሪያ ለወደፊቱ እንደ ኮምፒተር ይቆጠራል. የአብስትራክት የቱሪንግ ማሽን እና የቤተክርስትያን ተሲስ የእድገት ዘመን አበሰረየኮምፒተር መሳሪያዎች. በሁለቱም ሳይንቲስቶች በመደበኛነት የተገለጹት የተግባር ክፍሎች አንድ ላይ መሆናቸውን ተረጋግጧል። ስለዚህ, በውጤቱም, ሁለቱም መግለጫዎች ወደ አንድ ተጣመሩ. የስሌት ተግባራት እና የቤተክርስትያን ተሲስ በስሌትነት ፅንሰ-ሀሳብ ላይም ከፍተኛ ተጽዕኖ አሳድሯል። እንዲሁም ለሂሳብ አመክንዮ እና ማረጋገጫ ቲዎሪ ጠቃሚ መሳሪያ ሆነዋል።
ማመካኘት እና የስልቱ ችግሮች
በተሲስ ላይ እርስ በርሱ የሚጋጩ አመለካከቶች አሉ። በቸርች እና ቱሪንግ በ1936 ለቀረበው "የሚሰራ መላምት" ብዙ ማስረጃዎች ተሰብስበዋል። ነገር ግን ሁሉም የታወቁ ዘዴዎች ወይም ኦፕሬሽኖች ከተሰጡት አዳዲስ ውጤታማ ሊሰሉ የሚችሉ ተግባራትን ከግንባታ ማሽኖች ጋር የተገናኙ ናቸው, ይህም በዚያን ጊዜ አልነበሩም. የቤተክርስትያን-ቱሪንግ ተሲስን ለማረጋገጥ አንድ ሰው የሚጀምረው እያንዳንዱ ትክክለኛ የስሌት ሞዴል ተመጣጣኝ ነው ከሚለው እውነታ ነው።
በተለያዩ የተለያዩ ትንታኔዎች ምክንያት ይህ በአጠቃላይ በተለይ ጠንካራ ማስረጃ ተደርጎ ይወሰዳል። ውጤታማ በሆነ ሁኔታ ሊሰላ የሚችል ተግባርን የሚታወቅ ሀሳብን በበለጠ በትክክል ለመግለጽ የተደረጉት ሙከራዎች ሁሉ አቻ ሆነዋል። የቀረበው እያንዳንዱ ትንታኔ አንድ አይነት ተግባራትን ማለትም በቱሪንግ ማሽኖች ሊሰሉ የሚችሉ ተግባራትን ለይቶ ለማወቅ ተችሏል። ነገር ግን አንዳንድ የስሌት ሞዴሎች ለተለያዩ ስራዎች የጊዜ እና የማስታወስ አጠቃቀምን በተመለከተ የበለጠ ቀልጣፋ ሆነው ተገኝተዋል። በኋላ ላይ የተደጋጋሚ ተግባራት መሰረታዊ ፅንሰ ሀሳቦች እና የቤተክርስትያን ተሲስ ይልቁንም መላምታዊ እንደሆኑ ተገለፀ።
ተሲስ M
በቱሪንግ ተሲስ እና በኮምፒዩተር መሳሪያ የሚሰላ ማንኛውም ነገር በማሽኑ ሊሰላ ይችላል በሚለው መካከል ያለውን ልዩነት መለየት አስፈላጊ ነው። ሁለተኛው አማራጭ የራሱ ትርጉም አለው. ጋንዲ ሁለተኛውን ዓረፍተ ነገር "ቴሲስ ኤም" ይለዋል። “በመሳሪያ ሊሰላ የሚችል ማንኛውም ነገር በቱሪንግ ማሽን ሊሰላ ይችላል። በጠባቡ የቲሲስ ስሜት፣ የእውነታው ዋጋ የማይታወቅ ተጨባጭ ሀሳብ ነው። የቱሪንግ ተሲስ እና "ቴሲስ ኤም" አንዳንድ ጊዜ ግራ ይጋባሉ። ሁለተኛው ስሪት በሰፊው የተሳሳተ ነው. ቱሪንግ ሊሰላ የማይቻሉ ተግባራትን ማስላት የሚችሉ የተለያዩ ሁኔታዊ ማሽኖች ተገልጸዋል። የመጀመሪያው ጥናታዊ ጽሑፍ ሁለተኛውን አያካትትም ነገር ግን ከውሸትነቱ ጋር የሚጣጣም መሆኑን ልብ ማለት ያስፈልጋል።
የተሲስ አንድምታ
በኮምፒውተቢቲ ቲዎሪ ውስጥ፣ የቤተክርስቲያኑ ተሲስ የአጠቃላይ ተደጋጋሚ ተግባራት ክፍል የማስላት እሳቤ መግለጫ ሆኖ ያገለግላል። አሜሪካዊው እስጢፋኖስ ክሊን የበለጠ አጠቃላይ ቀመር ሰጥቷል። በአልጎሪዝም ሊሰሉ የሚችሉ ከፊል ተደጋጋሚ ተግባራትን በሙሉ ጠራ።
ተገላቢጦሽ አንድምታ በተለምዶ የቤተክርስቲያን ተገላቢጦሽ ፅሑፍ ተብሎ ይጠራል። እያንዳንዱ የአዎንታዊ ኢንቲጀር ተደጋጋሚ ተግባር በብቃት መገምገሙ ላይ ነው። በጠባብ መልኩ፣ ተሲስ በቀላሉ እንዲህ ያለውን ዕድል ያመለክታል። እና ሰፋ ባለ መልኩ፣ ይህ ሁኔታዊ ማሽን በውስጡ ሊኖር ይችላል ወይ የሚለውን ጥያቄ ያጠቃልላል።
ኳንተም ኮምፒተሮች
የኮምፒውተሬድ ተግባራት ጽንሰ-ሀሳቦች እና የቤተክርስቲያን ተሲስ ለሂሳብ፣ ለማሽን ቲዎሪ እና ለሌሎች በርካታ ሳይንሶች ጠቃሚ ግኝት ሆነዋል። ነገር ግን ቴክኖሎጂ በጣም ተለውጧል እና መሻሻል ቀጥሏል. ኳንተም ኮምፒውተሮች ከዘመናዊዎቹ ባነሰ ጊዜ ብዙ የተለመዱ ተግባራትን ሊያከናውኑ እንደሚችሉ ይታሰባል። ነገር ግን እንደ ማቆም ችግር ያሉ ጥያቄዎች ይቀራሉ። የኳንተም ኮምፒውተር ሊመልሰው አይችልም። እና፣ በቤተክርስቲያን-ቱሪንግ ተሲስ መሰረት፣ ምንም ሌላ የማስላት መሳሪያም የለም።
