Seminar for History and Philosophy of Mathematics and Mechanics
PROGRAM
MATEMATICKI INSTITUT SANU
Seminar za istoriju i filosofiju matematike
PLAN RADA ZA DECEMBAR 2001.
UTORAK, 04.12.2001. godine u 12,15 casova
NEMA SASTANKA
NO MEETING TODAY
UTORAK, 11.12.2001. u 12,15 casova
Prof. dr Kosta Dosen:
DOKAZIVOST I DOKAZI
Rezime. Logika je poznata u sirim matematickim krugovima - pa i izvan matematike - po rezultatima o dokazivosti i nedokazivosti, koji se prvenstveno vezuju za Gedelovo ime.
U ovom predavanju bice reci o ovoj cesto pretresanoj temi, ali i o srodnim temama, o kojima se redje govori, o intuicionistickoj logici i opstoj teoriji dokaza.
UTORAK, 18.12.2001. godine u 12,15 casova
Nema sastanka.
No meeting today.
UTORAK, 25.12.2001. godine u 12,15 casova
Rade Dacic:
OPROSTAJ
Dosadsnji rukovodilac Seminara prestaje da dalje obavlja tu duznost; njegov govor odnosice se na njegovu delatnost koja se ovom sednicom zavrsava. O sadrzini predavanja "dole potpisani" malo sta pouzdano moze reci. Predavac se najcesce ovako izrazavao: "Mozda cu govoriti..." (a ponekad je dodavao: "a mozda i necu). Rekao je da ce mozda govoriti o svom profesoru filosofije (predmet se zvao filozofija = ljubav prema tamnini) iz osmog razreda gimnazije, o Drugom svetskom ratu i partizanima, o tome kako je dosao na misao da ovako naslovi predavanje, o buldozerima, o ponekom ko je "obelezio 20 vek", o neizdatoj prvoj knjizi o srpskim matematicarima i mehanicarima; o "godinama koje su pojeli skakvci", mozda i o radu na projektu SANU "Zivot i delo srpskih naucnika"...
Veoma je neizvesno o cemu ce predavac govoriti, jer predavaci ponekad obecaju neki sadrzaj kao siguran, a govore o sasvim drugom. Sta tek onda reci o obecanju ispunjenom s mnogo "mozda"!
Prva njegova izjava bila je kratka (i bez "mozda"): "Govoricu o tome sta sam nameravao da uradim, a nisam uradio". Ucinilo nam se da je to malo za ovaj nacin oglasavanja (na tabli), trazili smo vise - i dobili mnogobrojna "mozda". Prvobitnoj izjavi se veruje, a sta ce se dogoditi videce se. Mozda ce se govoriti o Ajshilovom "Okovanom Prometeju". O Kantovom kategorickom imperativu verovatno nece, a da li ce misliti na Dantea - i nista ne reci - ne mozemo znati. Nemojmo se iznenaditi ako "potkaci" intelektualce (srpske), ne stedeci čak ni "dame i gospodu", kamoli "radnike, radne ljude i gradjane" - da ne spominjemo "komsije i komsinice".
Toliko se mnogo neizvesnoga obecava na predvidjenom predavanju, da treba doci radi provere da li je bar neizvesnost nesto u sta se mozemo pouzdati.
Sednice seminara odrzavaju se u zgradi Srpske akademije nauka i umetnosti, Beograd, Knez Mihailova 35, na prvom spratu u sali 2.
Rukovodilac seminara
Rade Dacic