প্রশ্ন ট্যাগ «church-turing-thesis»

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

38 computability  turing-machines  machine-models  church-turing-thesis 

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

35 soft-question  lo.logic  church-turing-thesis 

আমি সম্প্রতি একটি বন্ধুর সাথে আলোচনা করছিলাম (যিনি দৃ strongly়ভাবে টাইপ করা ভাষাগুলির পক্ষে) তিনি মন্তব্য করেছেন: ল্যাম্বদা ক্যালকুলাসের উদ্ভাবকরা সর্বদা এটি টাইপ করার ইচ্ছা করেছিলেন। এখন আমরা দেখতে পারেন চার্চ সঙ্গে যুক্ত ছিল কেবলমাত্র টাইপ ল্যামডা ক্যালকুলাস । আসলে, মনে হচ্ছে ল্যাম্বডা ক্যালকুলাস সম্পর্কে ভুল বোঝাবুঝি কমাতে তিনি সরল …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

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

11 lo.logic  computability  church-turing-thesis