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