Helena Rasiowa (1917–1994)

Helena Rasiowa uważana jest za matkę polskiej informatyki teoretycznej i jedną z najznakomitszych przedstawicielek słynnej warszawsko-lwowskiej szkoły logicznej. Urodziła się w Wiedniu, wychowała w Warszawie, a studia matematyczne przerwał jej wybuch II wojny światowej - pracę magisterską, która spłonęła podczas powstania warszawskiego, napisała od nowa w ciągu kilku miesięcy po zakończeniu walk. W badaniach naukowych koncentrowała się na logice i algebrze, w późniejszym okresie na informatycznych aspektach matematyki, algorytmice oraz sztucznej inteligencji. Opracowała między innymi - wspólnie z Romanem Sikorskim - pierwszy algebraiczny dowód twierdzenia Gödla o pełności klasycznego rachunku predykatów oraz prowadziła ważne badania nad logikami programów i metodami wnioskowania przy niepełnej informacji. Była jedną z pierwszych osób, które dostrzegły znaczenie logiki matematycznej dla informatyki oraz przyszłość tej dyscypliny. Jej podręcznik Wstęp do matematyki współczesnej doczekał się 14 wydań i był tłumaczony na wiele języków.

Post opublikowany w ramach współpracy z projektem Fem_In_STEM.

źródło zdjęcia: https://ptkwm.pl/2021/03/helena-rasiowa-1917-1994/