Hilbert's Tenth Problem

Total Page:16

File Type:pdf, Size:1020Kb

Hilbert's Tenth Problem Mathematical Events of the Twentieth Century Mathematical Events of the Twentieth Century Edited by A. A. Bolibruch, Yu.S. Osipov, and Ya.G. Sinai 123 PHASIS † A. A. Bolibruch Ya . G . S i n a i University of Princeton Yu. S. Osipov Department of Mathematics Academy of Sciences Washington Road Leninsky Pr. 14 08544-1000 Princeton, USA 117901 Moscow, Russia e-mail: [email protected] e-mail: [email protected] Editorial Board: V.I. Arnold A. A. Bolibruch (Vice-Chair) A. M. Vershik Yu. I. Manin Yu. S. Osipov (Chair) Ya. G. Sinai (Vice-Chair) V. M . Ti k h o m i rov L. D. Faddeev V.B. Philippov (Secretary) Originally published in Russian as “Matematicheskie sobytiya XX veka” by PHASIS, Moscow, Russia 2003 (ISBN 5-7036-0074-X). Library of Congress Control Number: 2005931922 Mathematics Subject Classification (2000): 01A60 ISBN-10 3-540-23235-4 Springer Berlin Heidelberg New York ISBN-13 978-3-540-23235-3 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 to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com © Springer-Verlag Berlin Heidelberg and PHASIS Moscow 2006 Printed in Germany 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. Set for publishing by PHASIS using a special LATEX macro package Cover design: Erich Kirchner, Heidelberg Printed on acid-free paper 46/3142/YL - 5 4 3 2 1 0 Preface Russian mathematics (later Soviet mathematics, and Russian mathematics once again) occupies a special place in twentieth-century mathematics. In addition to its well-known achievements, Russian mathematics established a unique style of research based on the existence of prominent mathematical schools. These schools were headed by recognized leaders, who became famous due to their talents and outstanding contributions to science. The present collection is intended primarily to gather in one book the tes- timonies of the participants in the development of mathematics over the past century. In their articles the authors have expressed their own points of view on the events that took place. The editors have not felt that they had a right to make any changes, other than stylistic ones, or to add any of their own commentary to the text. Naturally, the points of view of the authors should not be construed as those of the editors. The list of mathematicians invited to participate in the present edition was quite long. Unfortunately, some of the authors for various reasons did not accept our invitation, and regretfully a number of areas of research are not fully represented here. Nevertheless, the material that has been assembled is of great value not only in the scientific sense, but also in its historical context. We wish to express our gratitude to all the authors who contributed. We hope that this collection will induce other authors to write their memoirs of mathematical events of the twentieth century which they witnessed and par- ticipated in. This will open a possibility for a continuation of the present edition. We are very glad to thank Owen de Lange for his help in the preparation of the English edition of this book. The Editors P. S. A. A. Bolibruch played a very important role in preparing this book. His untimely death was a great shock and unrepairable loss for all people who were fortunate to work with him. Heidelberg, 2005 Moscow, 2005 Contents Preface..................................... V D. V.Anosov Dynamical Systems in the 1960s: The Hyperbolic Revolution . 1 V. I. A rn old From Hilbert’s Superposition Problem to Dynamical Systems . 19 A. A. Bolibruch Inverse Monodromy Problems of the Analytic Theory of Differential Equations.................................... 49 L. D. Faddeev What Modern Mathematical Physics Is Supposed to Be . 75 R. V.Gamkrelidze DiscoveryoftheMaximumPrinciple .................... 85 Yu.S. Il’yashenko The Qualitative Theory of Differential Equations in the Plane . 101 P.S. Krasnoshchekov Computerization...Let’sBeCareful.................... 133 V.A. Marchenko The Generalized Shift, Transformation Operators, and Inverse Problems . 145 V. P. Maslov Mathematics and the Trajectories of Typhoons . 163 Yu. V.Matiyasevich Hilbert’s Tenth Problem: Diophantine Equations in the Twentieth Century 185 V.D. Milman Observations on the Movement of People and Ideas in Twentieth-Century Mathematics.................................. 215 VIII Contents E. F.Mishchenko About Aleksandrov, Pontryagin and Their Scientific Schools . 243 Yu. V.Nesterenko Hilbert’sSeventhProblem .......................... 269 S. M. Nikol’skii The Great Kolmogorov . 283 A. N. Parshin Numbers as Functions: The Development of an Idea in the Moscow School of Algebraic Geometry . 297 A. A. Razborov ? The P=NP-Problem: A View from the 1990s . 331 L. P.Shil’nikov Homoclinic Trajectories: From Poincare´ to the Present . 347 A. N. Shiryaev From “Disorder” to Nonlinear Filtering and Martingale Theory . 371 Ya. G. Sinai How Mathematicians and Physicists Found Each Other in the Theory of Dynamical Systems and in Statistical Mechanics . 399 V.M. Tikhomirov Approximation Theory in the Twentieth Century . 409 A. M. Vershik The Life and Fate of Functional Analysis in the Twentieth Century . 437 A. G. Vitushkin HalfaCenturyAsOneDay ......................... 449 V.S. Vladimirov Nikolai Nikolaevich Bogolyubov — Mathematician by the Grace of God 475 V.I. Yudovich Global Solvability Versus Collapse in the Dynamics of an Incompressible Fluid ...................................... 501 NameIndex .................................. 529 D. V.Anosov Dynamical Systems in the 1960s: The Hyperbolic Revolution Translated by R. Cooke Probably everyone would agree that the theory of dynamical systems underwent a profound change during the 1960s, that its general features as then formed have been retained to the present time despite significant changes in content, and that this theory turned into a separate discipline at that time, having been up to that point a branch of the theory of ordinary differential equations. Here I intend to discuss certain events of this period, after which I shall say a few words about what came after. The theory of dynamical systems consists of three branches, corresponding to the general character of the objects and questions it considers: differential dynamics — the theory of smooth dynamical systems, the ergodic theory — the theory of metric dynamical systems (in the sense of measure theory), and topo- logical dynamics — the theory of topological (continuous but not differentiable) dynamical systems. 1 1 These explanations of the subject matter of each of these three parts, being rather general and brief, are not entirely accurate. Thus, in reality the first part also encompasses one-dimensional dynamics, including real dynamics, while the mappings considered in the last part are nonsmooth and even have discontinuities. Such failure of the subject matter of real one-dimensional dynamics to comply with the norms of the theory of smooth dynamical systems is compensated by their conceptual proximity. The picture is different for symplectic systems. They have not lost their 2 D. V.Anosov The rise of dynamical systems as a separate discipline was due mostly to two events in differential dynamics: the development of KAM theory (its seeds were planted earlier, but did not immediately receive wide development) and the “hyperbolic revolution.” The chronology of all this is framed by the penetration of ideas of probabilistic origin into ergodic theory: the entropic theory arose (and immediately began to develop vigorously) in the mid-1950s. The Ornstein 2 theory (which within the limits of its applicability sometimes establishes an even closer connection of dynamical systems with the most ordinary random processes such as coin tossing than does the entropic theory, while at other times it points up subtle differences between them) arose in the 1970s. It should be mentioned that two topics vary with particular vigor in the theory of dynamical systems. 3 In their “purest” form they occur in differential dynamics as quasi-periodicity, for which a certain regularity is characteristic, and as hyperbolicity, which is connected with those phenomena that are descrip- tively named “quasi-randomness,” “stochasticity,” or “chaos” (see the article of Yoccoz [1]). The use of spectral concepts and methods in ergodic theory, which began as early as the 1930s, can be regarded as a sort of implementation (in a suitable context) of the first topic. 4 The second topic found an adequate expres- sion in ergodic theory just in the 1950s and 1970s, when the entropic theory and the Ornstein theory arose. Kolmogorov, whose name provided the first letter in the acronym KAM, was the only one at that time who made an equally large contribution to the study of both regular and chaotic motions
Recommended publications
  • Donald Knuth Fletcher Jones Professor of Computer Science, Emeritus Curriculum Vitae Available Online
    Donald Knuth Fletcher Jones Professor of Computer Science, Emeritus Curriculum Vitae available Online Bio BIO Donald Ervin Knuth is an American computer scientist, mathematician, and Professor Emeritus at Stanford University. He is the author of the multi-volume work The Art of Computer Programming and has been called the "father" of the analysis of algorithms. He contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it. In the process he also popularized the asymptotic notation. In addition to fundamental contributions in several branches of theoretical computer science, Knuth is the creator of the TeX computer typesetting system, the related METAFONT font definition language and rendering system, and the Computer Modern family of typefaces. As a writer and scholar,[4] Knuth created the WEB and CWEB computer programming systems designed to encourage and facilitate literate programming, and designed the MIX/MMIX instruction set architectures. As a member of the academic and scientific community, Knuth is strongly opposed to the policy of granting software patents. He has expressed his disagreement directly to the patent offices of the United States and Europe. (via Wikipedia) ACADEMIC APPOINTMENTS • Professor Emeritus, Computer Science HONORS AND AWARDS • Grace Murray Hopper Award, ACM (1971) • Member, American Academy of Arts and Sciences (1973) • Turing Award, ACM (1974) • Lester R Ford Award, Mathematical Association of America (1975) • Member, National Academy of Sciences (1975) 5 OF 44 PROFESSIONAL EDUCATION • PhD, California Institute of Technology , Mathematics (1963) PATENTS • Donald Knuth, Stephen N Schiller. "United States Patent 5,305,118 Methods of controlling dot size in digital half toning with multi-cell threshold arrays", Adobe Systems, Apr 19, 1994 • Donald Knuth, LeRoy R Guck, Lawrence G Hanson.
    [Show full text]
  • Power Values of Divisor Sums Author(S): Frits Beukers, Florian Luca, Frans Oort Reviewed Work(S): Source: the American Mathematical Monthly, Vol
    Power Values of Divisor Sums Author(s): Frits Beukers, Florian Luca, Frans Oort Reviewed work(s): Source: The American Mathematical Monthly, Vol. 119, No. 5 (May 2012), pp. 373-380 Published by: Mathematical Association of America Stable URL: http://www.jstor.org/stable/10.4169/amer.math.monthly.119.05.373 . Accessed: 15/02/2013 04:05 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to The American Mathematical Monthly. http://www.jstor.org This content downloaded on Fri, 15 Feb 2013 04:05:44 AM All use subject to JSTOR Terms and Conditions Power Values of Divisor Sums Frits Beukers, Florian Luca, and Frans Oort Abstract. We consider positive integers whose sum of divisors is a perfect power. This prob- lem had already caught the interest of mathematicians from the 17th century like Fermat, Wallis, and Frenicle. In this article we study this problem and some variations. We also give an example of a cube, larger than one, whose sum of divisors is again a cube. 1. INTRODUCTION. Recently, one of the current authors gave a mathematics course for an audience with a general background and age over 50.
    [Show full text]
  • Modified Moments for Indefinite Weight Functions [2Mm] (A Tribute
    Modified Moments for Indefinite Weight Functions (a Tribute to a Fruitful Collaboration with Gene H. Golub) Martin H. Gutknecht Seminar for Applied Mathematics ETH Zurich Remembering Gene Golub Around the World Leuven, February 29, 2008 Martin H. Gutknecht Modified Moments for Indefinite Weight Functions My education in numerical analysis at ETH Zurich My teachers of numerical analysis: Eduard Stiefel [1909–1978] (first, basic NA course, 1964) Peter Läuchli [b. 1928] (ALGOL, 1965) Hans-Rudolf Schwarz [b. 1930] (numerical linear algebra, 1966) Heinz Rutishauser [1917–1970] (follow-up numerical analysis course; “selected chapters of NM” [several courses]; computer hands-on training) Peter Henrici [1923–1987] (computational complex analysis [many courses]) The best of all worlds? Martin H. Gutknecht Modified Moments for Indefinite Weight Functions My education in numerical analysis (cont’d) What did I learn? Gauss elimination, simplex alg., interpolation, quadrature, conjugate gradients, ODEs, FDM for PDEs, ... qd algorithm [often], LR algorithm, continued fractions, ... many topics in computational complex analysis, e.g., numerical conformal mapping What did I miss to learn? (numerical linear algebra only) QR algorithm nonsymmetric eigenvalue problems SVD (theory, algorithms, applications) Lanczos algorithm (sym., nonsym.) Padé approximation, rational interpolation Martin H. Gutknecht Modified Moments for Indefinite Weight Functions My first encounters with Gene H. Golub Gene’s first two talks at ETH Zurich (probably) 4 June 1971: “Some modified eigenvalue problems” 28 Nov. 1974: “The block Lanczos algorithm” Gene was one of many famous visitors Peter Henrici attracted. Fall 1974: GHG on sabbatical at ETH Zurich. I had just finished editing the “Lectures of Numerical Mathematics” of Heinz Rutishauser (1917–1970).
    [Show full text]
  • Mathematical Circus & 'Martin Gardner
    MARTIN GARDNE MATHEMATICAL ;MATH EMATICAL ASSOCIATION J OF AMERICA MATHEMATICAL CIRCUS & 'MARTIN GARDNER THE MATHEMATICAL ASSOCIATION OF AMERICA Washington, DC 1992 MATHEMATICAL More Puzzles, Games, Paradoxes, and Other Mathematical Entertainments from Scientific American with a Preface by Donald Knuth, A Postscript, from the Author, and a new Bibliography by Mr. Gardner, Thoughts from Readers, and 105 Drawings and Published in the United States of America by The Mathematical Association of America Copyright O 1968,1969,1970,1971,1979,1981,1992by Martin Gardner. All riglhts reserved under International and Pan-American Copyright Conventions. An MAA Spectrum book This book was updated and revised from the 1981 edition published by Vantage Books, New York. Most of this book originally appeared in slightly different form in Scientific American. Library of Congress Catalog Card Number 92-060996 ISBN 0-88385-506-2 Manufactured in the United States of America For Donald E. Knuth, extraordinary mathematician, computer scientist, writer, musician, humorist, recreational math buff, and much more SPECTRUM SERIES Published by THE MATHEMATICAL ASSOCIATION OF AMERICA Committee on Publications ANDREW STERRETT, JR.,Chairman Spectrum Editorial Board ROGER HORN, Chairman SABRA ANDERSON BART BRADEN UNDERWOOD DUDLEY HUGH M. EDGAR JEANNE LADUKE LESTER H. LANGE MARY PARKER MPP.a (@ SPECTRUM Also by Martin Gardner from The Mathematical Association of America 1529 Eighteenth Street, N.W. Washington, D. C. 20036 (202) 387- 5200 Riddles of the Sphinx and Other Mathematical Puzzle Tales Mathematical Carnival Mathematical Magic Show Contents Preface xi .. Introduction Xlll 1. Optical Illusions 3 Answers on page 14 2. Matches 16 Answers on page 27 3.
    [Show full text]
  • Notices: Highlights
    ------------- ----- Tacoma Meeting (June 18-20)-Page 667 Notices of the American Mathematical Society June 1987, Issue 256 Volume 34, Number 4, Pages 601 - 728 Providence, Rhode Island USA ISSN 0002-9920 Calendar of AMS Meetings THIS CALENDAR lists all meetings which have been approved by the Council prior to the date this issue of Notices was sent to the press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been assigned. Programs of the meetings will appear in the issues indicated below. First and supplementary announcements of the meetings will have appeared in earlier issues. ABSTRACTS OF PAPERS presented at a meeting of the Society are published in the journal Abstracts of papers presented to the American Mathematical Society in the issue corresponding to that of the Notices which contains the program of the meeting. Abstracts should be submitted on special forms which are available in many departments of mathematics and from the headquarter's office of the Society. Abstracts of papers to be presented at the meeting must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline given below for the meeting. Note that the deadline for abstracts for consideration for presentation at special sessions is usually three weeks earlier than that specified below. For additional information. consult the meeting announcements and the list of organizers of special sessions.
    [Show full text]
  • Jfr Mathematics for the Planet Earth
    SOME MATHEMATICAL ASPECTS OF THE PLANET EARTH José Francisco Rodrigues (University of Lisbon) Article of the Special Invited Lecture, 6th European Congress of Mathematics 3 July 2012, KraKow. The Planet Earth System is composed of several sub-systems: the atmosphere, the liquid oceans and the icecaps and the biosphere. In all of them Mathematics, enhanced by the supercomputers, has currently a key role through the “universal method" for their study, which consists of mathematical modeling, analysis, simulation and control, as it was re-stated by Jacques-Louis Lions in [L]. Much before the advent of computers, the representation of the Earth, the navigation and the cartography have contributed in a decisive form to the mathematical sciences. Nowadays the International Geosphere-Biosphere Program, sponsored by the International Council of Scientific Unions, may contribute to stimulate several mathematical research topics. In this article, we present a brief historical introduction to some of the essential mathematics for understanding the Planet Earth, stressing the importance of Mathematical Geography and its role in the Scientific Revolution(s), the modeling efforts of Winds, Heating, Earthquakes, Climate and their influence on basic aspects of the theory of Partial Differential Equations. As a special topic to illustrate the wide scope of these (Geo)physical problems we describe briefly some examples from History and from current research and advances in Free Boundary Problems arising in the Planet Earth. Finally we conclude by referring the potential impact of the international initiative Mathematics of Planet Earth (www.mpe2013.org) in Raising Public Awareness of Mathematics, in Research and in the Communication of the Mathematical Sciences to the new generations.
    [Show full text]
  • Hilbert's 10Th Problem for Solutions in a Subring of Q
    Hilbert’s 10th Problem for solutions in a subring of Q Agnieszka Peszek, Apoloniusz Tyszka To cite this version: Agnieszka Peszek, Apoloniusz Tyszka. Hilbert’s 10th Problem for solutions in a subring of Q. Jubilee Congress for the 100th anniversary of the Polish Mathematical Society, Sep 2019, Kraków, Poland. hal-01591775v3 HAL Id: hal-01591775 https://hal.archives-ouvertes.fr/hal-01591775v3 Submitted on 11 Sep 2019 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. Hilbert’s 10th Problem for solutions in a subring of Q Agnieszka Peszek, Apoloniusz Tyszka Abstract Yuri Matiyasevich’s theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smorynski’s´ theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H10(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can decide whether or not the equation has a solution in R.
    [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]
  • MODERN MATHEMATICS 1900 to 1950
    Free ebooks ==> www.Ebook777.com www.Ebook777.com Free ebooks ==> www.Ebook777.com MODERN MATHEMATICS 1900 to 1950 Michael J. Bradley, Ph.D. www.Ebook777.com Free ebooks ==> www.Ebook777.com Modern Mathematics: 1900 to 1950 Copyright © 2006 by Michael J. Bradley, Ph.D. All rights reserved. No part of this book may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording, or by any information storage or retrieval systems, without permission in writing from the publisher. For information contact: Chelsea House An imprint of Infobase Publishing 132 West 31st Street New York NY 10001 Library of Congress Cataloging-in-Publication Data Bradley, Michael J. (Michael John), 1956– Modern mathematics : 1900 to 1950 / Michael J. Bradley. p. cm.—(Pioneers in mathematics) Includes bibliographical references and index. ISBN 0-8160-5426-6 (acid-free paper) 1. Mathematicians—Biography. 2. Mathematics—History—20th century. I. Title. QA28.B736 2006 510.92'2—dc22 2005036152 Chelsea House books are available at special discounts when purchased in bulk quantities for businesses, associations, institutions, or sales promotions. Please call our Special Sales Department in New York at (212) 967-8800 or (800) 322-8755. You can find Chelsea House on the World Wide Web at http://www.chelseahouse.com Text design by Mary Susan Ryan-Flynn Cover design by Dorothy Preston Illustrations by Jeremy Eagle Printed in the United States of America MP FOF 10 9 8 7 6 5 4 3 2 1 This book is printed on acid-free paper.
    [Show full text]
  • Scope of Various Random Number Generators in Ant System Approach for Tsp
    AC 2007-458: SCOPE OF VARIOUS RANDOM NUMBER GENERATORS IN ANT SYSTEM APPROACH FOR TSP S.K. Sen, Florida Institute of Technology Syamal K Sen ([email protected]) is currently a professor in the Dept. of Mathematical Sciences, Florida Institute of Technology (FIT), Melbourne, Florida. He did his Ph.D. (Engg.) in Computational Science from the prestigious Indian Institute of Science (IISc), Bangalore, India in 1973 and then continued as a faculty of this institute for 33 years. He was a professor of Supercomputer Computer Education and Research Centre of IISc during 1996-2004 before joining FIT in January 2004. He held a Fulbright Fellowship for senior teachers in 1991 and worked in FIT. He also held faculty positions, on leave from IISc, in several universities around the globe including University of Mauritius (Professor, Maths., 1997-98), Mauritius, Florida Institute of Technology (Visiting Professor, Math. Sciences, 1995-96), Al-Fateh University (Associate Professor, Computer Engg, 1981-83.), Tripoli, Libya, University of the West Indies (Lecturer, Maths., 1975-76), Barbados.. He has published over 130 research articles in refereed international journals such as Nonlinear World, Appl. Maths. and Computation, J. of Math. Analysis and Application, Simulation, Int. J. of Computer Maths., Int. J Systems Sci., IEEE Trans. Computers, Internl. J. Control, Internat. J. Math. & Math. Sci., Matrix & Tensor Qrtly, Acta Applicande Mathematicae, J. Computational and Applied Mathematics, Advances in Modelling and Simulation, Int. J. Engineering Simulation, Neural, Parallel and Scientific Computations, Nonlinear Analysis, Computers and Mathematics with Applications, Mathematical and Computer Modelling, Int. J. Innovative Computing, Information and Control, J. Computational Methods in Sciences and Engineering, and Computers & Mathematics with Applications.
    [Show full text]
  • An Interview with Donald Knuth 33
    Bijlage M An Interview with Donald Knuth 33 An Interview with Donald Knuth DDJ chats with one of the world's leading computer scientists Jack Woehr Dr. Dobb's Journal∗ [email protected] April 1996 For over 25 years, Donald E. Knuth has generally been honorable term, but to some people a computer program- considered one of the world's leading computer scientists. mer is somebody who just follows instructions without un- Although he's authored more than 150 publications, it is derstanding what he's doing, one who just knows how to Knuth's three-volume The Art of Computer Programming get through the idiosyncrasies of some language. which has become a staple on every programmer's book- To me, a computer scientist is somebody who has a way shelf. In 1974, Knuth was the recipient of computer sci- of thinking, which resonates with computer programming. ence's most prestigious prize, the Turing Award. He also The way a computer scientist views knowledge in general received the National Medal of Science in 1979. is different from the way a mathematician views knowl- In addition to his work developing fundamental algorithms edge, which is different from the way a physicist views for computer programming, Knuth was a pioneer in com- knowledge, which is different from the way a chemist, puter typesetting with his TEX, METAFONT, and WEB ap- lawyer, or poet views knowledge. plications. He has written on topics as singular as ancient There's about one person in every ®fty who has this pecu- Babylonian algorithms and has penned a novel.
    [Show full text]
  • Three Aspects of the Theory of Complex Multiplication
    Three Aspects of the Theory of Complex Multiplication Takase Masahito Introduction In the letter addressed to Dedekind dated March 15, 1880, Kronecker wrote: - the Abelian equations with square roots of rational numbers are ex­ hausted by the transformation equations of elliptic functions with sin­ gular modules, just as the Abelian equations with integral coefficients are exhausted by the cyclotomic equations. ([Kronecker 6] p. 455) This is a quite impressive conjecture as to the construction of Abelian equations over an imaginary quadratic number fields, which Kronecker called "my favorite youthful dream" (ibid.). The aim of the theory of complex multiplication is to solve Kronecker's youthful dream; however, it is not the history of formation of the theory of complex multiplication but Kronecker's youthful dream itself that I would like to consider in the present paper. I will consider Kronecker's youthful dream from three aspects: its history, its theoretical character, and its essential meaning in mathematics. First of all, I will refer to the history and theoretical character of the youthful dream (Part I). Abel modeled the division theory of elliptic functions after the division theory of a circle by Gauss and discovered the concept of an Abelian equation through the investigation of the algebraically solvable conditions of the division equations of elliptic functions. This discovery is the starting point of the path to Kronecker's youthful dream. If we follow the path from Abel to Kronecker, then it will soon become clear that Kronecker's youthful dream has the theoretical character to be called the inverse problem of Abel.
    [Show full text]