কুর্ট গ্যোডেল: সংশোধিত সংস্করণের মধ্যে পার্থক্য

গ্যোডেল ইতিহাসের অন্যতম গুরুত্বপূর্ণ যুক্তিবিদ। তাঁর কাজ বিংশ শতাব্দীর বৈজ্ঞানিক ও দার্শনিক চিন্তাধারায় অসামান্য প্রভাব ফেলে। গ্যোডেলের সমসাময়িক গণিতবিদ [[বার্ট্রান্ড রাসেল]], [[আলফ্রেড নর্থ হোয়াইটহেড]] ও [[ডেভিড হিলবার্ট]] [[যুক্তিবিজ্ঞান]] ও [[সেটতত্ত্ব|সেটতত্ত্বের]] সাহায্যে [[গণিত|গণিতের]] ভিত্তি অনুধাবন করার চেষ্টা করছিলেন।

গ্যোডেল তাঁর দুটি [[গ্যোডেলের অসম্পূর্ণতা উপপাদ্যসমূহ|অসম্পূর্ণতা উপপাদ্যের]] জন্য বিখ্যাত, যেগুলো তিনি মাত্র ২৫ বছর বয়সে, [[ইউনিভার্সিটি অফ ভিয়েনা]] থেকে ডক্টরেট পাওয়ার মাত্র এক বছরের মধ্যে, [[১৯৩১]] সালে প্রকাশ করেন। এই দুইটি উপপাদ্যের মধ্যে যেটি বেশি বিখ্যাত, সেটি বলে যে [[স্বাভাবিক সংখ্যা|স্বাভাবিক সংখ্যাগুলির]] পাটীগণিত (অর্থাৎ [[পেয়ানো পাটীগণিত]]) ব্যাখ্যা করতে পারে, এরকম শক্তিশালী যেকোন স্বসংগত (self-consistent) [[পুনরাবৃত্তিমূলক সেট|পুনরাবৃত্তিমূলক]] [[স্বতঃসিদ্ধ ব্যবস্থা|স্বতঃসিদ্ধ ব্যবস্থার]] জন্য স্বাভাবিক সংখ্যা বিষয়ে এমন সব সত্য প্রস্তাবনা (true propositions) আছে, যে প্রস্তাবনাগুলি ঐ স্বতঃসিদ্ধগুলি থেকে উপনীত হওয়া সম্ভব নয়। এই উপপাদ্যটি প্রমাণ করার জন্য গ্যোডেল [[গ্যোডেল সংখ্যা|গ্যোডেল সংখ্যায়ন]] নামের একটি কৌশল বের করেন।