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

গণনযোগ্যতা তত্ত্ব ওরফে পুনরাবৃত্তি তত্ত্ব।

1
এই মহাবিশ্বে গণনার সীমা কি?
আমি বুঝতে পারি যে টুরিং সম্পূর্ণতার জন্য আনবাউন্ডেড মেমরি এবং আনবাউন্ডেড সময় প্রয়োজন। তবে এই পরিষেবাদিতে সীমাবদ্ধ পরিমাণে পরমাণু রয়েছে memory উদাহরণস্বরূপ, যদিও অযৌক্তিক হলেও নির্দিষ্ট কিছু সংখ্যার চেয়ে বেশি সংখ্যা সংরক্ষণের কোনও উপায় নেই এমনকি মহাবিশ্বের সমস্ত পরমাণু এই উদ্দেশ্যে ব্যবহার করা হলেও।ππ\pi তারপরে মহাবিশ্বের সীমাবদ্ধতার ভিত্তিতে একটি বাস্তবায়িত …

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

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

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

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

3
"শারীরিক জিনিসগুলির মধ্যে একটি যার দ্বারা ট্যুরিং মেশিন তৈরি করা যায়" এর কোনও নাম আছে?
কম্পিউটার বিজ্ঞান সম্পর্কে একটি আশ্চর্যজনক বিষয় হ'ল দৈহিক বাস্তবায়ন কিছুটা অর্থে "অপ্রাসঙ্গিক"। লোকেরা বিভিন্ন বিভিন্ন সাবস্ট্রেট - রিলে, ভ্যাকুয়াম টিউব, আলাদা ট্রানজিস্টর ইত্যাদির বাইরে কম্পিউটারগুলি সফলভাবে তৈরি করে নিয়েছে People নীতিগতভাবে, একটি বিলিয়ার-বল কম্পিউটার তৈরি করা সম্ভব বলে মনে হচ্ছে । তবে শারীরিক স্তরটি সম্পূর্ণ অপ্রাসঙ্গিক নয়। লোকেরা খুঁজে পেয়েছে …

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

2
একটি মোট ভাষা যা কেবলমাত্র একটি টুরিং সম্পূর্ণ ভাষা ব্যাখ্যা করতে পারে
টিউরিং সম্পূর্ণ নয় এমন কোনও ভাষা এটি নিজেই একজন অনুবাদক লিখতে পারে না। যেখানে আমি এটি পড়েছি সে সম্পর্কে আমার কোনও ধারণা নেই তবে আমি এটি বেশ কয়েকবার ব্যবহার করতে দেখেছি। দেখে মনে হচ্ছে এটি এক ধরণের "চূড়ান্ত" নন টিউরিং সম্পূর্ণ ভাষার জন্ম দেয়; এক (গুলি) যে পারে কেবল পারেএকটি …

2
গণনাযোগ্যতা এবং যুক্তি স্থির পয়েন্ট
এই প্রশ্নটি ম্যাথ.এসইতেও পোস্ট করা হয়েছে, /math/1002540/fixed-points-in-computability-nd-logic আমি আশা করি এটি এখানে পোস্ট করা ঠিক আছে। যদি না হয়, বা এটি CS.SE এর জন্য খুব বেসিক তবে দয়া করে আমাকে বলুন এবং আমি এটি মুছে ফেলব। আমি যুক্তি এবং λλ\lambda ক্যালকুলাসের স্থির পয়েন্টের উপপাদ্যের মধ্যে আরও ভাল সম্পর্ক বুঝতে চাই …

2
প্রতিটি পুনরাবৃত্তির ভাষা মর্টাল ট্যুরিং মেশিন দ্বারা স্বীকৃত?
আমরা যে একটি টুরিং মেশিন নশ্বর হলে এম প্রত্যেক শুরু কনফিগারেশনের জন্য স্থগিত (বিশেষ করে, টেপ বিষয়বস্তু এবং প্রাথমিক অবস্থায় অবাধ হতে পারে)। প্রতিটি পুনরাবৃত্তির ভাষা একটি মারাত্মক টুরিং মেশিন দ্বারা স্বীকৃত? (অর্থাত্ যদি কোনও টিএম থাকে যা এল গ্রহণ করে তবে মরণাত্মক টিএমও রয়েছে যা এল গ্রহণ করে )MMMMMMLLLLLL

2
অ্যাকারম্যান ফাংশনের জন্য সুস্পষ্ট মিউ-রিকার্সিভ এক্সপ্রেশন
আপনি কী দয়া করে স্ট্যান্ডার্ড মিউ-রিকার্সিভ অপারেটরগুলির মাধ্যমে আকারম্যান ফাংশনটি (আসলে আমি রাজা পাইটার এবং রাফেল রবিনসন প্রস্তাবিত একটি সংস্করণে আগ্রহী) এটি কীভাবে তৈরি করবেন তা উল্লেখ করতে পারেন? আমি পেটার এবং রবিনসনের মূল কাগজপত্র চেষ্টা করেছিলাম, কিন্তু পেটারের কাগজ ইংরেজি এবং রবিনসনের কাগজগুলির "রিকার্সন এবং ডাবল রিক্রুশন" এবং "আদিম …

3
ভাষা এল এনপিতে থাকে কিনা তা নির্ধারণ করা যায়?
একটি টিউরিং মেশিন দ্বারা নির্ধারিত একটি ভাষা এল প্রদান করে যা এটি স্থির করে, এলপিকে এনপিতে রয়েছে কিনা তা অ্যালগরিদমিকভাবে নির্ধারণ করা সম্ভব?

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

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

1
স্বেচ্ছাসেবী পি-ডিগ্রিগুলিতে শব্দের সমস্যা নিয়ে এমন গ্রুপ রয়েছে কি?
এটি দীর্ঘদিন ধরেই পরিচিত ছিল যে কোনও পুনরায় টিউরিং ডিগ্রি দেওয়া হলে একটি চূড়ান্তভাবে উপস্থাপিত গোষ্ঠী রয়েছে যার শব্দ সমস্যাটি সেই ডিগ্রীতে। আমার প্রশ্ন হ'ল একই জিনিস নির্বিচারে বহুপদী সময় টুরিং ডিগ্রির ক্ষেত্রে সত্য । বিশেষ করে, একটি নির্ধার্য সেট দেওয়া , সেখানে শব্দ সমস্যা, সঙ্গে একটি finitely উপস্থাপন গ্রুপ …

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.