Author: Publisher:
ISBN: 9789991144498
Category :
Languages : en
Pages :
Book Description
Monatshefte Fur Mathematik, Vol 111
Author: Kurt Gödel: Collected Works: Volume III
Author: Kurt GödelPublisher: Oxford University Press, USA
ISBN: 0195072553
Category : Mathematics
Languages : en
Pages : 558
Book Description
"Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this volume for the care with which they have presented Gödel's work. They have succeeded in using their own expertise to elucidate both the nature and significance of what Gödel and, in turn, mathematical logic have accomplished." --Isis (on volume I). The third volume brings togetherGödels unpublished essays and lectures.
Collected Papers of K.T. Chen
Author: Kuo-Tsai ChenPublisher: Springer Science & Business Media
ISBN: 9780817640057
Category : Mathematics
Languages : en
Pages : 776
Book Description
Kuo-Tsai Chen (1923-1987) is best known to the mathematics community for his work on iterated integrals and power series connections in conjunction with his research on the cohomology of loop spaces. His work is intimately related to the theory of minimal models as developed by Dennis Sullivan, whose own work was in part inspired by the research of Chen. An outstanding and original mathematician, Chen's work falls naturally into three periods: his early work on group theory and links in the three sphere; his subsequent work on formal differential equations, which gradually developed into his most powerful and important work; and his work on iterated integrals and homotopy theory, which occupied him for the last twenty years of his life. The goal of Chen's iterated integrals program, which is a de Rham theory for path spaces, was to study the interaction of topology and analysis through path integration. The present volume is a comprehensive collection of Chen's mathematical publications preceded by an article, "The Life and Work of Kuo-Tsai Chen," placing his work and research interests into their proper context and demonstrating the power and scope of his influence.
Springer-Verlag: History of a Scientific Publishing House
Author: Heinz SarkowskiPublisher: Springer Science & Business Media
ISBN: 354061561X
Category : Juvenile Nonfiction
Languages : en
Pages : 438
Book Description
A chronicle written only by someone for whom the present important. Goethe, Maximen und Reflexionen The second volume of our company's history differs from the first in several ways. With a great appreciation of history, Heinz Sarkowski has impressively reconstructed the company cor- spondence, which is fortunately almost completely preserved, and made it speak. * There is an inexhaustible amount of c- respondence pertaining to the period I have taken it upon myself to cover, and working through it properly not only would have required many years, but also would have detracted from the immediacy of the account. Thus, I decided to proceed from personal experience, to describe what has happened and to provide details gleaned from the correspondence. I have - counted here by no means only my own, but rather the personal experiences of the many company members and employees who are mentioned below. With the founding of the New York firm, developments branch out, becoming parallel but separate, and the change from one scene to another repeatedly interrupts the continuing course of events and the chronological flow of the report. In this connection, the occasional repetition of certain facts was - avoidable. In some places, however, it seemed more appropriate not to interrupt particular lines of development, but to describe them in continuity without regard to specific periods of time.
Information Modelling and Knowledge Bases III
Author: Setsuo OhsugaPublisher: IOS Press
ISBN: 9789051990737
Category : Artificial intelligence
Languages : en
Pages : 726
Book Description
Papers direct the focus of interest to the development and use of conceptual models in information systems of various kinds and aim at improving awareness about general or specific problems and solutions in conceptual modelling.
Foundational Studies Selected Works
Author: Lev D. BeklemishevPublisher: Elsevier
ISBN: 0080955002
Category : Computers
Languages : en
Pages : 684
Book Description
Foundational Studies Selected Works
Proceedings of the London Mathematical Society
Author: Bulletin of the American Mathematical Society
Author: American Mathematical SocietyPublisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 1032
Book Description
Mathematical Logic in the 20th Century
Author: Gerald E. SacksPublisher: World Scientific
ISBN: 9789812564894
Category : Mathematics
Languages : en
Pages : 712
Book Description
This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by Professor Gerald ESacks. Some of the authors are Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.
Mathematical Software – ICMS 2016
Author: Gert-Martin GreuelPublisher: Springer
ISBN: 3319424327
Category : Computers
Languages : en
Pages : 533
Book Description
This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.