Seminar for
GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za april 2013.
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, 1. april, u 18:00
Slobodan Vujosevic, Matematicki fakultet Univerziteta Crne Gore u Podgorici
O GEDELOVOM ONTOLOSKOM ARGUMENTU
Rezime: Medju Gedelovim spisima, koji za njegovog zivota nisu
objavljivani, nadjena je i jedna kratka beleska u kojoj je izlozen
prvi cisto logicki dokaz o postojanju Boga. Iako je njegova
argumentacija bila sasvim precizna i ostavljala malo prostora za
razlicite interpretacije, ona je ipak inspirisala mnoge autore i njen
smisao je siroko analiziran u logici, filozofiji i filozofiji
religije.
Ponedeljak, 15. april, u 18:00
Kosta Dosen, Filozofski fakultet i Matematicki institut, Beograd
KATEGORICKO I HIPOTETICKO U TEORIJI DOKAZA
Rezime: Jedan pristup u opstoj teoriji dokaza je da se, kao u
Kari-Hauardovoj korespondenciji, da prednost dokazima, koji su
shvaceni kategoricki, bez hipoteza. Drugi je pristup kategorijalne
teorije dokaza, gde su osnovne dedukcije, koje su hipoteticke. Ta dva
pristupa mogu biti ponekad matematicki ekvivalentna, ali vode
razlicitim rezultatima.
***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************