প্রশ্ন ট্যাগ «halting-problem»

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

149 computability  halting-problem 

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

75 computability  logic  halting-problem  incompleteness 

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

60 computability  turing-machines  halting-problem  human-computing 

অ্যালান টুরিং একটি মেশিনের (ট্যুরিং মেশিন, টিএম) জন্য একটি মডেল প্রস্তাব করেছিলেন যা গণনা (সংখ্যা, ফাংশন, ইত্যাদি) করে এবং হ্যালটিং তত্ত্বটি প্রমাণ করে । একটি টিএম হ'ল একটি মেশিনের বিমূর্ত ধারণা (বা ইঞ্জিন পছন্দ করলে)। হ্যালটিং উপপাদ একটি অসম্ভব ফল। কার্নোট ইঞ্জিন (সিই) হিট ইঞ্জিনের একটি বিমূর্ত ধারণা এবং কার্নোট …

31 turing-machines  halting-problem  entropy 

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

30 computability  proof-techniques  undecidability  halting-problem  intuition 

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

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

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

27 computability  turing-machines  halting-problem 

অপরিচিত প্রোগ্রামগুলির জন্য কেন থামানো সমস্যাটি অনস্বীকার্য তা বোঝা মোটেই সহজ ie তবে স্বজ্ঞাতভাবে মনে হচ্ছে, আদর্শ কম্পিউটারে একটি খাঁটি প্রোগ্রামের থামানো যেমন স্থির বিশ্লেষণের মাধ্যমে সিদ্ধান্ত গ্রহণযোগ্য হবে। আসলেই কি এই ঘটনা? যদি তা না হয় তবে কিছু দাবি বা কাগজপত্র কী এই দাবিটিকে অস্বীকার করছে?

25 halting-problem  static-analysis 

আমি আন্দ্রেজ বাউয়ারের " কনস্ট্রাকটিভ গণিত গ্রহণের পাঁচটি পর্যায় " দেখছিলাম এবং তিনি বলেছিলেন যে দ্বন্দ্বের দ্বারা দুটি ধরণের প্রমাণ রয়েছে (বা দুটি বিষয় যা গণিতবিদগণ দ্বন্দ্বের দ্বারা প্রমাণকে ডাকে): ধরে নিন মিথ্যা ... ব্লা ব্লা ব্লাহ, দ্বন্দ্ব। সুতরাং পি সত্য।PPPPPP ধরুন সত্য ... ব্লা ব্লা ব্লা, দ্বন্দ্ব। সুতরাং পি …

23 halting-problem  coq 

কম্পিউটার বিজ্ঞানের ব্ল্যাক হোলের মতো Like আমরা কেবল তাদের অস্তিত্ব জানতে পারি তবে যখন তাদের একটি রয়েছে তখন আমরা কখনই জানতে পারি না যে সেগুলির মধ্যে একটি।

23 halting-problem  correctness-proof 

এই প্রশ্নটি তাত্ত্বিক কম্পিউটার বিজ্ঞান স্ট্যাক এক্সচেঞ্জ থেকে স্থানান্তরিত হয়েছিল কারণ এটি কম্পিউটার সায়েন্স স্ট্যাক এক্সচেঞ্জে উত্তর দেওয়া যেতে পারে। 7 বছর আগে স্থানান্তরিত । "অ্যালান টুরিং 1936 সালে প্রমাণ করেছিলেন যে সমস্ত সম্ভাব্য প্রোগ্রাম-ইনপুট জোড়গুলির জন্য থামানো সমস্যা সমাধানের জন্য একটি সাধারণ অ্যালগরিদম উপস্থিত থাকতে পারে না" কিছু সম্ভাব্য …

23 computability  formal-methods  halting-problem  software-verification 

একটি ট্যুরিং মেশিন যা একই টেপের একই কক্ষে একই সাথে তার পঠন / লেখার মাথাটি নিয়ে একটি পূর্বে মুখোমুখি অবস্থায় ফিরে আসে একটি লুপে ধরা পড়বে। এই জাতীয় একটি মেশিন থামছে না। কেউ কি কখনও থামাতে না পারে এমন কোনও মেশিনের উদাহরণ দিতে পারে যা লুপ হয় না?

22 computability  turing-machines  halting-problem 

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

21 computability  turing-machines  computation-models  halting-problem 

থামানোর সমস্যাটি গণনাযোগ্য নয় এই প্রমানটি সম্পর্কে আমার ধারণা থেকে, এই সমস্যাটি গণনাযোগ্য নয় কারণ আমাদের যদি একটি প্রোগ্রাম পি (এক্স) থাকে যা যদি প্রোগ্রাম এক্স থামিয়ে দেয় বা না হয়, তবে কম্পিউটারকে ইনপুট হিসাবে দেওয়ার সময় আমরা একটি প্যারাডক্স পেয়েছি একই পি, থাকার: পি (পি), পি নিজেই পি ব্যবহার …

19 halting-problem 

রানটাইম পরিবেশের পক্ষে কি অসীম লুপগুলি সনাক্ত করা এবং পরবর্তীকালে সম্পর্কিত প্রক্রিয়াটি বন্ধ করা সম্ভব হবে, বা এই জাতীয় যুক্তি বাস্তবায়ন থামানো সমস্যা সমাধানের সমতুল্য হবে? এই প্রশ্নের প্রয়োজনে, আমি একটি "অসীম লুপ" সংজ্ঞায়িত করি যাতে নির্দেশাবলী এবং সম্পর্কিত স্ট্যাক / হিপ ডেটা সম্পর্কিত সিরিজ বোঝানো হয়, যখন মৃত্যুদন্ড কার্যকর …

19 halting-problem