سایت جامع در باب کتب و جزوات رشته های ریاضی و کامپیوتر با دانلود مستقیم.
فرض پیوستار در ریاضیات فرضی است درباره اندازه مجموعههای بینهایت. این فرض میگوید:
یا به عبارتی هیچ عدد اصلی مانند در نامساوی صدق نمیکند.
به همین ترتیب تعمیم فرض پیوستار میگوید:
اولین مسئله هیلبرت
در سال ۱۹۰۰ در انجمن بینالمللی ریاضیدانان در پاریس دیوید هیلبرت ۲۳ مسئله ریاضی ارئه کرد که اولین آنها قضیه تعمیم فرض پیوستار بود و تا سال ۱۹۳۸ هیچگونه پیشرفتی در حل این مسئله وجود نداشت که در این سال کورت گودل اثبات کرد که تعمیم فرض پیوستار در اصول جاری نظریه مجموعهها قابل رد نیست. ولی در سال ۱۹۶۲ پل کوهن اثبات کرد که این مسئله با اصول نظریه مجموعهها (ZFC) قابل اثبات نیست.
نتایج گودل و کوهن عموماً به عنوان یک تناقض برداشت نمیشود و مانند اصل توازی اقلیدسی در هندسه تایید یا تکذیب آن به ما یک تئوری سازگار در ریاضیات میدهد.