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

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