মডেল তত্ত্ব

উইকিপিডিয়া, মুক্ত বিশ্বকোষ থেকে

যুক্তিবিজ্ঞান ও গণিতের ভিত্তি

গণিতের ভিত্তি • স্বতঃসিদ্ধ ব্যবস্থা • গাণিতিক কূটাভাস • প্রতীকী যুক্তিবিজ্ঞান • স্বতঃসিদ্ধমূলক সেট তত্ত্ব • মডেল তত্ত্ব • অনাদর্শ বিশ্লেষণ • গ্যোডেল সংখ্যা • পুনরাবৃত্ত ফাংশন • সিদ্ধান্ত সমস্যা • গঠনমূলক ক্রমসূচক সংখ্যা • বিশ্লেষণী সেট

মডেল তত্ত্ব (ইংরেজি ভাষায়: Model thoery) স্বতঃসিদ্ধমূলক সেট তত্ত্ব বর্ণনাকারী সাধারণ তত্ত্ব। এটি যুক্তিবিজ্ঞানের একটি শাখা যেখানে গাণিতিক সংগঠনগুলি নিয়ে গবেষণা করার জন্য ঐ সংগঠনগুলি সম্পর্কিত প্রথম-মাত্রার সত্য বাক্যসমূহ এবং প্রথম-মাত্রার সূত্র প্রয়োগে যেসব সেটকে ঐ সংগঠনগুলির জন্য সংজ্ঞায়িত করা যায়, সেই সব সেট আলোচনা করা হয়।

যেসমস্ত গাণিতিক সংগঠন কোন সিস্টেমের স্বতঃসিদ্ধগুলি মেনে চলে সেগুলিকে ঐ সিস্টেমের "মডেল" বলা হয়।