Тарский Альфред

Тарский АльфредАльфред Тарский является известным польско-американским математиком, логиком и основателем теории истинности (формальной). Склонность к математическим наукам проявилась в период его обучения в школе.
Этому человеку принадлежит ряд работ относительно неразрешимости и разрешимости формальных теории в логике 1-го порядка. Наиболее известными работами стали теоремы о евклидовой геометрии и разрешимости линейной арифметики. В теореме о разрешимости был использован метод элиминации кванторов. Этот метод стал одним из основных для доказательства разрешимости теорий 1-го порядка. При работе с евклидовой геометрией Тарским была разработана собственная аксиоматизация геометрии, оказавшаяся самой удачной из всех ранее известных.
Работы Альфреда Тарского внесли большой вклад в теории множеств. В 1924 году, при сотрудничестве математика с Банахом, был открыт парадокс Банаха-Тарского.
Объяснение парадокса заключается в том, что понятие «объема» не может толковаться одинаково для произвольных множеств. Однако именно «множества без объема» возникали временно в процессе построения. Этот парадокс имел особое значение для дальнейшего развития теории меры.
За всю свою жизнь Альфред Тарский подготовил 24 студента, которые смогли защитить степень доктора философии (находясь под его руководством). Тарский поддерживал отношения со многими известными учеными и определенным образом влиял на их деятельность.