LEADER 04738nam  22007575  450 
001 9910741146403321
005 20220329225454.0
010   $a3-319-00966-4
024 7 $a10.1007/978-3-319-00966-7
035   $a(CKB)3710000000019089
035   $a(EBL)1466678
035   $a(OCoLC)859265903
035   $a(SSID)ssj0001010514
035   $a(PQKBManifestationID)11550813
035   $a(PQKBTitleCode)TC0001010514
035   $a(PQKBWorkID)10999590
035   $a(PQKB)10636828
035   $a(DE-He213)978-3-319-00966-7
035   $a(MiAaPQ)EBC1466678
035   $z(PPN)258866594
035   $a(PPN)172423287
035   $a(EXLCZ)993710000000019089
100   $a20130917d2013      u|             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aMathematics, computer science and logic - a never ending story$b[electronic resource] $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 (120 p.)
300   $aDescription based upon print version of record.
311   $a3-319-00965-6 
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   $aComputers
606   $aAlgorithms$3https://scigraph.springernature.com/ontologies/product-market-codes/M14018
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aMathematical Software$3https://scigraph.springernature.com/ontologies/product-market-codes/M14042
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
615  0$aAlgorithms.
615  0$aMathematical logic.
615  0$aComputer software.
615  0$aSoftware engineering.
615  0$aComputers.
615 14$aAlgorithms.
615 24$aMathematical Logic and Foundations.
615 24$aMathematical Software.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aTheory of Computation.
676   $a004
676   $a004.0151
676   $a005.1
676   $a510
702   $aPaule$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910741146403321
996   $aMathematics, computer science and logic - a never ending story$93553651
997   $aUNINA