|
|||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||
Ernst Friedrich Ferdinand Zermelo (ur. 27 lipca 1871 w Berlinie, zm. 21 maja 1953 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 Fraenkela i Skolema i pod nazwą aksjomatów Zermelo-Fraenkela jest do dziś najpowszechniej stosowanym systemem aksjomatów teorii mnogości.
edytuj Twierdzenie ZermeloW 1913 roku opublikował artykuł zatytułowany Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels, w którym omówił zastosowanie teorii mnogości do teorii gry w szachy[1]. Zawarte w nim twierdzenie uważane jest współcześnie za pierwsze opublikowane twierdzenie w teorii gier[2]. Miało to wiele lat przed opublikowaniem pionierskich prac w tej dziedzinie przez Johna von Neumanna, którego powszechnie uznaje się za ojca tej dziedziny wiedzy. W swoim artykule Zermelo zauważył, że w szachach istnieją pozycje, w których jedna ze stron może zapewnić sobie wygraną, na przykład matując przeciwnika w dwóch ruchach. Stanowią one podstawę kompozycji szachowych. Rozwiązanie takiego problemu ma miejsce, jeżeli można znaleźć parę ruchów, która zapewnia jednej stronie wygraną, niezależnie od tego jaki ruch wykona przeciwnik. Prowadzi to do uogólnionego problemu, czy istnieje liczba N, taka że w ustawieniu wyjściowym jedna strona może zamatować przeciwnika w N ruchach. W swoim artykule, Zermelo rozważał odpowiedź na podobne pytanie. Analizował czy dla każdej pozycji, która może mieć miejsce podczas gry w szachy można w matematycznie obiektywny sposób wyznaczyć wynik partii oraz optymalne posunięcie gracza, na którego przypada ruch[2]. Podczas, gdy Zermelo nie udzielił ostatecznej odpowiedzi na pytanie czy pozycja wyjściowa w szachach gwarantuje zwycięstwo którejkolwiek ze stron zauważył również, że jeżeli odpowiedź na nie byłaby znana, wówczas szachy utraciłby swój charakter jako gra[2]. We współczesnej teorii gier twierdzenie, które udowodnił Zermelo obrosło niemal legendą i podaje się wiele różnych nierównoważnych jego sformułowań[2]. Wynika to zapewne z faktu, że artykuł Zermelo został wydany po niemiecku i przez wiele lat nie był przetłumaczony na język angielski. Jednym z najpowszechniejszych jest:
Inni autorzy podają bardziej uogólnione sformułowania, jak np.[2]:
Przypisy
edytuj Bibliografia
edytuj Linki zewnętrzne
|
| All Right Reserved © 2007, Designed by Stylish Blog. |