WykĹad o logicznych podstawach matematyki. DoĹÄ trudny. Trzeba caĹy semestr pracowaÄ. W dodatku na koniec jest egzamin, ktĂłry moĹźna oblaÄ. Ale za to moĹźna wyrobiÄ sobie zdanie na temat natury matematyki i matematycznej prawdy. Zakres wykĹadu: m.in. klasyczny rachunek logiczny, elementy teorii modeli, teoria mnogoĹci jako ``metateoria'' dla matematyki, elementy teorii rekursji w zakresie potrzebnym do wyÂłoÂżenia twierdzeĂą Gödla.
Warunki wstÄpne: naiwna teoria
mnogoĹci (``wstÄp do matematyki B''), pewna
znajomoĹÄ algebry i topologii oraz bystroĹÄ i giÄtki umysĹ. KontynuacjÄ
w
nastĂŞpnym semestrze bÄdzie Teoria modeli. Literatura :
1. J.Shoenfield, Mathematical Logic (1968),
2. H.J.Keisler, C.C.Chang, Model Theory (1973),
3. G.Sacks, Saturated Model Theory (1972),
4. Z.Adamowicz, P.Zbierski, Logika Matematyczna (199?).
Terminy wykĹadu i ÄwiczeĹ: , czwartek, sala 603, 10-12 (wykĹad), 12-14
(Äwiczenia).
Z kaĹźdej listy zadaĹ trzeba zrobiÄ pisemnie trzy zadania jako zadanie domowe i oddaÄ prace przed Äwiczeniami.