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....
Enregistré dans:
| Autres auteurs: | |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Édition: | 1st ed. 2013. |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
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 |
Table des matières:
- 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