আমি সিন্থেটিক কম্পিউট্যাবিলিটি থিয়োরিতে আন্ড্রেজ বাউরের কাগজ প্রথম পদক্ষেপগুলি পড়ছিলাম । উপসংহারে তিনি তা নোট করেন
আমাদের অ্যাক্টিভিটিজাইজেশনের এর সীমা রয়েছে: এটি কমপ্যাটিবিলিটি তত্ত্বের কোনও ফলাফল প্রমাণ করতে পারে না যা ওরাকল কম্পিউটিংয়ের সাথে পুনরায় সংযোগ দিতে ব্যর্থ হয়। এটি তাই কারণ কারণটিতে ওরাকল অ্যাক্সেসের সাথে আংশিক পুনরাবৃত্তি ফাংশনগুলি থেকে তৈরি কার্যকর টোপগুলির একটি বৈকল্পিকতায় তত্ত্বটির ব্যাখ্যা করা যায়।
এটি আমাকে গণনার ক্ষেত্রে পুনঃসংশ্লিষ্টকরণের ফলাফল সম্পর্কে অবাক করে তোলে। কমপ্যুটিবিলিটি থিওরি থেকে আমার জানা সমস্ত ফলাফল ওরাকলগুলির সাথে গণনায় পুনরায় সংযুক্ত করে।
সংযুক্তি তত্ত্বের কোন ফলাফল রয়েছে যা পুনরায় সংযুক্ত হয় না? অর্থাত্ ফলাফলগুলি যা কম্পিউটেবিলিটির জন্য ধারণ করে তবে কিছু অরাকল এর সাথে তুলনামূলক কমপিউটিবিলিটি ধরে না?
ফলস্বরূপ আমি গণ্যতা তত্ত্ব একটি পরিচিত উপপাদ্য বলতে বোঝায়, কিছু রান্না আপ বিবৃতি নয়। যদি আপেক্ষিকরণের ধারণাটি ফলাফলটির জন্য অর্থবোধ করে না তবে আমি যা খুঁজছি তা তা নয়।
ফলাফলটি সিন্থেটিক কমপ্যুটেবিলিটি থিয়োরের ভাষায় বলা যেতে পারে কিনা তাও আকর্ষণীয়।