ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

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
***********************************************************