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