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