প্রশ্ন ট্যাগ «computability»

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

10 computability 

হার্ভে ফ্রেডম্যান দেখিয়েছেন যে একটি ঝরঝরে স্থির পয়েন্টের ফলাফল রয়েছে যা জেডএফসি-তে প্রমাণিত হতে পারে না (চয়েস এর অ্যাক্সিয়ামের সাথে জেরেমো-ফ্রাঙ্কেল সেট তত্ত্ব)। অনেকগুলি আধুনিক লজিকগুলি ফিক্স পয়েন্ট অপারেটরগুলিতে নির্মিত হয়, তাই আমি ভাবছিলাম: তাত্ত্বিক কম্পিউটার বিজ্ঞানের জন্য আপার শিফট ফিক্সড পয়েন্ট উপপাদ্য সম্পর্কে কোনও ফল আছে কি? সমস্ত জন্য …

10 computability  lo.logic 

প্রশ্ন : কমপিটেবল সিক্যুয়েন্স (যেমন নীচে সংজ্ঞায়িত) হিসাবে ভবিষ্যদ্বাণী করা থামানো সমস্যার মতোই শক্ত? সম্প্রসারণ : "ভবিষ্যদ্বাণী" এর অর্থ সফলভাবে পূর্বাভাস, যার অর্থ পূর্ববর্তী এন -1 বিটগুলিতে অ্যাক্সেস দেওয়া ক্রমটির এন-থ্রি বিটটি পূর্বাভাস দেওয়ার চেষ্টা করার ক্ষেত্রে কেবল চূড়ান্তভাবে অনেক ত্রুটি করা (প্রথম বিট থেকে শুরু করে এবং এর মধ্য …

10 computability 

জটিলতা এবং গণনীয়তার "আকর্ষণীয়" শ্রেণিবদ্ধগুলির মধ্যে একটির মধ্যে একরকম পরিবর্তিত এবং বিস্তৃত এমন একটি সংস্থার কথা কি কেউ জানেন? আকর্ষণীয় দ্বারা, আমি বোঝাতে চাইছি, উদাহরণস্বরূপ, বহুভৌত শ্রেণিবিন্যাস, পাটিগণিত শ্রেণিবিন্যাস, বা বিশ্লেষণীক্রমিক স্তরবিন্যাস। অথবা হতে পারে (এন) পি, (এন) এক্সপি, 2 (এন) এক্সপি,......\ldots আরও দৃ concrete়তার সাথে: আপনি সমস্যাগুলির একটি সমান …

10 cc.complexity-theory  computability 

দিন HALTnHALTnHALT_n দৈর্ঘ্যের স্ট্রিং বোঝায় 2n2n2^n দৈর্ঘ্যের ইনপুটগুলির জন্য থামানো সমস্যার সত্য সারণীর সাথে সম্পর্কিত nnn। যদি কোলমোগোরভ জটিলতার ক্রম হয় K(HALTn)K(HALTn)K(HALT_n) ছিল O(1)O(1)O(1), তারপরে পরামর্শের একটি স্ট্রিং অসম্পূর্ণভাবে প্রায়শই ব্যবহৃত হবে এবং সেই স্ট্রিংটির হার্ড-কোডেড একটি টিএম সমাধান করতে সক্ষম হবে HALTHALTHALT অভিন্ন অসীম প্রায়শই, যা আমরা জানি এটি …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

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

9 computability 

আমি একটি প্রমাণ খুঁজছি যে কলমোগোরভ জটিলতা অন্য অপ্রয়োজনীয় সমস্যা থেকে হ্রাস ব্যবহার করে আপত্তিজনক। সাধারণ প্রমাণ হ'ল হ্রাসের পরিবর্তে বেরির প্যারাডক্সের আনুষ্ঠানিককরণ, তবে হ্যালটিং সমস্যা বা পোস্টের চিঠিপত্রের সমস্যার মতো কিছু থেকে হ্রাস করে একটি প্রমাণ থাকা উচিত।

9 computability  reductions  kolmogorov-complexity 

ল্যাম্বডা ক্যালকুলাসের মতো এমন কোনও ব্যবস্থা আছে যা এর উপরে কোনও টাইপ সিস্টেম যুক্ত করার প্রয়োজন ছাড়াই শক্তিশালী নরমালাইজিং হয়?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

ভ্রূণ, যদি আপনি এটি না শুনে থাকেন তবে এখানে পড়তে পারেন । এটি কোনও ফাংশনে পুনরাবৃত্ত কলগুলির সমস্ত 'পুনরাবৃত্তি আচরণ' সন্ধান করতে 'কল ম্যাট্রিকেস' এবং 'কল গ্রাফ' এর একটি সিস্টেম ব্যবহার করে। কোনও ফাংশন এটি বন্ধ করে দেয় তা দেখানোর জন্য এটি দেখায় যে কোনও ফাংশনে করা পুনরাবৃত্ত কলগুলির সমস্ত …

9 lo.logic  computability  functional-programming 

এমন সমস্যা রয়েছে যা নির্ধারণযোগ্য, কিছু আছে যা অগ্রহণযোগ্য, সেমিডিসিডেবিলিটি ইত্যাদি রয়েছে এক্ষেত্রে আমি ভাবছি কোনও সমস্যা মেটা-অনস্বীকার্য হতে পারে কিনা। এর অর্থ (কমপক্ষে আমার মাথার মধ্যে) আমরা সিদ্ধান্ত নিতে পারব কিনা তা আমরা বলতে পারি না। হতে পারে এটি ডিশেবলিবিলিটি অনির্বাচিত (সবকিছুই মেটা-অবিঘ্নযোগ্য) এবং কোনও কিছুর জন্য ডিকিসিবেলিটি প্রমাণ …

9 computability  decidability  undecidability 

আমি নিম্নলিখিত প্রশ্নের মুখোমুখি হয়েছি, যা একটি সহজ অনুশীলন (নীচে স্পয়লার)। আমরাও তা প্রদত্ত হই বিরাম সমস্যা দৃষ্টান্ত (অর্থাত স্মৃতি ), এবং আমরা ঠিক যা তাদের উপর বন্ধ সিদ্ধান্ত নিতে হবে । অর্থাৎ আমরা আউটপুট প্রয়োজন । আমাদের থামার সমস্যার জন্য একটি ওরাকল দেওয়া হয়েছে, তবে আমাদের এটি ন্যূনতম বার …

9 computability  lower-bounds 

প্রাথমিক-পুনরাবৃত্ত ক্রিয়াকলাপগুলির বিষয়ে ক্রিস প্রিসির আকর্ষণীয় প্রশ্নে আগ্রহী , আমি আরও অনুসন্ধান করে এবং ওয়েবে এই প্রশ্নের উত্তর খুঁজে পেতে অক্ষম। প্রাথমিক recursive ফাংশন সূচকীয় অনুক্রমের চমত্কারভাবে মিলা,ডিটাইম (2এন) ∪ ডিটাইম (22এন) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots। সংজ্ঞা থেকে এটি সহজবোধ্য বলে মনে হয় যে নিম্ন- প্রাথমিক উপাদানগুলি দ্বারা …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

ধরা যাক আমরা 1994 সালের জো বি ওয়েলসের ফলাফলটি জানি না যে টাইপযোগ্যতা এবং টাইপ চেকিং উভয়ই সিস্টেম এফ (একেএ) এ অনস্বীকার্য । 2λ2\lambda 2)। প্রকারের সাথে বারেনড্রেগের ল্যাম্বদা ক্যালকুলিতে (1992) আমি ম্যালেক্কির কারণে একটি প্রমাণ পেয়েছি 1989 যা টাইপ চেকিং টাইপিবিলিটি বোঝায়। এই কারণ বিদ্যমান σσ\sigma যেমন যে এম: …

9 lo.logic  computability  type-theory  lambda-calculus  type-inference 

আমার একটি প্রশ্ন রয়েছে, যার উত্তর সম্ভবত সুপরিচিত, তবে আমি কিছুটা অনুসন্ধানের পরেও অর্থবহ কিছু খুঁজে পাচ্ছি না, তাই আমি কিছুটা সাহায্যের প্রশংসা করব। আমার প্রশ্ন হ'ল এটি কিনা জানা যে কোনও সংখ্যাকে ট্রানসেন্টালেন্টাল কিনা তা সিদ্ধান্ত গ্রহণ করা অনস্বীকার্য। সম্ভবত, কেউ ইনপুট হিসাবে ধরে নিয়েছে, এমন একটি প্রোগ্রাম বলুন …

9 computability  computable-analysis 

প্রাকৃতিক ঘটনা দ্বারা অনুপ্রাণিত গণনার সুপরিচিত উদাহরণগুলি হ'ল কোয়ান্টাম কম্পিউটার এবং ডিএনএ কম্পিউটার। ম্যাক্সওয়েলের আইন বা মহাকর্ষের সাথে কম্পিউটিংয়ের সম্ভাব্য এবং / বা সীমাবদ্ধতা সম্পর্কে কী জানা যায়? অর্থাত, ম্যাক্সওয়েলের সমীকরণের প্রকৃতির "দ্রুত" সমাধানগুলি বা এন-বডি সমস্যাটিকে সরাসরি একটি সাধারণ-উদ্দেশ্য অ্যালগরিদমের সাথে অন্তর্ভুক্ত করা?

9 computability  machine-models  physics  natural-computing