Kolejnym artykułem prof. Kazimierza Trzęsickiego jest obszerne opracowanie o wkładzie polskich logików do informatyki, zarówno polskiej jak i światowej. Sławny XYZ powstawał przeciez pod opieką prof. Henryka Greniewskiego, a o dokonaniach prof. Jana Łukasiewicza wiedzą chyba wszyscy. Zapraszamy do lektury
W rozwoju polskiej informatyki zasadniczą rolę odegrali logicy. To przede wszystkim w tym gronie tworzona była krytyczna masa dzisiejszych sukcesów. Być może, że był to w jakimś sensie przypadek, jednak kiedy w 1948 roku powstała pierwsza polska placówka zajmująca się komputerami, Grupa Aparatów Matematycznych, profesor Kuratowski na pierwszego kierownika powołał logika i statystyka Henryka Greniewskiego (1903–1972). To on inicjował powstanie w 1962 roku Polskiego Towarzystwa Cybernetycznego. Za datę otwierającą historię polskiej informatyki można przyjąć 23 grudnia 1948 r. Romuald Marczyński wspomina, że wtedy to w pokoju seminarium matematycznego w Instytucie Fizyki spotkało się sześć osób: prof. Kazimierz Kuratowski, prof. Andrzej Mostowski (logik), dr Henryk Greniewski i trzech inżynierów Krystyn Bochenek, Leon Łukaszewicz oraz Romuald Marczyński