Michal Marcinkowski Co Mozna I Nie Mozna Powiedziec Za Pomoca Formul Logicznych

Wykłada: Michał Marcinkowski
Czas trwania: 2h
Opis: W pierwszej części zajmiemy się arytmetyką Peana i zobaczymy ile można w niej powiedzieć (np. jak napisać formułę $\phi (x)$, która jest prawdziwa tylko dla liczb $x$ będących liczbami Fibonacciego). W drugiej części powiem co nieco o teorii modeli i grach Ehrenfeuchta-Fraissego. To pozwoli nam zbadać, co można wyrazić (a raczej czego nie można) w języku teorii grafów czy liniowych porządków.
Wymagania: Rozumienie wykładu ułatwi ogólne obycie matematyczne. Jeżeli ktoś nie dostaje gęsiej skórki patrząc na definicję ciągłości funkcji wg Cauchy'ego (tę z 4 kwantyfikatorami) powinien sobie poradzić.
Komentarze: