![[Sprawdzone XHTML 1.0]](../Bildoj/valid-xhtml10.png){kind=small}
![[Najlepiej przeglądać jakąkolwiek przeglądarką]](sab_pl.gif){kind=small}
![[Kampania przeciw cenzurze 'Niebieski Pasek']](http://br.eff.org/brstrip.gif){kind=small}
In English - En Esperanto - Suomeksi
Bardzo mnie martwi, że Prezydent Obama nadal zatrzyma aresztowanych ludzi w Guantanamo bez żadnego procesu sądowego, gwałcąc tym prawa człowieka.
![[Moje zdjęcie]](../Bildoj/gulangyu2007_kasvot.jpg)
Zacząłem pracować na Wydziale Matematyki i Statystyki (kiedy jeszcze był Wydziałem Matematyki) Uniwersytetu Helsińskiego w 1988 roku. We wrześniu 1991 roku uzyskałem tytuł doktora filozofii. Od tamtych czasów jestem członkiem Grupy Logiki na Uniwersytecie Helsińskim. Interesuję się głównie teorią mnogości, skończonymi modelami i nieskończonymi językami. W 2002 roku zacząłem ponownie badać definiowalność w pierścieniach funkcji zespolonych analitycznych w języku logiki pierwszego rzędu. Poza tym opublikowałem kilka artykułów o innych dziedzinach matematyki niż logika.
Kursy, które wykładałem w ciągu kilku ostatnich lat:
| Rok | Semestr | Kurs |
|---|---|---|
| 2003 | wiosna | Aksjomatyczna teoria mnogości |
| 2003 | jesień | Zaawansowana teoria mnogości |
| 2004 | wiosna | Teoria obliczeń |
| 2004 | jesień | Wymuszanie |
| Podstawy analizy | ||
| 2005 | wiosna | Podstawy teorii mnogości |
| 2005 | jesień | Aksjomatyczna teoria mnogości |
| 2006 | wiosna | Zaawansowana teoria mnogości |
| 2006 | jesień | Podstawy analizy |
| 2006 | jesień | Iterowane wymuszanie |
Wiosną 2011 roku wykładam kurs Logika I po angielsku.
Na swojej anglojęzycznej osobistej stronie piszę więcej o sobie, moich opiniach i o moim życiu.
Dla ciekawych istnieją statystyki odwiedzin moich stron.
Jeszcze niewiele napisałem po polsku. Na razie mam oprócz tej strony tylko kopię wyjątkowo śmiesznego spamu Usenetowego. Oczywiście, o gustach się nie dyskutuje. Poza tym na mojej stronie o palindromach jest coś napisane po polsku.
Oczywiście były błędy na niniejszej stronie. Bardzo dziękuję wszystkim, którzy je poprawili, oraz proszę o dalsze poprawki, o ile jeszcze coś jest nie tak. Postanowiłem jednak zrobić kopię wersji oryginalnej od 1 marca 2004 r.
Wiosną 2011 jestem dostępny w swoim pokoju A413 w poniedziałki od 13.00 do 14.00 oraz we wtórki od 14.30 do 15.30.
Chętnie czytam szyfrowaną pocztę elektroniczną. Na co dzień wystarczają klucze zaznaczone jako "insecure" (niezabezpieczone). Brak bezpieczeństwa takich kluczy jest bezpośrednio związany z łatwością ich używania.