Martin Davis
Martin Davis · Technologia i inżynieria
Davis, amerykański matematyk urodzony w rodzinie żydowskich imigrantów z Polski, wykonał fundamentalne prace w teorii obliczalności i logice matematycznej.
1928, New York City, United States — 2023, Berkeley, California, United States
United States
Davis, amerykański matematyk urodzony w rodzinie żydowskich imigrantów z Polski, wykonał fundamentalne prace w teorii obliczalności i logice matematycznej. Był kluczowym współautorem rozwiązania dziesiątego problemu Hilberta, dowodząc, że żaden algorytm nie może rozstrzygnąć, czy dowolne równanie diofantyczne ma rozwiązania całkowite (twierdzenie Davisa–Putnama–Robinson–Matijasiewicza). Jego algorytm Davisa–Putnama stał się też kamieniem węgielnym automatycznego dowodzenia twierdzeń i nowoczesnych solverów SAT.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jews in Computer Science
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ć.
Davis, amerykański matematyk urodzony w rodzinie żydowskich imigrantów z Polski, wykonał fundamentalne prace w teorii obliczalności i logice matematycznej.
Źródło: Jinfo.org — Jews in Computer Science
Podobni twórcy
Hilary Putnam
Avi Wigderson
Leslie Lamport
Richard Karp
Alfred Tarski
