Harvey Friedman
Harvey Friedman · Nauka i medycyna
Friedman to amerykański logik matematyczny, który pomógł stworzyć matematykę odwrotną — program ustalający, dokładnie których aksjomatów potrzeba do udowodnienia twierdzeń matematycznych — i który badał granice dowodliwości oraz siłę dużych liczb kardynalnych.
1948, Chicago, Illinois, USA
United States
Friedman to amerykański logik matematyczny, który pomógł stworzyć matematykę odwrotną — program ustalający, dokładnie których aksjomatów potrzeba do udowodnienia twierdzeń matematycznych — i który badał granice dowodliwości oraz siłę dużych liczb kardynalnych. Na uczelnię i do pracy naukowej trafił w słynnie młodym wieku. Jego żydowskie pochodzenie jest udokumentowane.
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ć.
Friedman to amerykański logik matematyczny, który pomógł stworzyć matematykę odwrotną — program ustalający, dokładnie których aksjomatów potrzeba do udowodnienia twierdzeń matematycznych — i który badał granice dowodliwości oraz siłę dużych liczb kardynalnych.
Źródło: Jinfo.org — Jews in Mathematics
Podobni twórcy
Adolf Lindenbaum
Andrzej Mostowski
Georg Kreisel
Laszlo Kalmar
Solomon Feferman
