In Memoriam: Peter Wegner an Inflection Point
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Gheorghe Țițeica - Întemeietor De Şcoală Matematică Românească
1 INSPECTORATUL ŞCOLAR JUDEŢEAN PRAHOVA ŞCOALA GIMNAZIALĂ „RAREŞ VODĂ” PLOIEŞTI Publicaţie periodică a lucrărilor prezentate de elevi la CONCURSUL NAŢIONAL „Matematică – ştiinţă şi limbă universală” Ediţia a IX-a - 2018 2 PLOIEŞTI Nr.42 – SEPTEMBRIE 2018 3 Cuprins 1. Asupra unei probleme date la simulare ................................................................................. 9 Nedelcu Florin Colegiul Tehnic “C. D. Nenițescu” Pitești Prof. coordonator: Veronica Marin 2. Miraculoasa lume a infinitului tainele infinitului ................................................................. 12 Dorica Miruna Școala Gimnazială Corbasca,Județul Bacău Prof. îndrumător Olaru Sorina 3. Metoda reducerii la absurd în rezolvarea problemelor de aritmetică .................................. 14 Buzatu Irina Seminarul Teologic Ortodox "Veniamin Costachi", Mănăstirea Neamț Prof. îndrumător: Asaftei Roxana-Florentina 4. Schimbările climatice la granița dintre știință și ficțiune ..................................................... 16 Ruşanu Maria Ioana, Matei Andreea Mihaela Şcoala Superioară Comercială “Nicolae Kretzulescu”, București Profesori coordonatori Moise Luminita Dominica, dr. Dîrloman Gabriela 5. Gheorghe Țițeica - întemeietor de şcoală matematică românească .................................... 21 Pană Daliana și Mănescu Nadia Liceul Teoretic Mihai Sadoveanu, București Prof. îndrumător Băleanu Mihaela Cristina 6. Aplicații ale coordonatelor carteziene ................................................................................. 26 -
Problems in Trapezoid Geometry Ovidiu T. Pop, Petru I. Braica and Rodica D
Global Journal of Advanced Research on Classical and Modern Geometries ISSN: 2284-5569, Vol.2, Issue 2, pp.55-58 PROBLEMS IN TRAPEZOID GEOMETRY OVIDIU T. POP, PETRU I. BRAICA AND RODICA D. POP ABSTRACT. The purpose of this paper is to present some known and new properties of trapezoids. 2010 Mathematical Subject Classification: 97G40, 51M04. Keywords and phrases: Trapezoid. 1. INTRODUCTION In this section, we recall the well known results: Theorem 1.1. (see [4] or [5]) Let a, b, c, d, be strictly positive real numbers. These numbers can be the lengths of the sides of a quadrilateral if and only if a < b + c + d, b < c + d + a, c < d + a + b, d < a + b + c. (1.1) In general, the strictly positive real numbers a, b, c, d, which verify (1.1) don’t determine in a unique way a quadrilateral. We consider a quadrilateral with rigid sides and con- stant side lengths, its vertices being mobile articulations. Then, this quadrilateral can be deformed in order to obtain another quadrilateral. For trapezoids, the following theorem takes place: Theorem 1.2. (see [5]) Let a, b, c, d, be strictly positive real numbers. Then a, b, c, d can be the lengths of the sides of a trapezoid of bases a and c if and only if a + d < b + c c + d < a + b a + b < c + d or c + b < a + d (1.2) c < a + b + d a < b + c + d By construction, we prove that, in the condition of Theorem 1.2, the trapezoid is uniquely determined. -
Grigore C. Moisil Omul Și Drumul Său
Grigore C. Moisil Omul și drumul său ste bine cunoscut faptul că în imperiul Austro-ungar, românii din Ardeal nu erau recunoscuți ca o minoritate cu drepturi cetățenești, așa E cum erau maghiarii, sașii și secuii, deși reprezentau 2/3 din populația Transilvaniei. Sentimentul național al românilor era înăbușit prin toate mijloacele. În primul rând nu aveau școli în limba româna și nici drepturi civice. Erau înjosiți și marginalizați, nepermițându-li-se să se manifeste în organele reprezentative decizionale. Cu toate acestea, pentru a se putea apăra de amenințările turcilor, erau imediat înrolați în armată și trimiși pe graniță în punctele cele mai vulnerabile. Așa s-au petrecut lucrurile și în secolul al XVIII-lea, când Maria Tereza a luat hotărârea de a militariza și o serie de sate românești, în anul 1762, din zona județului Bistrița Năsăud de astăzi. Printre acestea s-au numărat și comunele Maieru și Șanț. Evident, anterior s-au făcut o serie de verificări, în privința familiilor si în mod deosebit al membrilor de sex masculin. Datorită acestor demersuri, similar oarecum recensământurilor de astăzi, apare și familia Moisil, având descendenți de frunte, intelectuali și adevărați patrioți, la anul 1758. Această acțiune de militarizare a comunelor românești a permis ridicarea socială, politică și culturală a acestora, oferindu-le ocazia anumitor reprezentanți, patrioți destoinici, să se afirme. Printre aceștia și Grigore Moisil (1814-1891), străbunicul academicianului Grigore C. Moisil. El s-a remarcat în calitate de paroh al ținutului Rodnei, unul din întemeietorii primului liceu românesc din Năsăud. Fratele bunicului său, Grigore, Iuliu Moisil (1859-1947), a fost profesor mai întâi la Slatina si apoi la Târgu Jiu, unde a organizat „Cercuri Culturale” și „bănci populare”. -
On the Meaning of Approximate Reasoning − an Unassuming Subsidiary to Lotfi Zadeh’S Paper Dedicated to the Memory of Grigore Moisil −
Int. J. of Computers, Communications & Control, ISSN 1841-9836, E-ISSN 1841-9844 Vol. VI (2011), No. 3 (September), pp. 577-580 On the meaning of approximate reasoning − An unassuming subsidiary to Lotfi Zadeh’s paper dedicated to the memory of Grigore Moisil − H.-N. L. Teodorescu Horia-Nicolai L. Teodorescu Gheorghe Asachi Technical University, Iasi, Romania Institute for Computer Science, Romanian Academy, Iasi Branch Abstract: The concept of “approximate reasoning” is central to Zadeh’s con- tributions in logic. Standard fuzzy logic as we use today is only one potential interpretation of Zadeh’s concept. I discuss various meanings for the syntagme “approximate reasoning” as intuitively presented in the paper Zadeh dedicated to the memory of Grigore C. Moisil in 1975. Keywords: logic, truth value, natural language, inference. 1 Introduction I perceive three central ideas in Zadeh’s wide conceptual construction in his work until now. The first one is that words and propositions in natural languages, consequently human thoughts are not representable by standard sets and standard binary predicates. The second central idea in many of Zadeh’s papers is that humans perform computations in an approximate manner that real numbers can not represent well. The third idea, which Zadeh presented in his more recent works, is that of granularity of human mental representations and reasoning. These three strong points were represented by Zadeh in various forms and synthesized in the title of his paper on “computing with words” [1]. Most frequently - and Zadeh himself is doing no exception - authors cite as the initial paper clearly stating the approximate reasoning model the one published in the journal Information Sciences, July 1975 [2]. -
Curriculum Vitae
Curriculum Vitae Personal information • Name: Ana-Maria Taloș • E-mail: [email protected] • Nationality: Romanian • Gender: female 1. Educational background • 2012- 2015: PhD degree, thesis “The impact of lifestyle on population health status. Case study: Ialomița county (Romania)”, Faculty of Geography, University of Bucharest • 2010- 2012: Master degree, “Geography of Health Care Resources and Health Tourism” module, Faculty of Geography, University of Bucharest • 2007- 2010: Bachelor degree, Tourism specialization, Faculty of Geography, University of Bucharest • 2003- 2007: ”Grigore Moisil” National College, Social Sciences, Urziceni, Ialomița County, Romania 2. Teaching activity • 2013- present: professor assistant in the Department of Human and Economic Geography, Faculty of Geography, University of Bucharest • 2015-present: organizing and coordinating practical activities for students (Moieciu, Bucharest) • 2015-present: coordinating students’ final paper (health geography, geodemography) 3. Scientific activity Books: • Taloș Ana-Maria, (2017), Stilul de viață și impactul acestuia asupra stării de sănătate a populației. Studiu de caz: județul Ialomița, Editura Universității din București, colecția Geographica, București, ISBN 978-606-16-0877-5 Articles: • Taloș Ana-Maria (2018), Housing conditions and sanitation in Ialomița County: spatial inequalities and relationship with population, Salute, Etica, Migrazione, Dodicesimo Seminario Internazionale di Geografia Medica (Perugia, 14-16.12.2017), Perugia, Guerra Edizioni Edel srl, ISBN: 978-88-557-0627-8 • Taloș Ana-Maria, (2017), Socio-economic deprivation and health outcomes in Ialomita County, Human Geographies - Journal of Studies and Research in Human Geography, nr 11 (2), p. 241-253, ISSN–print: 1843–6587 | ISSN–online: 2067–2284 • Taloș Ana-Maria, (2017), Population lifestyle and health in Ialomița County (Romania), Romanian Journal of Geography, Bucuresti, nr 61 (1), p. -
A Memorial Tribute to Professor Constantin
Nonauton. Dyn. Syst. 2020; 7:140–150 Article Open Access Mehran Mahdavi* A Memorial Tribute to Professor Constantin Corduneanu, The Outstanding Mathematician https://doi.org/10.1515/msds-2020-0115 Received May 27, 2020; accepted October 3, 2020 Abstract: This paper contains the biographical sketch and reviews scientic contributions of Professor Con- stantin Corduneanu, an outstanding researcher in stability and control theory, and oscillations. MSC: 01-01; 01-02 Corduneanu’s life Constantin Corduneanu was born on July 26, 1928, in the city of Iaşi, Province of Moldova, Romania, from the parents Costache and Aglaia Corduneanu. He completed his elementary education in the village of Potangeni, Movileni commune in the District of Iaşi, located at a distance of about 25 Km. from the City of Iaşi, where his parents and some uncles were his teachers. This village was also the place where his paternal grandparents were living. At the age of 12, he had to go to the City of Iaşi to get his secondary education. He did not want to take the advice of his parents or his grandfather. Instead, he chose the idea of one of his uncles, who, during the First World War, was a sergeant in the Romanian Cavalry. He participated in the competition for a place at the Military Lyceum of Iaşi, placing 10th out of 400 competitors. He completed his secondary education in 1947. Corduneanu had great mathematics teachers during his secondary education. For example, Nicolae Donciu, who was serving as an assistant to Dimitrie Pompeiu, well known in complex analysis at the time. -
Concepts and Paradigms of Object-Oriented Programming Expansion of Oct 400PSLA-89 Keynote Talk Peter Wegner, Brown University
Concepts and Paradigms of Object-Oriented Programming Expansion of Oct 400PSLA-89 Keynote Talk Peter Wegner, Brown University 1. What Is It? 8 1.1. Objects 8 1.2. Classes 10 1.3. Inheritance 11 1.4. Object-Oriented Systems 12 2. What Are Its Goals? 13 2.1. Software Components 13 2.2. Object-Oriented Libraries 14 2.3. Reusability and Capital-intensive Software Technology 16 2.4. Object-Oriented Programming in the Very Large 18 3. What Are Its Origins? 19 3.1. Programming Language Evolution 19 3.2. Programming Language Paradigms 21 4. What Are Its Paradigms? 22 4.1. The State Partitioning Paradigm 23 4.2. State Transition, Communication, and Classification Paradigms 24 4.3. Subparadigms of Object-Based Programming 26 5. What Are Its Design Alternatives? 28 5.1. Objects 28 5.2. Types 33 5.3. Inheritance 36 5.4. Strongly Typed Object-Oriented Languages 43 5.5. Interesting Language Classes 45 5.6. Object-Oriented Concept Hierarchies 46 6. what Are Its Models of Concurrency? 49 6.1. Process Structure 50 6.2. Internal Process Concurrency 55 6.3. Design Alternatives for Synchronization 56 6.4. Asynchronous Messages, Futures, and Promises 57 6.5. Inter-Process Communication 58 6.6. Abstraction, Distribution, and Synchronization Boundaries 59 6.7. Persistence and Transactions 60 7. What Are Its Formal Computational Models? 62 7.1. Automata as Models of Object Behavior 62 7.2. Mathematical Models of Types and Classes 65 7.3. The Essence of Inheritance 74 7.4. Reflection in Object-Oriented Systems 78 8. -
The Interactive Nature of Computing: Refuting the Strong Church-Turing Thesis
TEX source file Click here to download Manuscript: paper.tex The Interactive Nature of Computing: Refuting the Strong Church-Turing Thesis Dina Goldin∗, Peter Wegner Brown University Abstract. The classical view of computing positions computation as a closed-box transformation of inputs (rational numbers or finite strings) to outputs. According to the interactive view of computing, computation is an ongoing interactive process rather than a function-based transformation of an input to an output. Specifi- cally, communication with the outside world happens during the computation, not before or after it. This approach radically changes our understanding of what is computation and how it is modeled. The acceptance of interaction as a new paradigm is hindered by the Strong Church-Turing Thesis (SCT), the widespread belief that Turing Machines (TMs) capture all computation, so models of computation more expressive than TMs are impossible. In this paper, we show that SCT reinterprets the original Church-Turing Thesis (CTT) in a way that Turing never intended; its commonly assumed equiva- lence to the original is a myth. We identify and analyze the historical reasons for the widespread belief in SCT. Only by accepting that it is false can we begin to adopt interaction as an alternative paradigm of computation. We present Persistent Turing Machines (PTMs), that extend TMs to capture sequential interaction. PTMs allow us to formulate the Sequential Interaction Thesis, going beyond the expressiveness of TMs and of the CTT. The paradigm shift to interaction provides an alternative understanding of the nature of computing that better reflects the services provided by today’s computing technology. -
The Perspectives of Scientific Research Seen by Grigore C
THE PERSPECTIVES OF SCIENTIFIC RESEARCH SEEN BY GRIGORE C. MOISIL FORTY YEARS AGO EUFROSINA OTLĂCAN* Motto: “There are people whose contribution to the progress of mankind is so great that their biography is put into the shade, the life is hidden away by the work”. (Gr. C. Moisil at the W. Sierpinski’s death) Abstract. The creation, the personality and the entire activity of the Romanian mathematician Grigore C. Moisil (1906–1973) are illustrative of the idea of universality in science and cultural integration. Moisil obtained his degree in mathematics at the University of Bucharest and became a PhD in 1929, with the thesis “The analytic mechanics of continuous systems.” The three years of courses at the polytechnic school did not finalize with an engineer diploma, they only meant an opening towards the understanding of technical problems. The scientific area of Moisil’s work covered, among other domains, the functional analysis applied to the mechanics of continuous media, to differential geometry or to the study of second order equations with partial derivatives. One of the most original parts of Moisil’s creation is his work in mathematical logic. Within this frame Moisil developed his algebraic theory of switching circuits. By his theory of “shaded reasoning”, G. C. Moisil is considered, besides L. Zadeh, one of the creators of the fuzzy mathematics. Apart from his scientific and teaching activities, Moisil was a highly concerned journalist, present in many newspapers and on television broadcasts. Keywords: Grigore C. Moisil, mathematical creation, mathematical analysis, mathematical logic, differential geometry, physics, mechanics. 1. BIOGRAPHICAL DATA The History of the mathematics in Romania (Andonie, 1966) in its pages dedicated to Gr. -
Introduction to the Literature on Programming Language Design Gary T
Computer Science Technical Reports Computer Science 7-1999 Introduction to the Literature On Programming Language Design Gary T. Leavens Iowa State University Follow this and additional works at: http://lib.dr.iastate.edu/cs_techreports Part of the Programming Languages and Compilers Commons Recommended Citation Leavens, Gary T., "Introduction to the Literature On Programming Language Design" (1999). Computer Science Technical Reports. 59. http://lib.dr.iastate.edu/cs_techreports/59 This Article is brought to you for free and open access by the Computer Science at Iowa State University Digital Repository. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Introduction to the Literature On Programming Language Design Abstract This is an introduction to the literature on programming language design and related topics. It is intended to cite the most important work, and to provide a place for students to start a literature search. Keywords programming languages, semantics, type systems, polymorphism, type theory, data abstraction, functional programming, object-oriented programming, logic programming, declarative programming, parallel and distributed programming languages Disciplines Programming Languages and Compilers This article is available at Iowa State University Digital Repository: http://lib.dr.iastate.edu/cs_techreports/59 Intro duction to the Literature On Programming Language Design Gary T. Leavens TR 93-01c Jan. 1993, revised Jan. 1994, Feb. 1996, and July 1999 Keywords: programming languages, semantics, typ e systems, p olymorphism, typ e theory, data abstrac- tion, functional programming, ob ject-oriented programming, logic programming, declarative programming, parallel and distributed programming languages. -
Discipolii Acad. Grigore C. Moisil Și Pionieri Ai Informaticii Românești
Discipolii acad. Grigore C. Moisil și pionieri ai informaticii românești Marin Vlada - Universitatea din Bucureşti, e-mail: vlada[at]fmi.unibuc.ro Abstract Articolul descrie un studiu succint prin analiza, enumerarea și evidențierea unor inițiative, acțiuni, rezultate știintifice, preocupări privind apariția și evoluția domeniului Informaticii la Universitatea din București. Opiniile și concluziii acestui studiu sunt ale autorului, și nu înseamnă că toate pot fi în unanimitate obiective. Inițial, în demersul nostru pentru a înțelege evoluția informaticii la Universitatea din București, am luat în considerare activitatea noastră din domeniul informaticii, dar am ajuns la concluzia că nu vom înțelege apariția și evoluția informaticii dacă nu vom analiza acțiunile și întâmplările așa cum s-au întâmplat în realitate: evenimente, decizii la nivel guvernamental, măsuri de schimbare, fapte și initiative ale unor oameni de știință, mărturii și explicații ale unor fapte petrecute în diverse etape, întâmplări și diverse contexte, etc. 1. Calculatorul, Matematica și Informatica – noi modalități de explorare a cunoașterii Motto "Calculatorul este o unealtă, ca stiloul, ca maşina de scris, ca telefonul, ca automobilul. Îl întrebuinţezi de câte ori ai nevoie. Calculatoarele din universitate sunt cele mai rentabile economic: dau oameni pricepuţi. Cât costă un calculator? Foarte mult, dacă nu ştii să umbli cu el. Mai mult decât un Rolls-Royce. Dar dacă ştii lucra cu el, îşi scoate preţul în doi ani. Care este investiţia de capital care se amortizează în doi ani?" Grigore C. Moisil în „Vom vedea – Ştiinţă şi umanism”, Contemporanul (aprilie 1973) Evoluția și dezvoltarea societății omenești nu se poate realiza, decât prin Cunoaștere și Învățare. Promotorul acestui proces de evoluție sunt considerate științele ce sunt forme de reprezentare virtuală a cunoașterii. -
Dina Goldin · Scott A. Smolka · Peter Wegner (Eds.) Dina Goldin Scott A
Dina Goldin · Scott A. Smolka · Peter Wegner (Eds.) Dina Goldin Scott A. Smolka Peter Wegner (Eds.) Interactive Computation The New Paradigm With 84 Figures 123 Editors Dina Goldin Scott A. Smolka Brown University State University of New York at Stony Brook Computer Science Department Department of Computer Science Providence, RI 02912 Stony Brook, NY 11794-4400 USA USA [email protected] [email protected] Peter Wegner Brown University Computer Science Department Providence, RI 02912 USA [email protected] Cover illustration: M.C. Escher’s „Whirlpools“ © 2006 The M.C. Escher Company-Holland. All rights reserved. www.mcescher.com Library of Congress Control Number: 2006932390 ACM Computing Classification (1998): F, D.1, H.1, H.5.2 ISBN-10 3-540-34666-X Springer Berlin Heidelberg New York ISBN-13 978-3-540-34666-1 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broad- casting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2006 The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant pro- tective laws and regulations and therefore free for general use.