Kreczmar Antoni

Z
Skocz do: nawigacja, szukaj

Kreczmar Antoni – ur. w 1945 w Warszawie, zm. 24.10.1996 w Warszawie, informatyk, matematyk i wynalazca. Syn reżysera Jerzego Kreczmara. Absolwent Uniwersytetu Warszawskiego. Prowadził badania z zakresu logiki algorytmicznej, złożoności obliczeniowej i języków programowania obiektowego. Stopień doktora uzyskał w 1977. Praca dotyczyła wykazania, iż zbiór tautologii logiki algorytmicznej nie mieści się w żadnej klasie arytmetycznej znajdującej się w hierarchii Kleene-Mostowskiego. W tym samym roku przeprowadził badania udowadniające, iż ciało liczb wymiernych jest określane z dokładnością do izomorfizmu przez aksjomaty ciała oraz własność stopu algorytmu Euklidesa. Kreczmar stwierdził także, iż zbiór własności algorytmicznych prawdziwych w dziedzinie liczb rzeczywistych są formułami, które można wyprowadzić ze schematu aksjomatów liczb formalnie rzeczywistych. Wraz z Lechem Banachowskim, Grażyną Mirkowską, Heleną Rasiową i Andrzejem Salwickim napisał pierwszą monografię poświęconą logice algorytmicznej „An introduction to Algorithmic Logic-Mathematical Investigations of Theory of Programs”. Współautor tłumaczenia książki A. Aho, J. Hopcrofta i J. Ullmana „Projektowanie i analiza programów komputerowych”. Jako pierwszy w Polsce przeprowadził wykład z dziedziny złożoności obliczeniowej. W 1982 opracował język programowania obiektowego Loglan’82 na komputery Mera 400, jeden z najbardziej zaawansowanych i uniwersalnych języków programowania. Mógł obsługiwać także kompilatory Linux i Windows. Jego charakterystycznymi cechami były: system bezpiecznego zarządzania pamięcią obiektów, protokół alien call w procesach, klasy wewnętrzne i dziedziczenie ukośne, łączenie maszyn wirtualnych w wirtualny wieloprocesorowy komputer, łączenie zagnieżdżania klas i dziedziczenia. Inicjator rozwoju Internetu w Polsce. Dyrektor Departamentu Informatyki w Ministerstwie Finansów w latach 1994-1996. Zapoczątkował prace nad informatycznym systemem podatkowym POLTAX. Współautor publikacji „Analiza algorytmów i struktur danych” (1987), „Elementy analizy algorytmów” (1989), „Analysis of Algorithms and Data Structures” (1991).

Źródła: A. Kreczmar, Effectivity problems of algorithmic logic, „Annales Societatis Mathematicae Polonae. Series IV: Fundamentia Informaticae” 1977, nr 1; A. Kreczmar, Programmability in fields, „Annales Societatis Mathematicae Polonae. Series IV: Fundamentia Informaticae” 1977, nr 1; A. Turek, Loglan'82 – zaprzepaszczona szansa polskiej informatyki, [1] [dostęp: 25.05.2020]; J. Madey, M. Sysło, Początki informatyki w Polsce, [2] [dostęp: 25.05.2020].