В День логики, который во всем мире отмечают 14 января, весьма логично вспомнить об одном из величайших математиков и логиков ХХ века - Альфреде Тарском. На счету польско-американского ученого около 2,5 тыс. научных статей, огромное количество исследований и открытий. Среди учеников Тарского - 24 добились мировой известности. Он сотрудничал с лучшими умами человечества. А еще - математик открыл парадокс, повлиявший на развитие теории меры. Великий логик родился в день логики - 14 января 1901 года...

В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...