Seminar for GENERAL PROOF THEORY

PROGRAM

Plan rada Seminara za opstu teoriju dokaza za maj 2017.

Predavanje treba da se odrzi u sali 301f Matematickog instituta (Knez Mihailova 36, III sprat). Obratite, molim Vas, paznju na vreme odrzavanja predavanja. Na Seminaru za opstu teoriju dokaza predavanja nece biti svake nedelje, nego samo s vremena na vreme.

PONEDELJAK, 15.05.2017. u 18:00, Sala 301f, MI SANU, Kneza Mihaila 36
Milos Adzic, Filozofski fakultet, Beograd
Kosta Dosen, Matematicki institut SANU, Beograd
GEDELOV KURS OSNOVNE LOGIKE NA NOTR DEJMU
Rezime: U Gedelovoj zaostavstini ostao je rukopis beleski za kurs osnovne logike koji je odrzao na univerzitetu Notr Dejm 1939. godine. (Osim tog, Gedel je odrzao samo jos jedan takav kurs 1935. godine u Becu, i za taj su beleske manjeg obima). Predavaci su nedavno priredili beleske za kurs iz Notr Dejma (www.mi.sanu.ac.rs/~kosta/LogicLecturesNotreDame.pdf) i namera im je da ovde prikazu rezultat svog rada. Bice prikazan Gedelov kurs i njegov znacaj, koji je vise nego pedagoski. Gedel smatra da je, zato sto se na razne nacine nije bavila potpunoscu, aristotelovska logika potpuno neuspesna.

***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************