W poprzednim odczycie [1] akcentowana była wartość dowodów efektywnych w porównaniu z tymi, w których środkiem dowodowym jest pewnik wyboru. W tym odczycie będzie okazja przypomnieć, że pewnik wyboru pełni w sytuacjach mnogościowych rolę wyjaśniającą w odróżnieniu od konstrukcji efektywnych, które często mają charakter przypadkowości.
Latem 1734 kapitulował Gdańsk oblegany przez niemal dwa lata przez wojska rosyjskie interweniujące w Polsce przeciwko królowi Stanisławowi Leszczyńskiemu. Jednym z warunków kapitulacji było (patrz Sołowjew(1960)) wysłanie do Petersburga uroczystej deputacjizłożonej z najznakomitszych obywateli miasta, co nastąpiło w roku następnym. Wtedy to, według Kopielewicza(1977), burmistrz miasta, Carl Leonhard Gottlieb Ehler, spotkał się z Eulerem, przekazując mu zadanie o mostach królewieckich. O burmistrzu Gdańska wspomina również Denes König(1936), pisząc, że Ehler, sam miłośnik matematyki, słyszał o tym zadaniu od Heinricha Kühna, profesora gimnazjum akademickiego w Gdańsku. W marcu 1736 Euler pisał do Marinioniego w Wiedniu o rozwiązaniu zadania. Zamieszczony w tym liście szkic mostów jest tym, który wszyscy znamy. Pisał też o swoim rozwiązaniu do Eulera, dodając, że nie widzi ani w problemie ani w swoim rozwiązaniu niczego, co mogłoby interesować profesjonalnego matematyka.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW