Английский математик Джордж Буль (George Boole, 1815-1864) опубликовал работу "Математический анализ логики". Так появился новый раздел математики. Его назвали Булева алгебра. Каждая величина в ней может принимать только одно из двух значений: истина или ложь, 1 или 0. Эта алгебра очень пригодилась создателям современных компьютеров. Ведь компьютер понимает только два символа: 0 и 1. Его считают основоположником современной математической логики.