Ernst Zermelo
Wygląd
Ernst Zermelo we Fryburgu, 1953 | |
| Data i miejsce urodzenia | |
|---|---|
| Data i miejsce śmierci | |
| Zawód, zajęcie | |
Ernst Friedrich Ferdinand Zermelo (ur. 27 lipca 1871 w Berlinie, zm. 21 maja 1953[1] we Fryburgu Bryzgowijskim) – niemiecki matematyk.
Sformułował jeden z podstawowych dla teorii mnogości aksjomatów zwany aksjomatem wyboru i z jego pomocą udowodnił twierdzenie mówiące, że każdy zbiór można dobrze uporządkować.
W 1905 r. Zermelo rozpoczął prace nad aksjomatyzacją teorii mnogości i w 1908 przedstawił system jej aksjomatów. System ten został następnie zmodyfikowany niezależnie przez Fraenkla i Skolema i pod nazwą aksjomatów Zermela-Fraenkla jest do dziś najpowszechniej stosowanym systemem aksjomatów teorii mnogości.
Twierdzenie Zermela
[edytuj | edytuj kod]| a | b | c | d | e | f | g | h | ||
| 8 | |||||||||