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

Seminar for GENERAL PROOF THEORY

 

PROGRAM


Plan rada Seminara za opstu teoriju dokaza za oktobar 2016.

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, 24.10.2016. u 18:00, Sala 301f, MI SANU, Kneza Mihaila 36
Milos Adzic, Filozofski fakultet, Beograd
GEDEL I DEDUKCIJA
Rezime: U ovom predavanju ce biti reci o nekim manje poznatim Gedelovim gledistima koja se ticu dedukcije. Vecinu tih gledista Gedel je formulisao u razgovorima sa Hao Vangom i ona su za savremenu logiku, a posebno za opstu teoriju dokaza, veoma zanimljiva.

 

***********************************************************
Adresa elektronske poste Seminara: teorija.dokaza@gmail.com
***********************************************************