برنامه هیلبرت

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

برنامهٔ هیلبرت (Hilbert's program) که به وسیلهٔ داوید هیلبرت در دههٔ ۱۹۲۰ (م) فرمول‌بندی شد، بنابود به بیان صوری (formal) همهٔ نظریّه‌های موجود در آن زمان به شکل یک مجموعهٔ متناهی از اصول موضوع پرداخته، و نیز براهینی ارائه نماید که آن اصول با هم سازگار است.

قضایای عدم تمامیّت گُدِل[ویرایش]

گدل نشان‌داد که دست‌یابی به اغلب اهداف مورد پی‌گیری در برنامهٔ هیلبرت غیر ممکن است، یا حدّاقل، چنان‌چه به آشکارترین صورت خود در نظر گرفته شوند، آن‌گونه خواهد بود.