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

Seminar for GENERAL PROOF THEORY

 

PROGRAM


Plan rada Seminara za opstu teoriju dokaza za februar 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, 29. februar, u 18:00
Katarina Maksimovic Filozofski fakultet, Beograd
DEDUKCIJA I UPOTREBE JEZIKA

Rezime. Bice kritikovana dogma da iskljucivo iskazi mogu biti premise i zakljucci dedukcija. Veliki ruski matematicar Kolmogorov je doveo tu dogmu u pitanje interpretacijom intuicionisticke logike prema kojoj premise i zakljucci dedukcija u matematici nisu iskazi vec problemi. Bice ispitana mogucnost da se problemi o kojima govori Kolmogorov shvate kao imperativi, i takodje odnos izmedju Kolmogorovljeve interpretacije intuicionisticke logike i logike imperativa. Glavnim problemom logike imperativa smatra se Jergensenova dilema, koja pociva na pomenutoj dogmi. Toj dogmi mozemo da se suprotstavimo u teoriji dokaza i tako resimo Jergensenovu dilemu.



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