LEADER 04216nam  22007575  450 
001 9910741146403321
005 20251204110450.0
010   $a9783319009667
010   $a3319009664
024 7 $a10.1007/978-3-319-00966-7
035   $a(OCoLC)859265903
035   $a(MiFhGG)GVRL6VMA
035   $a(CKB)3710000000019089
035   $a(MiAaPQ)EBC1466678
035   $a(MiFhGG)9783319009667
035   $a(DE-He213)978-3-319-00966-7
035   $a(EXLCZ)993710000000019089
100   $a20130917d2013      u|         0
101 0 $aeng
135   $aurun|---uuuua
181   $ctxt
182   $cc
183   $acr
200 10$aMathematics, Computer Science and Logic - A Never Ending Story $eThe Bruno Buchberger Festschrift /$fedited by Peter Paule
205   $a1st ed. 2013.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2013.
215   $a1 online resource (vii, 113 pages) $cillustrations (some color)
225 0 $aGale eBooks
300   $aDescription based upon print version of record.
311 08$a9783319009650 
311 08$a3319009656 
320   $aIncludes bibliographical references.
327   $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.
330   $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.
606   $aAlgorithms
606   $aMathematical logic
606   $aComputer software
606   $aSoftware engineering
606   $aComputer science
606   $aAlgorithms
606   $aMathematical Logic and Foundations
606   $aMathematical Software
606   $aSoftware Engineering
606   $aTheory of Computation
615  0$aAlgorithms.
615  0$aMathematical logic.
615  0$aComputer software.
615  0$aSoftware engineering.
615  0$aComputer science.
615 14$aAlgorithms.
615 24$aMathematical Logic and Foundations.
615 24$aMathematical Software.
615 24$aSoftware Engineering.
615 24$aTheory of Computation.
676   $a004
676   $a004.0151
676   $a005.1
676   $a510
702   $aPaule$b Peter
702   $aBuchberger$b Bruno
801  0$bMiFhGG
801  1$bMiFhGG
906   $aBOOK
912   $a9910741146403321
996   $aMathematics, computer science and logic - a never ending story$93553651
997   $aUNINA