Буль Джордж (1815-1864 гг.) Джордж Буль родился 2 ноября 1815г. в г. Линкольне. Сын сапожного мастера, увлекающегося математикой. Джордж Буль окончил только начальную школу. Он попытался учиться в коммерческом училище, но вскоре бросил из-за полного отсутствия интереса к коммерции и дальнейшие знания приобретал самоучкой. Он самостоятельно проштудировал математические работы Ньютона, Лагранжа. На жизнь Буль зарабатывал как учитель. В 1849г. стал профессором математики в Куинсколледже г. Корк (Ирландия), где преподавал до конца жизни. В 1855г. Джордж Буль женился на Мэри Эверест. Занимаясь математическими исследованиями, ученый не забывал о гуманитарных предметах. Его интересовали лингвистика и логика, философия, этика и поэзия. Этот слишком большой разброс интересов профессора математики его супруга, видимо, не одобряла. Она самым решительным образом покончила с его поэтическими упражнениями: однажды забрала у него листы, на которых он писал стихи и кинула их в огонь. Из его пяти дочерей, три были незаурядными личностями. Старшая, Люси, стала профессором химии, средняя, Алиса, получила ряд интересных результатов в геометрии. Но самой известной стала младшая дочь - Этель Лилиан, в замужестве Войнич, написавшая ряд романов, в том числе "Овод". Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, затем занялся математической логикой. В основных трудах Буля "математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения" и "исследование законов мышления, в которых основаны математические теории логики и вероятности" были заложены основы математической логики. Джордж Буль умер в 1864г.

 

ДОСТИЖЕНИЯ В МАТЕМАТИКЕ

 

Основное произведение Буля "Исследование законов мышления". Буль предпринял попытку построить формальную логику в виде некоторого "исчисления", "алгебры". Логические идеи Буля в последующие годы получили дальнейшее развитие. Логические исчисления, построенные в соответствии с идеями Буля, находят сейчас широкое применение в приложениях математической логики к технике, в частности к теории релейно-контактных схем. В современной алгебре есть булевы кольца, булевы алгебры - алгебраические системы, законы композиции которых берут свое начало от исчисления Буля. В общей топологии известно булево пространство, в математических проблемах управляющих систем - булев разброс, булево разложение, булева регулярная точка ядра.