Seminar for
GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za mart 2012.
Predavanje treba da se odrzi u sali 301f Matematickog instituta (Knez Mihailova 36, III sprat). Obratite, molim Vas, paznju na vreme odrzavanja predavanja (tacno u pola cetiri, bez kasnjenja od cetvrt sata). Na Seminaru za opstu teoriju dokaza predavanja nece biti svake nedelje, nego samo s vremena na vreme.
PETAK, 09.03.2012. U 15:30
Mirjana Borisavljević (Saobraćajni fakultet, Beograd)
GENCENOV HAUPTSATZ
Rezime. Polaziste ce biti Gencenov dokaz teoreme o eliminaciji secenja u
sistemima sekvenata za intuicionisticku i klasicnu predikatsku logiku,
dokaz znamenitog Hauptsatza. Analiziracemo karakteristike pravila
visestrukog secenja (mesanje, mix), koje je korisceno u tom dokazu.
Predstavicemo procedure eliminacije secenja u kojima se secenje eliminise
direktno, bez koriscenja pravila visestrukog secenja. Pokazacemo veze
izmedju transformacija izvodjenja koje cine te procedure i transformacija
izvodjenja koriscenih u Gencenovom dokazu. Osim toga, pokazacemo i veze
izmedju transformacija izvodjenja tih procedura i transformacija
izvodjenja koje cine procedure normalizacije u prirodnoj dedukciji.
PETAK, 16.03.2012. U 15:30
Kosta Došen (Matematički institut SANU, Beograd)
PREDAVANJE POSVEĆENO MAJKLU DAMETU
Rezime. Ime filozofa i logicara Dameta (sir Michael Dummett, 1925-2011) je
jedno od centralnih u opstoj teoriji dokaza. Preminuo je na samom kraju
prosle godine. Ovo predavanje ce biti posveceno njegovom zivotu i delu.
OBAVESTENJA:
Ukoliko ne zelite da primate obavestenja o ovom seminaru na Vasu
elektronsku adresu porucite, molim Vas, to u odgovoru na ovu poruku. A
ukoliko bi pak neko voleo da dobija ta obavestenja, a nije dobio ovo,
njegova ce adresa sa zadovoljstvom biti dodata na listu.
Beograd, 2012.g.
Kosta Dosen, rukovodilac Seminara