Moritz Presburger
Moritz Presburger · Nauka i medycyna
Mojżesz (Moritz) Presburger był polskim matematykiem i logikiem, który w 1929 roku udowodnił rozstrzygalność teorii pierwszego rzędu liczb naturalnych z dodawaniem, zwanej dziś arytmetyką Presburgera — fundamentalny wynik logiki matematycznej i informatyki.
1904, Warsaw, Poland — 1943
Poland
Mojżesz (Moritz) Presburger był polskim matematykiem i logikiem, który w 1929 roku udowodnił rozstrzygalność teorii pierwszego rzędu liczb naturalnych z dodawaniem, zwanej dziś arytmetyką Presburgera — fundamentalny wynik logiki matematycznej i informatyki. Jego jedyna wielka praca stała się kamieniem węgielnym procedur rozstrzygających. Był Żydem i przypuszcza się, że został zamordowany w Zagładzie około 1943 roku.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jews in Mathematics
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Mojżesz (Moritz) Presburger był polskim matematykiem i logikiem, który w 1929 roku udowodnił rozstrzygalność teorii pierwszego rzędu liczb naturalnych z dodawaniem, zwanej dziś arytmetyką Presburgera — fundamentalny wynik logiki matematycznej i informatyki.
Źródło: Jinfo.org — Jews in Mathematics
Podobni twórcy
Adolf Lindenbaum
Andrzej Mostowski
Barry Mazur
Georg Kreisel
