Mathematics, Computer Science and Logic - A Never Ending Story

The Bruno Buchberger Festschrift

Häftad, Engelska, 2016

534 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics.

Produktinformation

Utgivningsdatum:2016-08-23
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Antal sidor:113
Förlag:Springer International Publishing AG
ISBN:9783319346823

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik
Affärsapplikationer inom Data och IT
Programmeringsböcker inom Data och IT

Recensioner i media

From the reviews: "This book contains the more philosophical papers common in festschriften ... . I found this a useful set of papers using the umbrella of the festschrift to talk about what we are building, rather than just adding more bricks." (J. H. Davenport, Computing Reviews, January, 2014)

Innehållsförteckning

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.

Du kanske också är intresserad av

Numerical and Symbolic Scientific Computing

Ulrich Langer, Peter Paule

Häftad

1 062 kr

Del 32

Combinatory Analysis

Krishnaswami Alladi, Peter Paule, James Sellers, Ae Ja Yee

Häftad

1 062 kr

George E. Andrews 80 Years of Combinatory Analysis

Krishnaswami Alladi, Bruce C. Berndt, Peter Paule, James A. Sellers, Ae Ja Yee

Häftad

1 589 kr

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger