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

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

75 computability  logic  halting-problem  incompleteness 

আমি সম্প্রতি বৈপরীত্য দ্বারা প্রমাণের বৈধতা সম্পর্কে চিন্তা ছিল। আমি গত কয়েকদিন ধরে স্বজ্ঞাত যুক্তি এবং গডেলের উপপাদ্যগুলিতে জিনিসগুলি পড়েছি তা দেখার জন্য তারা আমার প্রশ্নের উত্তর দেয় কিনা would এই মুহুর্তে এখনও আমার কাছে দীর্ঘসূত্রতা রয়েছে (সম্ভবত আমি যে নতুন উপাদান পড়েছি তার সাথে সম্পর্কিত) এবং কিছু উত্তর পাওয়ার …

19 logic  first-order-logic  propositional-logic  incompleteness 

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

12 terminology  logic  first-order-logic  propositional-logic  incompleteness