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....

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Paule, Peter (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2013.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.