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

Seminar for Mathematical Logic

 

PROGRAM


Plan rada Seminara za logiku za oktobar 2016.

Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u letnjem semestru 2011/2012.g. na ovoj adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Cetvrtkom posle podne, ali od 15:00 sati, odrzavace se predavanja na Seminaru iz verovatnosnih logika pod rukovodstvom Profesora Miodraga Raskovica koji je u decembru 2007. dobio akreditaciju Naucnog veca Instituta. Na taj nacin, ponovo, kao pre vise decenija, postoje dva logicka seminara.



PETAK, 14.10.2016. U 16:15 (MI SANU, 301f)
Borisa Kuzeljevic, Matematicki institut SANU
REMZIJEVA TEOREMA I PRVI NEPREBROJIV KARDINAL
Rezime: Remzijeva teorema tvrdi da ako obojimo parove prirodnih brojeva u konacno mnogo boja, onda postoji beskonacan skup takav da su svi parovi elemenata tog skupa iste boje. Sierpinski je konstruisao bojenje koje pokazuje da se tvrdjenje Remzijeveeve teoreme ne moze prosiriti na neprebrojive kardinale.
Na predavanju cemo predstaviti tri bojenja parova elemenata prvog neprebrojivog kardinala (Todorcevicevo, Mooreovo i Pengovo) i tehniku kojom su konstruisana. Sva tri bojenja pokazuju da Remzijeva teorema u vrlo jakom smislu ne moze da se prosiri na neprebrojive kardinale. Dacemo i topoloske posledice ovih bojenja, koje su resenja starih problema topologije i teorije skupova. Svi rezultati su u ZFC.


PETAK, 28.10.2016. U 16:15 (MI SANU, 301f)
José Carlos Espírito Santo, University of Minho, Braga, Portugal
THE POLARIZED LAMBDA-CALCULUS
Rezime: A natural deduction system isomorphic to the focused sequent calculus for polarized intuitionistic logic is proposed. The system comes with a language of proof-terms, named polarized lambda-calculus, whose reduction rules express simultaneously a normalization procedure and the isomorphic copy of the cut-elimination procedure pertaining to the focused sequent calculus. Noteworthy features of this natural deduction system are: how the polarity of a connective determines the style of its elimination rule; the existence of a proof-search strategy which is equivalent to focusing in the sequent calculus; the highly-disciplined organization of the syntax - even atoms have introduction, elimination and normalization rules. The polarized lambda-calculus is a programming ormalism close to call-by-push-value, but justified by its proof-theoretical pedigree.






OBAVESTENJA:

Ukoliko zelite mesecne programe ovog Seminara u elektronskom obliku, obratite se: tane@mi.sanu.ac.rs. Programi svih seminara Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs



Beograd,
Srdacan pozdrav,

rukovodilac seminara Predrag Tanovic