Seminar for GENERAL PROOF THEORY
PROGRAM
Plan rada Seminara za opstu teoriju dokaza za mart 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, 18. mart, u 18:00
Milos Adzic, Filozofski fakultet, Beograd
GEDEL O AKSIOMAMA I DOKAZIMA
Rezime: Kurt Gedel je veliku paznju posvetio pitanju: ,,Sta su to aksiome?'', posebno u vezi sa novim aksiomama teorije skupova. Ovo je pitanje delom i filozofsko. Drugo jednako zanimljivo pitanje: ,,Sta je to dokaz?'' kao da ga nije zainteresovalo. Na ovom predavanju ce bar delimicno biti objasnjeno zasto je to slucaj.
***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************