Seminar for
Mathematical Logic
PROGRAM
Plan rada Seminara za logiku za mart 2010.
Seminar za matematicku logiku Matematickog instituta SANU nastavlja rad u zimskom semestru 2009/2010.g. na novoj 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, 05.03.2010. U 16:15 SATI
Natasa Glisovic (Matematicki fakultet Univerziteta u
Beogradu)
Sistem za simulaciju rada molekularno bioloskih
procesa
(The system for simulation of molecular biological processes)
Deoxyribonucleic acid (DNA) is a carrier of hereditary
information in the cell, while Ribonucleic acid (RNA) participates
in the transfer of these information and their translation into
proteins. RNA is the carrier of genetic information in some viruses.
This paper is designed to show links between processes of
transcription DNA and protein synthesis on the one hand and the
formal grammar of the other. A system to simulate this process was
implemented in the programming language $C + +$.
Petak, 12.03.2010. U 16:15 SATI
Petar Markovic (Departman za matematiku i informatiku
Prirodno-matematickog fakulteta Univerziteta u Novom Sadu)
Pregled rezultata o turnirima reprezentovanim kao grupoidima
(A survey of tournaments represented as groupoids)
We give a historical overview of results on tournaments represented
as groupoids from initial results in late 1960s till the present
day.
Petak, 19.03.2010. u 16:15 sati
Vladan Djordjevic(Filozofski fakultet Univerziteta u Beogradu)
Logika za protivcinjenicke kondicionale (Conditional logic:
counterfactuals)
Ovo predavanje ima za cilj da predstavi deo discipline koja se u
filozofskoj logici zove 'logika za kondicionale', i odnosi se na
tzv. protivcinjenicke kondicionale obicnog jezika.
(The talk will offer an overview of the part of conditional logic
pertaining to the so-called counterfactual or subjunctive
conditionals of ordinary language.)
Petak, 26.03.2010. U 16:15 sati
Predrag Tanovic (Matematicki institut SANU, Beograd)
Kvaziminimalne strukture (Quasi minimal structures)
Izucavajuci polje kompleksnih brojeva sa dodatom
eksponencijalnom funkcijom $(C_{exp})$ Zilber je dosao do:
Zilberova hipoteza: Struktura $C_{exp}$ je kvaziminimalna:
neprebrojiva je i svaki njen definabilan podskup je ili prebrojiv
ili ko-prebrojiv (komplement mu je prebrojiv).
Neka je $(M,...)$ kvaziminimalna, $A$ podskup od $M$ i neka je
$cl(A)$ unija svih prebrojivih podskupova od $M$ koji su definabilni
formulom sa parametrima iz $A$. A priori $cl$ ne mora biti ni
operator zatvorenja $(cl(cl(A))$ moze biti razlicit od
$cl(A)$), a kamo li predgeometrija (operator zatvorenja koji
zadovoljava Steinitzovu aksiomu zamene).
Na predavanju ce biti predstavljena (neobjavljena) teorema
dihotomije za kvaziminimalne strukture: ili je $cl$ predgeometrija
ili postoji vrlo specificno definabilno parcijalno uredjenje, kao
i njeno uopstenje za strukture sa tzv. lokalno regularnim tipom.
Teorema nastavlja odgovarajuci rezultat za minimalne strukture, a
neki njeni (vrlo) posebni slucajevi su nedavno objavljeni
$(arXiv)$ u radu sa A.Pillayem.
(Zilber studied the exponential field of complex numbers $(C_{exp})$
and conjectured:
ZIlber's Conjecture: $C_{exp}$ is quasi minimal (meaning that it is
uncountable with any definable subset being either countable or
co-countable).
Let $(M,...)$ be quasi minimal, let A be a subset of M, and let
$cl(A)$ denotes the union of all countable subsets which are
definable by a formula with parameters from A. A priori $cl$ may
not be a closure operator $(cl(cl(A))$ may differ from $cl(A)$), so
is not always a pre geometry operator (closure operator satisfying
the Steinitz Exchange axiom).
A dichotomy theorem for quasi minimal structures will be presented:
either $cl$ is a pre geometry operator or there exists a very
specific definable partial order, as a special case of a (more
general) dichotomy theorem for so called locally strongly regular
types.
The dichotomy continues the corresponding one for minimal
structures; its special case was recently published $(arXiv)$ in
the joint paper with A.Pillay.)
OBAVESTENJE:
Profesor Kosta Dosen drzi u letnjem semestru 2009/2010. skolske godine kurs iz izbornog predmeta FILOZOFIJA MATEMATIKE na cetvrtoj godini studija filozofije na Odeljenju za filozofiju Filozofskog fakulteta Univerziteta u Beogradu, Cika Ljubina 18-20, u sali 308, III sprat(nove zgrade Filozofskog fakulteta) sredom od 18:30, pocevsi od srede 10. februara 2010.g. Uz kurs su predvidjene vezbe petkom od 18:00 sati u sali Srpskog filozofskog drustva (prvi sprat starih prostorija Filozofskog fakulteta), koje drzi Milos Adzic. Kurs je posvecen filozofiji matematike Gotloba Fregea, a vezbe poglavljima iz logike relevantnim za filozofiju matematike.
Ukoliko zelite mesecne programe ovog Seminara u elektronskom
obliku, obratite se: vdjordje@mi.sanu.ac.rs. Programi svih seminara
Matematickog instituta SANU nalaze se na sajtu: www.mi.sanu.ac.rs
Beograd, 1. marta 2010.g.
Rukovodioci Seminara: Kosta Dosen i Djordje Vukomanovic