Kurt Gyudel va butun matematikaning asoslarini yiqgan teoremalar
1931-yilda 25 yoshdagi mantikchi Kurt Gyudel matematikaning to‘liq va muvofiq aksiyoma tizimini topish imkonsizligini isbotladi, bu esa ilmning asoslarini qayta yozdi.

AQShda issiqlik pompalariga talab kuchaymoqda. Bu qurilmalar binolarni isitish uchun ishlatiladigan uglerod chiqindilarini kamaytirishga yordam beradi. Ko'pgina shtatlar yaqin o'n yilliklarda ularning foydalanishini oshirishga qaratilgan tajovuzkor maqsadlar qo'ygan.
Issiqlik pompalarining o'rnatilishi uylarning issiqlik xarajatlarini kamaytirishga yordam beradi, lekin elektr energiyasi narxi yuqori bo'lgan hududlarda ularning o'rnatilishi qimmatga tushishi mumkin. Hozirgi vaqtda issiqlik pompalarining o'rnatilishi faqatgina 14% uy xo'jaliklarida mavjud.
Issiqlik pompalarining o'rnatilishi quyidagi afzalliklarga ega:
Issiqlik pompalarining o'rnatilishiga quyidagi to'sqinliklar mavjud:
Shunday qilib, issiqlik pompalarining o'rnatilishi AQShda tobora ommalashmoqda, lekin ularning o'rnatilishini sekinlashtiradigan ba'zi muammolar mavjud. Yuqori elektr energiyasi narxi, o'rnatish xarajatlarining yuqoriligi va uy xo'jaliklarining elektr energiyasi tizimlarini yangilash zarurati issiqlik pompalarining o'rnatilishiga to'sqinlik qilmoqda.