আমি রাসেলের প্রিন্সিপিয়া ম্যাথমেটিকা (প্রধানমন্ত্রী) এবং যৌক্তিক পজিটিভিজবাদ দ্বারা অনুপ্রাণিত একটি বইয়ের দখলে রয়েছি, অ্যালভিমগুলি নির্ধারণ করে এবং সেগুলি থেকে উপপাদগুলি কেটে একটি নির্দিষ্ট ডোমেনকে আনুষ্ঠানিক করার চেষ্টা করি attempts সংক্ষেপে, এটি গণমাধ্যমের জন্য প্রধানমন্ত্রী যা করার চেষ্টা করেছিল তা তার ডোমেনের জন্য করার চেষ্টা করে। প্রধানমন্ত্রীর মতো এটি স্বয়ংক্রিয় উপপাদ্য প্রমাণকারী (এটিপি) সম্ভব হওয়ার আগে লেখা হয়েছিল।
আমি একটি আধুনিক এটিপি সিস্টেমে এই অট্টালিকাগুলি উপস্থাপন করার চেষ্টা করছি এবং প্রবর্তনগুলি লেখকের দ্বারা হাতে নেওয়া (প্রাথমিকভাবে) দ্বারা প্রবর্তন করার চেষ্টা করছি। আমি এর আগে কোনও এটিপি সিস্টেম ব্যবহার করি নি, এবং বিকল্পগুলির (এইচএল, কক, ইসাবেল এবং আরও অনেকগুলি) অনেকগুলি দেওয়া হয়েছে, যার প্রতিটি তাদের শক্তি, দুর্বলতা এবং উদ্দেশ্যযুক্ত অ্যাপ্লিকেশন সহ, আমার নির্দিষ্টগুলির জন্য কোনটি উপযুক্ত তা নির্ধারণ করা কঠিন প্রমাণিত হচ্ছে উদ্দেশ্য।
লেখকের আনুষ্ঠানিকতা প্রধানমন্ত্রীকে ঘনিষ্ঠভাবে আয়না করে। এখানে শ্রেণীবদ্ধ (সেট?), ক্লাসের ক্লাস এবং আরও অনেকগুলি স্তরক্রমের 6 স্তর পর্যন্ত রয়েছে। এখানে প্রথম অর্ডার এবং সম্ভবত উচ্চতর অর্ডার যুক্তি রয়েছে। প্রধানমন্ত্রীর সাথে সংযোগ দেওয়া, আমি প্রাথমিকভাবে মেটামথ তদন্ত করেছি, যেহেতু প্রধানমন্ত্রীর বেশ কয়েকটি উপপাদ্য মেটামেথে অন্যান্য লোকেরা প্রমাণ করেছে। তবে, মেটামথ অবশ্যই একটি প্রমাণ যাচাইকারী এবং এটিপি সিস্টেম নয় not
বিভিন্ন এটিপি সিস্টেমের বিবরণে গিয়ে আমি বেশ কয়েকটি বৈশিষ্ট্য দেখতে পাচ্ছি, যেমন চার্চের ধরণের তত্ত্বের বাস্তবায়ন, গঠনমূলক ধরণের তত্ত্ব, স্বজ্ঞাতদৃষ্টির ধরণের তত্ত্ব, টাইপ / টাইপড সেট তত্ত্ব, প্রাকৃতিক ছাড়, ল্যাম্বদা ক্যালকুলির ধরণ, পলিমারফিজম, পুনরাবৃত্ত ফাংশন তত্ত্ব এবং সমতা অস্তিত্ব (বা না)। সংক্ষেপে, প্রতিটি সিস্টেম একটি পৃথক ভাষা বাস্তবায়ন করে বলে মনে হয় এবং বিভিন্ন জিনিস আনুষ্ঠানিক করার জন্য এটি অবশ্যই উপযুক্ত। আমি ধরে নিয়েছি যে গণিতকে আনুষ্ঠানিক করার জন্য বিদ্যমান গ্রন্থাগারগুলি আমার উদ্দেশ্যটির সাথে প্রাসঙ্গিক নয়।
এটিপি বাছাই করার ক্ষেত্রে আমার যে বৈশিষ্ট্যগুলি গ্রহণ করা উচিত সেগুলি সম্পর্কে কোনও পরামর্শ, বা এই প্রশ্নটি পড়ার পরে আপনার কাছে থাকতে পারে এমন কোনও পরামর্শ, অনেক প্রশংসা হবে। রেফারেন্সের জন্য, এখানে বইয়ের একটি নমুনা পৃষ্ঠা রয়েছে। দুর্ভাগ্যক্রমে, প্রধানমন্ত্রীর মতো এটি পিয়ানো-রাসেল স্বরলিপিতে রয়েছে।
বইটি -
"জীববিদ্যায় অক্সিমেটিক পদ্ধতি" (1937), জে এইচ উডগার, এ। তারস্কি, ডাব্লুএফ ফ্লয়েড
অলক্ষেত্রগুলি নিখাদতত্ত্ব দিয়ে শুরু হয়। উদাহরণ স্বরূপ,
আবার লক্ষ করুন যে এটি পিয়ানো-রাসেল স্বরলিপি (প্রিন্সিপিয়া স্বরলিপি)।
পরের অক্ষরেখায় জৈবিক সামগ্রী থাকে যেমন,
.4.৪.২ যখন কোনও মেন্ডেলিয়ান শ্রেণির দুই সদস্যের গেমেটগুলি জোড়োটগুলি গঠনের জন্য জোড়ায় একত্রিত হয়, তখন কোনও প্রদত্ত জোড় একত্রিত হওয়ার সম্ভাবনা অন্য জোড়ার সমান হয়।
এটি, আমি যা বুঝতে পারি তা থেকেই মেন্ডেলিয়ান জিনেটিক্সের একটি পোস্টুলেট ছিল।
আমি এটির জন্য স্বরলিপিটি বাদ দিচ্ছি কারণ এটি তিনটি লাইন দীর্ঘ এবং পূর্বনির্ধারিত সামগ্রীতে নির্মিত।
একটি উপপাদ্য উদাহরণ -
এটি স্পষ্টতই মেন্ডেলিয়ান জিনেটিক্সে একটি অর্থবহ ব্যাখ্যা বহন করে, যা জীববিজ্ঞানের ইতিহাসবিদ না হয়েও আমি বুঝতে পারি না। বইটিতে, এটি হাত দ্বারা বিয়োগ করা হয়েছিল।
ধন্যবাদ!