000 03670nam a22005055i 4500
001 978-3-319-00966-7
003 DE-He213
005 20140220082839.0
007 cr nn 008mamaa
008 130917s2013 gw | s |||| 0|eng d
020 _a9783319009667
_9978-3-319-00966-7
024 7 _a10.1007/978-3-319-00966-7
_2doi
050 4 _aQA76.9.A43
072 7 _aPBKS
_2bicssc
072 7 _aCOM051300
_2bisacsh
082 0 4 _a518.1
_223
100 1 _aPaule, Peter.
_eeditor.
245 1 0 _aMathematics, Computer Science and Logic - A Never Ending Story
_h[electronic resource] :
_bThe Bruno Buchberger Festschrift /
_cedited by Peter Paule.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2013.
300 _aVII, 113 p. 35 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aPreface -- Henk Barendregt: Foundations of Mathematics from the Perspective of Computer Verification -- Manfred Broy: On the Role of Logic and Algebra in Software Engineering -- Stephen Wolfram: New Directions in the Foundations of Mathematics (2002) -- Doron Zeilberger: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics.
520 _aThis 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.
650 0 _aMathematics.
650 0 _aSoftware engineering.
650 0 _aInformation theory.
650 0 _aAlgorithms.
650 0 _aComputer software.
650 0 _aLogic, Symbolic and mathematical.
650 1 4 _aMathematics.
650 2 4 _aAlgorithms.
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aMathematical Software.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aTheory of Computation.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319009650
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-00966-7
912 _aZDB-2-SMA
999 _c96498
_d96498