Mathematics, computer science and logic : a never ending story : the Bruno Buchberger Festschrift
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....
Uloženo v:
| Další autoři: | |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Vydání: | 1st ed. 2013. |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematics, computer science and logic, a never ending story, the Bruno Buchberger festschrift, edited by Peter Paule, Cham, Springer, 2013, 1 vol. (VII-113 p.), 978-3-319-00965-0 • Mathematics, Computer Science and Logic - A Never Ending Story, Texte imprimé, 9783319009674 • Mathematics, Computer Science and Logic - A Never Ending Story, Texte imprimé, 9783319346823 |
| LEADER | 04080nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 946939 | ||
| 008 | 131018q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN172423287 | ||
| 020 | |a 9783319009667 | ||
| 041 | 0 | |a eng | |
| 082 | |a 518.1 | ||
| 245 | 0 | 0 | |a Mathematics, computer science and logic : |b a never ending story : the Bruno Buchberger Festschrift |c edited by Peter Paule. |
| 250 | |a 1st ed. 2013. | ||
| 260 | |a Cham : |b Springer International Publishing. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a Preface 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 | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 | ||
| 700 | 1 | |a Paule, Peter, |d 19..- |4 pbd | |
| 776 | 0 | |0 182037649 |t Mathematics, computer science and logic |o a never ending story |o the Bruno Buchberger festschrift |f edited by Peter Paule |c Cham |n Springer |d 2013 |p 1 vol. (VII-113 p.) |z 978-3-319-00965-0 | |
| 776 | 0 | |t Mathematics, Computer Science and Logic - A Never Ending Story |b Texte imprimé |z 9783319009674 | |
| 776 | 0 | |t Mathematics, Computer Science and Logic - A Never Ending Story |b Texte imprimé |z 9783319346823 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-319-00966-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-7L09Q1HB-8 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74781824X |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-319-00966-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75083482X |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-319-00966-7 |z Accès INSA CVL | |
| 997 | |0 946939 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||