برنامه هیلبرت
برنامهٔ هیلبرت (Hilbert's program) که به وسیلهٔ داوید هیلبرت در دههٔ ۱۹۲۰ (م) فرمول‌بندی شد، بنا بود به بیان صوری (formal) همهٔ نظریّه‌های موجود در آن زمان به شکل یک مجموعهٔ متناهی از اصول موضوع پرداخته، و نیز براهینی ارائه نماید که آن اصول با هم سازگار است.
قضایای ناتمامیت گودل
گودل نشان‌داد که دست‌یابی به اغلب اهداف مورد پی‌گیری در برنامهٔ هیلبرت غیرممکن است، یا حدّاقل، چنان‌چه به آشکارترین صورت خود در نظر گرفته شوند، آن‌گونه خواهد بود.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.