Ammo keyin Endryu Uilz uni 1994 yilda yechishga muvaffaq bo'ldi. Kontinuum gipotezasi juda boshqacha turdagi muammodir; amaldagi usullar yordamida uni yechishning iloji yo‘qligini isbotlashimiz mumkin, bu matematikada mutlaqo noma’lum hodisa emas.
Continuum gipotezasini kim isbotlagan?
Continuum gipotezasi 1878-yilda Georg Cantor tomonidan ilgari surilgan va uning haqiqat yoki yolgʻonligini aniqlash Gilbertning 1900-yilda taqdim etgan 23 ta muammolaridan birinchisidir.
Continuum haqiqiymi?
Continuum gipotezasi (bitta formula ostida) oddiygina bunday haqiqiy sonlar toʻplami yoʻq degan bayonotdir. Aynan shu gipotezani isbotlashga urinishi tufayli Kantor to'plamlar nazariyasini matematikaning murakkab bo'limiga aylantirdi.
Kantor kontinuum gipotezasini isbotladimi?
1873 yilda nemis matematigi Georg Kantor kontinuumni sanab bo'lmasligini isbotladi - ya'ni haqiqiy sonlar hisoblash raqamlaridan katta cheksizlikdir - bu boshlang'ich to'plamdagi asosiy natijadir. nazariya matematik fan sifatida.
Qancha raqam bor?
Nechta haqiqiy son bor? Javoblardan biri: " Cheksiz ko'p" Murakkabroq javob "Sanoqsiz ko'p", chunki Jorj Kantor haqiqiy chiziq - kontinuumni bitta yozishmaga kiritish mumkin emasligini isbotladi. natural sonlar bilan.
