ON STEFAN BANACH and SOME of HIS RESULTS 1 . Introduction Banach Journal of Mathematical Analysis I S Named After One of The

Total Page:16

File Type:pdf, Size:1020Kb

ON STEFAN BANACH and SOME of HIS RESULTS 1 . Introduction Banach Journal of Mathematical Analysis I S Named After One of The ISSN sub h tt p : divided by hline to the power of Banach hline divided by B a n sub : slash 1 slash w from period m to 735 wn begin w hyphenf a l i 8787 g n ∗g open parenthesis a to the power of electronic sub t h hyphen a na ly s to the power of closing parenthesis i s periodISSN o ^ rgf toBanach the powerfn off r a c cf J n hr sub u l e Jf3em to thegf0.4 power pt g of gf periodB Math a o n uggg r n af periodh n subf r a c lf Analt t o f pperiod : subgf M n r 1 ua l e openf3emgf0.4 pt g gg^f a parenthesisc J f th hg to^f the. powerg f ofJ 2007g Math sub e mf ao t i to u the power r ofn closing a g parenthesis. f l commag Anal no cf a lo to the f powerg . off periodM g 1 sub1 f a g ( f t h g^f 2007 g^f ), g f e m a t i g no f c a l g^f . g 1 f A g , n ^f 1 g^f −− g f a g^f 1 g f l g^f 0 g f y g Banach ac J: Math : Anal : 1 (2007); no: 1 ;n1−−10 sis A comma n to the power of 1 subBa to n the powerhJ ofourn endash a l subof lM toa theth powere ma of ti 1 subca ly toA thea powerl y of 0 s i s s i s g f : f ISSN/ g 1ttp: f / g w ^f . m g f 735 f w w g − 8787 g ( f a g^f e l e c t r o n i c g^f ) g f t ON .. STEFAN .. BANACHh .. AND:=1 ..w SOME:m .. OF(electronic .. HIS) .. RESULTSis:org = 735ww−8787 a t h−a nalys h KRZYSZTOF− a na CIESIELSKI l y s tog thei power s of 1 . o rg g nendDedicatedf aON l i g n ∗g to Professor STEFAN Themistocles BANACH M period Rassias AND SOME OF HIS RESULTS Submitted by P period Enflo n centerlineAbstract periodfON ..nquad In theSTEFAN paper a shortnquad biographyBANACHKRZYSZTOFCIESIELSKI ofn Stefanquad BanachAND nquad comma1 SOME .. a fewnquad storiesOF nquad HIS nquad RESULTS g about Banach and the Scottish Caf acute-e and some results that nowadays are named n [ KRZYSZTOF CIESIELSKI ^Dedicatedf 1 g n ] to Professor Themistocles M . Rassias by Banach quoteright s surname are presentedSubmitted period by P . Enflo 1 period .. Introduction Abstract . In the paper a short biography of Stefan Banach , a few stories Banach Journal of Mathematical Analysis i s named after one of the most .... out hyphen n centerline f Dedicatedabout Banach to Professor and the Scottish Themistocles Cafe ´ and some M .results Rassias that nowadaysg are named standing mathematicians in the XXthby century Banach comma ' s surname Stefan Banach are presented period . .. Thus it is natural to .. recall .. in .. the .. first .. i ssue .. of the j ournal .. some .. information .. about .. Banach period .. A n centerline f Submitted by P . Enflo 1g . Introduction very shortBanach biography Journal comma of some Mathematical of his most eminent Analysis results i s named and some after stories one will of be the most out - presented in this article period n centerlinestandingf Abstract mathematicians . nquad In in the the paperXXth century a short , Stefan biography Banach of . Stefan Thus Banach it is natural , nquad a few stories g 2 periodto .. Banach recall and the in Scottish the .. Caf first e-acute i ssue of the j ournal some information Stefan Banach was born in the Polish city Krak acute-o w on 30 March comma .. 1 892 period .. Some n centerlineaboutf about Banach Banach . and A the very Scottish short biography Caf $ ,n someacute offe hisg $ most and eminent some results results and that nowadays are named g sources ..some give .. stories the .. date will .. be 20 presented .. March comma in this .. however article ... it .. was .. checked .. open parenthesis in particular comma .. in the n centerline fby Banach '2 s . surnameBanach are and presented the Scottish . g Caf e´ parish sourcesStefan by the Banach author .... was open born parenthesis in the open Polish square city bracket Krak 1 2o´ closingw on square 30 March bracket , closing 1 892 parenthesis . .... and by Roman Ka suppress-l u z-dotaccent a open parenthesis open square bracket 26 closing square bracket closing parenthesis closing n centerlineSomef1 . sourcesnquad Introduction give the dateg 20 March , however it was checked parenthesis ....( in that particular the date , in the 30 March is correct period nnoindentparishBanach sources Journal by the of author Mathematical ( [ 1 2 ] Analysis ) and by i Roman s named Ka after lu z_ a one ( [ 26 of ] the ) ) most that n h f i l l out − Banach quoterightthe date s parents were not married period .. It is not much known about his mother comma Katarzyna30 Banach March comma is correct after . whom he had a surname period .. It was j ust recently discovered nnoindentopen parenthesisstanding see open mathematicians square bracket 25 in closing the XXth square century bracket closing , Stefan parenthesis Banach that . shenquad was aThus maid itor servant is natural and to nquad r eBanach c a l l nquad ' s parentsin nquad werethe notn marriedquad f i . r s t Itnquad is noti much ssue knownnquad aboutof the his j mother ournal nquad some nquad information nquad about nquad Banach . nquad A Banach quoteright, s father comma Stefan Greczek comma who veryhline short biography , some of his most eminent results and some stories will be presentedKatarzyna in this Banach article , after . whom he had a surname . It was j ust recently discovered Date : Received( see [ 25: .. ] 1 ) 4 that June she 2007 was semicolon a maid Accepted or servant : 25 September and Banach 2007 ' period s father , Stefan Greczek , 2000 Mathematicswho Subject Classification period .. Primary 0 1 A 60 semicolon Secondary 46 hyphen 3 comma 46 B 25 period n centerlineKey words andf2 phrases. nquad periodBanach .. Banach and thecomma Scottish functionaln analysisquad Caf comma $ Scottishnacutef Cafeg acute-e$ g sub comma Lvov School of mathe hyphen Stefanmatics Banach comma Banach was born space in period the Polish city Krak $ nacutefog $ w on 30 March , nquad 1 892 . nquad Some s o1 u r c e s nquad g i v e nquad the nquad date nquad 20 nquad March , nquad however nquad i t nquad was nquad checked nquad ( in particular , nquad in the Date : Received : 1 4 June 2007 ; Accepted : 25 September 2007 . nnoindent parish sources by the author n h f i l l ( [ 1 2 ] ) n h f i l l and by Roman Ka n l u $ ndotfzg $ 2000 Mathematics Subject Classification . Primary 0 1 A 60 ; Secondary 46 - 3 , 46 B 25 . a ( [ 26 ] ) ) n h f i l l that the date Key words and phrases . Banach , functional analysis , Scottish Cafe ´; Lvov School of mathe - matics , Banach space . nnoindent 30 March is correct . 1 n hspace ∗fn f i l l gBanach ' s parents were not married . nquad It is not much known about his mother , nnoindent Katarzyna Banach , after whom he had a surname . nquad It was j ust recently discovered ( see [ 25 ] ) that she was a maid or servant and Banach ' s father , Stefan Greczek , who n begin f a l i g n ∗g n r u l e f3emgf0.4 pt g nendf a l i g n ∗g n centerline fDate : Received : nquad 1 4 June 2007 ; Accepted : 25 September 2007 . g n centerline f2000 Mathematics Subject Classification . nquad Primary 0 1 A 60 ; Secondary 46 − 3 , 46 B 25 . g Key words and phrases . nquad Banach , functional analysis , Scottish Caf $ nacutefeg f , g$ Lvov School of mathe − matics , Banach space . n centerline f1 g 2 .. K period CIESIELSKI nnoindentwas a soldier2 n openquad parenthesisK . CIESIELSKI probably assigned orderly to the officer under whom Katarzyna was a servant closing parenthesis .. could not .. marry Katarzyna because of some military rules period .. Banach nnoindent2was K .a CIESIELSKI soldier ( probably assigned orderly to the officer under whom Katarzyna was was grewwas up with a soldier the owner ( probably of the laundry assigned Franciszka orderly P suppress-lto the officer owa and under her niecewhom Maria Katarzyna period was Banach attended school in Krak o-acute w .. and took there final exams period .. He was .. in hyphen nnoindentaa servant servant ) could) nquad notcould marry not Katarzynanquad marry because Katarzyna of some military because rules of some. Banach military rules . nquad Banach t erestedwas in mathematics grew up with and he the was owner very good of the at laundryit period .. Franciszka However comma P lowa he thoughtand her that niece Maria . wasin this grew .. area up nothing with the .. much owner .. new of .. the can belaundry .. discovered Franciszka .. and .. he P ..n l decidedowa and to .. studyher niece .. at Maria . Banach attendedBanach attended school school in Krak in Krak $ nacuteo´ wfog and$ took w nquad thereand final took exams there . He final was exams in . nquad He was nquad in − the Technical- University at .. Lvov .. open parenthesis Politechnika Lwowska closing parenthesis period .. In those t imes both Krak o-acutet erested w and in Lvov mathematics were in the t and erritory he was governed very by good Austro at hyphen it . Hungary However period , he thought.. Therefore that nnoindentBanach movedt erested to Lvov period in mathematics .. His studies andthere he were was interrupted very good by the at First it World .
Recommended publications
  • Placing World War I in the History of Mathematics David Aubin, Catherine Goldstein
    Placing World War I in the History of Mathematics David Aubin, Catherine Goldstein To cite this version: David Aubin, Catherine Goldstein. Placing World War I in the History of Mathematics. 2013. hal- 00830121v1 HAL Id: hal-00830121 https://hal.sorbonne-universite.fr/hal-00830121v1 Preprint submitted on 4 Jun 2013 (v1), last revised 8 Jul 2014 (v2) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Placing World War I in the History of Mathematics David Aubin and Catherine Goldstein Abstract. In the historical literature, opposite conclusions were drawn about the impact of the First World War on mathematics. In this chapter, the case is made that the war was an important event for the history of mathematics. We show that although mathematicians' experience of the war was extremely varied, its impact was decisive on the life of a great number of them. We present an overview of some uses of mathematics in war and of the development of mathematics during the war. We conclude by arguing that the war also was a crucial factor in the institutional modernization of mathematics. Les vrais adversaires, dans la guerre d'aujourd'hui, ce sont les professeurs de math´ematiques`aleur table, les physiciens et les chimistes dans leur laboratoire.
    [Show full text]
  • L. Maligranda REVIEW of the BOOK by MARIUSZ URBANEK
    Математичнi Студiї. Т.50, №1 Matematychni Studii. V.50, No.1 УДК 51 L. Maligranda REVIEW OF THE BOOK BY MARIUSZ URBANEK, “GENIALNI – LWOWSKA SZKOL A MATEMATYCZNA” (POLISH) [GENIUSES – THE LVOV SCHOOL OF MATHEMATICS] L. Maligranda. Review of the book by Mariusz Urbanek, “Genialni – Lwowska Szko la Matema- tyczna” (Polish) [Geniuses – the Lvov school of mathematics], Wydawnictwo Iskry, Warsaw 2014, 283 pp. ISBN: 978-83-244-0381-3 , Mat. Stud. 50 (2018), 105–112. This review is an extended version of my short review of Urbanek's book that was published in MathSciNet. Here it is written about his book in greater detail, which was not possible in the short review. I will present facts described in the book as well as some false information there. My short review of Urbanek’s book was published in MathSciNet [24]. Here I write about his book in greater detail. Mariusz Urbanek, writer and journalist, author of many books devoted to poets, politicians and other figures of public life, decided to delve also in the world of mathematicians. He has written a book on the phenomenon in the history of Polish science called the Lvov School of Mathematics. Let us add that at the same time there were also the Warsaw School of Mathematics and the Krakow School of Mathematics, and the three formed together the Polish School of Mathematics. The Lvov School of Mathematics was a group of mathematicians in the Polish city of Lvov (Lw´ow,in Polish; now the city is in Ukraine) in the period 1920–1945 under the leadership of Stefan Banach and Hugo Steinhaus, who worked together and often came to the Scottish Caf´e (Kawiarnia Szkocka) to discuss mathematical problems.
    [Show full text]
  • New Publications Offered by The
    New Publications Offered by the AMS To subscribe to email notification of new AMS publications, please go to http://www.ams.org/bookstore-email. Algebra and Algebraic Contemporary Mathematics, Volume 544 June 2011, 159 pages, Softcover, ISBN: 978-0-8218-5259-0, LC Geometry 2011007612, 2010 Mathematics Subject Classification: 17A70, 16T05, 05C12, 43A90, 43A35, 43A75, 22E27, AMS members US$47.20, List US$59, Order code CONM/544 New Developments in Lie Theory and Its On Systems of Applications Equations over Free Carina Boyallian, Esther Galina, Partially Commutative and Linda Saal, Universidad Groups Nacional de Córdoba, Argentina, Montserrat Casals-Ruiz and Ilya Editors Kazachkov, McGill University, This volume contains the proceedings of Montreal, QC, Canada the Seventh Workshop in Lie Theory and Its Applications, which was held November 27–December 1, 2009 at Contents: Introduction; Preliminaries; the Universidad Nacional de Córdoba, in Córdoba, Argentina. The Reducing systems of equations over workshop was preceded by a special event, “Encuentro de teoria de G to constrained generalised equations over F; The process: Lie”, held November 23–26, 2009, in honor of the sixtieth birthday Construction of the tree T ; Minimal solutions; Periodic structures; of Jorge A. Vargas, who greatly contributed to the development of The finite tree T0(Ω) and minimal solutions; From the coordinate ∗ T Lie theory in Córdoba. group GR(Ω ) to proper quotients: The decomposition tree dec and the extension tree Text; The solution tree Tsol(Ω) and the main This volume focuses on representation theory, harmonic analysis in theorem; Bibliography; Index; Glossary of notation. Lie groups, and mathematical physics related to Lie theory.
    [Show full text]
  • L. Maligranda REVIEW of the BOOK by ROMAN
    Математичнi Студiї. Т.46, №2 Matematychni Studii. V.46, No.2 УДК 51 L. Maligranda REVIEW OF THE BOOK BY ROMAN DUDA, “PEARLS FROM A LOST CITY. THE LVOV SCHOOL OF MATHEMATICS” L. Maligranda. Review of the book by Roman Duda, “Pearls from a lost city. The Lvov school of mathematics”, Mat. Stud. 46 (2016), 203–216. This review is an extended version of my two short reviews of Duda's book that were published in MathSciNet and Mathematical Intelligencer. Here it is written about the Lvov School of Mathematics in greater detail, which I could not do in the short reviews. There are facts described in the book as well as some information the books lacks as, for instance, the information about the planned print in Mathematical Monographs of the second volume of Banach's book and also books by Mazur, Schauder and Tarski. My two short reviews of Duda’s book were published in MathSciNet [16] and Mathematical Intelligencer [17]. Here I write about the Lvov School of Mathematics in greater detail, which was not possible in the short reviews. I will present the facts described in the book as well as some information the books lacks as, for instance, the information about the planned print in Mathematical Monographs of the second volume of Banach’s book and also books by Mazur, Schauder and Tarski. So let us start with a discussion about Duda’s book. In 1795 Poland was partioned among Austria, Russia and Prussia (Germany was not yet unified) and at the end of 1918 Poland became an independent country.
    [Show full text]
  • Polish Mathematicians and Mathematics in World War I. Part I: Galicia (Austro-Hungarian Empire)
    Science in Poland Stanisław Domoradzki ORCID 0000-0002-6511-0812 Faculty of Mathematics and Natural Sciences, University of Rzeszów (Rzeszów, Poland) [email protected] Małgorzata Stawiska ORCID 0000-0001-5704-7270 Mathematical Reviews (Ann Arbor, USA) [email protected] Polish mathematicians and mathematics in World War I. Part I: Galicia (Austro-Hungarian Empire) Abstract In this article we present diverse experiences of Polish math- ematicians (in a broad sense) who during World War I fought for freedom of their homeland or conducted their research and teaching in difficult wartime circumstances. We discuss not only individual fates, but also organizational efforts of many kinds (teaching at the academic level outside traditional institutions, Polish scientific societies, publishing activities) in order to illus- trate the formation of modern Polish mathematical community. PUBLICATION e-ISSN 2543-702X INFO ISSN 2451-3202 DIAMOND OPEN ACCESS CITATION Domoradzki, Stanisław; Stawiska, Małgorzata 2018: Polish mathematicians and mathematics in World War I. Part I: Galicia (Austro-Hungarian Empire. Studia Historiae Scientiarum 17, pp. 23–49. Available online: https://doi.org/10.4467/2543702XSHS.18.003.9323. ARCHIVE RECEIVED: 2.02.2018 LICENSE POLICY ACCEPTED: 22.10.2018 Green SHERPA / PUBLISHED ONLINE: 12.12.2018 RoMEO Colour WWW http://www.ejournals.eu/sj/index.php/SHS/; http://pau.krakow.pl/Studia-Historiae-Scientiarum/ Stanisław Domoradzki, Małgorzata Stawiska Polish mathematicians and mathematics in World War I ... In Part I we focus on mathematicians affiliated with the ex- isting Polish institutions of higher education: Universities in Lwów in Kraków and the Polytechnical School in Lwów, within the Austro-Hungarian empire.
    [Show full text]
  • Fundamental Theorems in Mathematics
    SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635].
    [Show full text]
  • Stefan Banach
    Stefan Banach Jeremy Noe March 17, 2005 1 Introduction 1 The years just before and after World War I were perhaps the most exciting and influential years in the history of science. In 1901, Henri Lebesgue formu- lated the theory of measure and in his famous paper Sur une g´en´eralisation de l’int´egrale definie, defining a generalization of the Riemann integral that had important ramifications in modern mathematics. Until that time, mathemat- ical analysis had been limited to continuous functions based on the Riemann integration method. Alfred Whitehead and Bertrand Russell published the Principia Mathematica in an attempt to place all of mathematics on a logical footing, and to attempt to illustrate to some degree how the various branches of mathematics are intertwined. New developments in physics during this time were beyond notable. Al- bert Einstein formulated his theory of Special Relativity in 1905, and in 1915 published the theory of General Relativity. Between the relativity the- ories, Einstein had laid the groundwork for the wave-particle duality of light, for which he was later awarded the Nobel Prize. Quantum mechanics was formulated. Advances in the physical sciences and mathematics seemed to be coming at lightning speed. The whole western world was buzzing with the achievements being made. Along with the rest of Europe, the Polish intellectual community flourished during this time. Prior to World War I, not many Polish scolastics pursued research related careers, focusing instead 1Some of this paragraph is paraphrased from Saint Andrews [11]. 1 on education if they went on to the university at all.
    [Show full text]
  • Stefan Banach English Version
    STEFAN BANACH (March 30, 1892 – August 31, 1945) by HEINZ KLAUS STRICK , Germany STEFAN BANACH was born in Kraków (then part of Austria– Hungary); an illegitimate child, his mother disappeared without a trace the day after the four-day-old infant was baptized. The father, after whom he was named, gave the child to its grandmother to be reared, and when she became ill, the child ended up in a foster family, which took good care of the child, among other things giving him an early opportunity to learn French. After attending primary school, he went on to secondary school, where he met WITOLD WILKOSZ , who, like BANACH , would someday become a professor of mathematics. Indeed, mathematics was the only thing in which the two young men were interested, but when they completed high school in 1910, they both decided against further studies in mathematics, believing that there was nothing new to be discovered in the field. BANACH began a course in engineering, while his friend took up studies in Oriental languages. Since his father had abdicated all financial support for his son, STEFAN BANACH no longer had a reason to remain in Kraków. He moved to Lwów (today the Ukrainian Lwiw) to begin his studies at the technical university. He made slow progress, since to support himself, he worked many hours as a tutor. In 1914, after an interim exam, he broke off his studies following the outbreak of World War I. When Russian troops invaded Lwów, he returned to Kraków. Because of his poor eyesight, he was rejected for service in the armed forces, but was sent to work building roads; he also taught mathematics and eventually was able to attend lectures on mathematics, probably given by STANISŁAW ZAREMBA .
    [Show full text]
  • Presentation of the Austrian Mathematical Society - E-Mail: [email protected] La Rochelle University Lasie, Avenue Michel Crépeau B
    NEWSLETTER OF THE EUROPEAN MATHEMATICAL SOCIETY Features S E European A Problem for the 21st/22nd Century M M Mathematical Euler, Stirling and Wallis E S Society History Grothendieck: The Myth of a Break December 2019 Issue 114 Society ISSN 1027-488X The Austrian Mathematical Society Yerevan, venue of the EMS Executive Committee Meeting New books published by the Individual members of the EMS, member S societies or societies with a reciprocity agree- E European ment (such as the American, Australian and M M Mathematical Canadian Mathematical Societies) are entitled to a discount of 20% on any book purchases, if E S Society ordered directly at the EMS Publishing House. Todd Fisher (Brigham Young University, Provo, USA) and Boris Hasselblatt (Tufts University, Medford, USA) Hyperbolic Flows (Zürich Lectures in Advanced Mathematics) ISBN 978-3-03719-200-9. 2019. 737 pages. Softcover. 17 x 24 cm. 78.00 Euro The origins of dynamical systems trace back to flows and differential equations, and this is a modern text and reference on dynamical systems in which continuous-time dynamics is primary. It addresses needs unmet by modern books on dynamical systems, which largely focus on discrete time. Students have lacked a useful introduction to flows, and researchers have difficulty finding references to cite for core results in the theory of flows. Even when these are known substantial diligence and consulta- tion with experts is often needed to find them. This book presents the theory of flows from the topological, smooth, and measurable points of view. The first part introduces the general topological and ergodic theory of flows, and the second part presents the core theory of hyperbolic flows as well as a range of recent developments.
    [Show full text]
  • Contribution of Warsaw Logicians to Computational Logic
    axioms Article Contribution of Warsaw Logicians to Computational Logic Damian Niwi ´nski Institute of Informatics, University of Warsaw, 02-097 Warsaw, Poland; [email protected]; Tel.: +48-22-554-4460 Academic Editor: Urszula Wybraniec-Skardowska Received: 22 April 2016; Accepted: 31 May 2016; Published: 3 June 2016 Abstract: The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical logic in order to make a rigorous treatment of program correctness. This gave rise to the concept of algorithmic logic developed since the 1970s by Rasiowa, Salwicki, Mirkowska, and their followers. Together with Pratt’s dynamic logic, algorithmic logic evolved into a mainstream branch of research: logic of programs. In the late 1980s, Warsaw logicians Tiuryn and Urzyczyn categorized various logics of programs, depending on the class of programs involved. Quite unexpectedly, they discovered that some persistent open questions about the expressive power of logics are equivalent to famous open problems in complexity theory. This, along with parallel discoveries by Harel, Immerman and Vardi, contributed to the creation of an important area of theoretical computer science: descriptive complexity. By that time, the modal m-calculus was recognized as a sort of a universal logic of programs. The mid 1990s saw a landmark result by Walukiewicz, who showed completeness of a natural axiomatization for the m-calculus proposed by Kozen. The difficult proof of this result, based on automata theory, opened a path to further investigations.
    [Show full text]
  • International Mathematical News Nouvelles Mathématiques Internationales Internationale Mathematische Nachrichten
    INTERNATIONAL MATHEMATICAL NEWS NOUVELLES MATHEMA¶ TIQUES INTERNATIONALES INTERNATIONALE MATHEMATISCHE NACHRICHTEN NACHRICHTEN DER OSTERREICHISCHENÄ MATHEMATISCHEN GESELLSCHAFT EDITED BY OSTERREICHISCHEÄ MATHEMATISCHE GESELLSCHAFT Nr. 182 Dezember 1999 WIEN INTERNATIONAL MATHEMATICAL NEWS NOUVELLES MATHEMA¶ TIQUES INTERNATIONALES INTERNATIONALE MATHEMATISCHE NACHRICHTEN GegrundetÄ 1947 von R. Inzinger, fortgefuhrtÄ von W. Wunderlich Herausgeber: OSTERREICHISCHEÄ MATHEMATISCHE GESELLSCHAFT Redaktion: P. Flor (U Graz; Herausgeber), U. Dieter (TU Graz), M. Drmota (TU Wien) und J. Schwaiger (U Graz), unter stÄandiger Mitarbeit von R. Mlitz (TU Wien) und E. Seidel (U Graz). ISSN 0020-7926. Korrespondenten DANEMARK:Ä M. E. Larsen (Dansk Matematisk Forening, Kopenhagen) FRANKREICH: B. Rouxel (Univ. Bretagne occ., Brest) GRIECHENLAND: N. K. Stephanidis (Univ. Saloniki) GROSSBRITANNIEN: The Institute of Mathematics and Its Applications (Southend-on-Sea), The London Mathematical Society JAPAN: K. Iseki¶ (Japanese Assoc. of Math. Sci) JUGOSLAWIEN: S. Pre·sic¶ (Univ. Belgrad) KROATIEN: M. Alic¶ (Zagreb) NORWEGEN: Norsk Matematisk Forening (Oslo) OSTERREICH:Ä C. Binder (TU Wien) RUMANIEN:Ä F.-K. Klepp (Timisoara) SCHWEDEN: Svenska matematikersamfundet (GÄoteborg) 2 SLOWAKEI: J. Sira· n· (Univ. Pre¼burg) SLOWENIEN: M. Razpet (Univ. Laibach) TSCHECHISCHE REPUBLIK: B. Maslowski (Akad. Wiss. Prag) USA: A. Jackson (Amer. Math. Soc., Providende RI) INTERNATIONAL MATHEMATICAL NEWS NOUVELLES MATHEMA¶ TIQUES INTERNATIONALES INTERNATIONALE MATHEMATISCHE NACHRICHTEN
    [Show full text]
  • Document Mune
    DOCUMENT MUNE ID 175 699 SE 028 687 AUTHOR Schaaf, William L., Ed. TITLE Reprint Series: Memorable Personalities in Mathematics - Twentieth Century. RS-12. INSTITUTION Stanford Gniv.e Calif. School Mathematics Study Group. 2 SPONS AGENCT National Science Foundation, Washington, D.C. 1 PUB DATE 69 NOTE 54p.: For related documents, see SE 028 676-690 EDRS PRICE 81101/PC03 Plus Postage. DESCRIPTORS Curriculum: *Enrichsent: *History: *Instruction: *Mathematicians: Mathematics Education: *Modern Mathematics: Secondary Education: *Secondary School Sathematics: Supplementary Reading Materials IDENTIFIERS *School Mathematics study Group ABSTRACT This is one in a series of SHSG supplementary and enrichment pamphlets for high school students. This series makes available espcsitory articles which appeared in a variety of mathematical periodials. Topics covered include:(1) Srinivasa Ramanuian:12) Minkomski: (3) Stefan Banach:(4) Alfred North Whitehead: (5) Waclaw Sierptnski: and (6)J. von Neumann. (MP) *********************************************************************** Reproductions supplied by EDRS are the best that can be made from the original document. *********************************************************************** OF NEM TN U S DEPARTMENT "PERMISSION EDUCATION II %WELFARE TO REPROnUCE OF MATERIAL THIS NATIONAL INSTITUTE HAS SEEN EDUCATION GRANTEDBY wc 0Oi ,,V11. NTHt.',Iii t iFf I ROF' all( F 0 f IA. T v A WI (I 1 Ttit P1I4S0 1.41114')WGAN,ZTIf)N01414014 AIHF0,tfvf1,14 Ts 01 ,11-A OF: Ofolv4ION.y STAll 0 04.3 NOT NI-I E55A1,0)V REPRE ,Ak NAFaINA, INSIF011 Of SF Fe 1)1. F P01,I Ot,t AT ION P00,0T,0IN OkI TO THE EDUCATIONAL INFORMATION RESOURCES CENTER(ERIC)." Financial support for the School Mathematics Study Group bas been provided by the National Science Foundation.
    [Show full text]