Текст
Джордж Буль алгебраның бір түрін ойлап тапты - сандардан сөйлемдерге дейін барлық нысандарға қолданылатын белгілер мен ережелер жүйесі. Бұл жүйені қолдана отырып, ол өз тілінің таңбаларын қолдана отырып, мәлімдемелерді (растамаларды, шындықты немесе жалғандықты дәлелдеуге тура келді) кодтай алады, содан кейін оларды математикада сандарды қалай басқаратыны сияқты басқара алады. Оның ашылулары қазір математикалық логиканың технологияға, қазіргі алгебраға қосымшаларында кеңінен қолданылады. Ол екілік сандық жүйесі бар математикалық аппаратты құрды, осылайша сандық электрондық компьютерді дамытуға негіз қалады.
Борисенко С.Т.