প্রশ্ন ট্যাগ «constructive-mathematics»

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

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

আমি দক্ষ অ্যালগরিদমগুলির প্রাকৃতিক উদাহরণগুলি খুঁজছি (অর্থাত্ বহুপক্ষীয় সময়ে) স্ট্যান্ড তাদের সঠিকতা এবং দক্ষতা গঠনমূলকভাবে প্রমাণিত হতে পারে (যেমন বা ), তবেPRAPRAPRAHAHAHA কেবল দক্ষ ধারণা ব্যবহার করে কোনও প্রমাণ জানা যায় না (যেমন আমরা বা কীভাবে তাদের সঠিকতা এবং দক্ষতা প্রমাণ করতে পারি তা জানি না )।TV0TV0TV^0S12S21S^1_2 আমি নিজেই কৃত্রিম …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

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

15 lo.logic  type-theory  lambda-calculus  proof-theory  constructive-mathematics 

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

12 type-theory  functional-programming  constructive-mathematics 

আমি জানতে চাই যে একই প্রস্তাবের দুটি সিদ্ধান্ত গ্রহণযোগ্য প্রমাণের সমতার ডিসিডেবিলিটি ইন্ডাকটিভ কনস্ট্রাকশনস ক্যালকুলাসে কোনও অতিরিক্ত অক্ষর ছাড়া প্রমাণ করা যায় কিনা। বিশেষত, আমি জানতে চাই যে এটি কোকের কোনও অতিরিক্ত অ্যাকিমিয়াম ছাড়াই সত্য if । পি: প্রপ , পি∨ ¬ পি⇒ ( ∀)পি1: পি, ∀পি2: পি, {পি1=পি2} ∨ …

9 coq  constructive-mathematics  calculus-of-constructions