Editors:
- Gathers inspiring essays, written by international experts
- Explores the foundations of mathematics: the state of the art, new ideas and directions
- Reviews new aspects of the interplay among mathematics, logic and computer science
- Includes supplementary material: sn.pub/extras
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (4 chapters)
-
Front Matter
About this book
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.
The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director.
More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic.
Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger’s successor as director of the Research Institute for Symbolic Computation.
Reviews
From the reviews:
“This book contains the more philosophical papers common in festschriften … . I found this a useful set of papers using the umbrella of the festschrift to talk about what we are building, rather than just adding more bricks.” (J. H. Davenport, Computing Reviews, January, 2014)
Editors and Affiliations
-
Research Institute for Symbolic Computat, Johannes Kepler University, Linz, Austria
Peter Paule
Bibliographic Information
Book Title: Mathematics, Computer Science and Logic - A Never Ending Story
Book Subtitle: The Bruno Buchberger Festschrift
Editors: Peter Paule
DOI: https://doi.org/10.1007/978-3-319-00966-7
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer International Publishing Switzerland 2013
Hardcover ISBN: 978-3-319-00965-0Published: 27 September 2013
Softcover ISBN: 978-3-319-34682-3Published: 23 August 2016
eBook ISBN: 978-3-319-00966-7Published: 17 September 2013
Edition Number: 1
Number of Pages: VII, 113
Number of Illustrations: 35 b/w illustrations
Topics: Algorithms, Mathematical Logic and Foundations, Mathematical Software, Software Engineering/Programming and Operating Systems, Theory of Computation