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

Seminar for GENERAL PROOF THEORY

 

PROGRAM


Plan rada Seminara za opstu teoriju dokaza za decembar 2012.

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, 10. decembar, u 18:00
Sergei Soloviev, Institut de Recherche en Informatique de Toulouse
PROOF THEORY
IS IT ABOUT PROOFS OR PROVABILITY?

Abstract: The approach of traditional logic, where derivability in various logical systems is considered as the main subject of study,is compared with the point of view of modern proof theory, where the structure of the proofs themselves is considered as essential. Justifications of the proof-theoretical point of view are discussed (for example, the proofs-as-programs interpretation, categorical semantics, etc.).

Profesor Solovjov treba da prethodno u petak 7. decembra, u 16:30, na istom mestu, odrzi jos jedno predavanje sa srodnom temom, malo vise tehnicko, pod naslovom ,,Graph Transformations and Proof Theory''.

Ponedeljak, 24. decembar, u 18:00
Kosta Dosen, Filozofski fakultet i Matematicki institut, Beograd
DVE-TRI SEMANTICKE DOGME

Rezime: Ucenja o znacenju u dvadesetovekovnoj filozofiji zasnivaju se ili na teoriji modela ili, redje, na teoriji dokaza. Bez obzira na kojoj se od ove dve teorije zasnivaju, neke su im pretpostavke, ovde nazvane dogmama, podjednake, mada teorija dokaza sugerise da bi tih pretpostavki trebalo da se oslobodimo.

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