Kedves Kollegak, minden erdeklodot szerettel varunk, udv kgy ============================================================= Az ELTE TTK Tudomanytortenet es Tudomanyfilozofia Tanszek Budapest, Pazmany P. setany 1/A, 6. emelet 658. Tudomanyfilozofia Szeminariumai Februari program ________________________________________________ Februar 11. 6. em. 662 Bene Gyula ELTE Elmeleti Fizikai Tanszek Levezetheto-e a klasszikus fizika a kvantumelmeletbol? A jelenlegi kvantumelmeletben a klasszikus fizika torvenyeinek eleget tevo testek (pl. meroeszkozok) letezese fizikai alapfelteveskent szerepel, igy a klasszikus tulajdonsagok eredetere kvantumelmeleti magyarazat nem adhato. Az eloadasban egy onallo elvekre epulo modositott kvantumelmeletet mutatunk be, amely lehetove teszi a problema vizsgalatat. A cimben feltett kerdesre egyszeru modelleken vegzett szamitasok segitsegevel igyekszunk valaszt talalni. Februar 18. 6. em. 662 Simon Andras BME Matematikai Intezet Hogyan lesz a logikabol matematika? (Informalis bevezetes az univerzalis algebrai logikaba) A cimben felvetett kerdest termeszetesen sokfelekeppen meg lehet valaszolni, de az eloadasban az algebrai logika altal kinalt valaszokra fogok koncentralni. Szo lesz egy (meglehetosen tag) logikafogalomrol (peldakkal illusztralva), es egy olyan eljarasrol, amellyel logikakhoz algebraosztalyokat rendelhetunk oly modon, hogy a logika tulajdonsagai (Craig interpolacio, Beth definialhatosag,...) tukrozodnek az eredmenyul kapott algebraosztalyok algebrai tulajdonsagaiban (szuperamalgamacio, epimorfizmusok szurjektivitasa,...). Logikai problemakbol igy szellemukben is algebrai, es igy standard algebrai eszkozokkel megkozelitheto problemakat kapunk. Igy a kovetkezo modszert kapjuk logikai problemak megoldasara: (1) A problemat transzformaljuk az algebra nyelvere. (2) Felhasznalva az algebra kiterjedt eszkoztarat, megoldjuk az algebraizalt problemat. (3) Az eredmenyt visszatranszformaljuk a logika nyelvere. Ez hosszutavon varhatoan egy olyan dualitaselmelet kidolgozasahoz vezet, mely a logikai rendszerek vilaga (kategoriaja) es az "algebra vilaga" (kvazivarietasok kategoriaja) kozott hat es bizonyos fokig hasonlit pl. a (Boole algebrak es topologikus terek kozotti) Stone-fele dualitaselmeletre. Az eloadasban vazolt megkozelites legalabbis Tarski munkaira vezetheto vissza, de kozvetlenul Andreka, Blokk, Nemeti, Pigozzi es Sain eredmenyeire epit. Februar 25. A szeminarium a Neumann-workshop miatt elmarad! A workshop elozetes programjat itt mellekeljuk. Helye: P48/A (Kis Konferencia Terem az alagsorban) Preliminary Announcement John von Neumann and the foundations of quantum mechanics Workshop, February 25-26, 1999 Organized by Department of History and Philosophy of Science, Eotvos University Institute Vienna Circle Austrian Institute of East and South-East European Studies (Vienna) and its Branch Office Budapest Program: February 25 ------------- 9.00-10.00 "The historical roots of mathematical physics in Goettingen" U. Majer, Univerity of Goettingen, Germany 10.00-11.00 "Quantum mechanics without probabilities" P. Mittelstaedt, University of Cologne, Germany 11.00-11.30 Coffe break 11.30-12.30 "Von Neumann's theory of quantum measurement" J. Bub, University of Maryland, USA 13.00-14.30 lunch 14.30-15.30 "Von Neumann's concept of quantum logic" M. Redei, Eotvos University 15.30-16.00 Coffe break 16.00-17.00 "Reflections on quantum logic" L. E. Szabo, Eotvos University February 26 ------------- 9.00-10.00 "Opportunistic axiomatics -- von Neumann on the methodology of mathematical physics" M. Stoeltzner, Institute Vienna Circle, Austria 10.00-11.00 "Goedel and Von Neumann" K. Koehler, Institute Vienna Circle, Austria 11.00-11.30 Coffe break 11.30-12.30 "Von Neumann, Goedel, and quantum incompleteness" T. Breuer, University of Salzburg, Austria 13.00-14.30 lunch 14.30-15.30 Video about von Neumann 15.30-16.00 Coffee ______________________________________________________________ -- Laszlo E. Szabo Department of Theoretical Physics Department of History and Philosophy of Science Eotvos University, Budapest H-1518 Budapest, Pf. 32. Phone: (36-1)2090-555/6671 Fax: (36-1)372-2509 Home: (36-1)200-7318 http://hps.elte.hu/~leszabo