Mathematics, Computer Science and Logic - ...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

47,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Zusammenfassung

Gathers inspiring essays, written by international experts

Explores the foundations of mathematics: the state of the art, new ideas and directions

Reviews new aspects of the interplay among mathematics, logic and computer science

Includes supplementary material: [...]

Inhaltsverzeichnis

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

Details

Erscheinungsjahr:	2013
Fachbereich:	Wahrscheinlichkeitstheorie
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	vii 113 S. 35 s/w Illustr. 113 p. 35 illus.
ISBN-13:	9783319009650
ISBN-10:	3319009656
Sprache:	Englisch
Ausstattung / Beilage:	HC runder Rücken kaschiert
Einband:	Gebunden
Autor:	Paule, Peter
Redaktion:	Paule, Peter
Herausgeber:	Peter Paule
Hersteller:	Springer Nature Switzerland Springer International Publishing Springer International Publishing AG
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	241 x 160 x 12 mm
Von/Mit:	Peter Paule
Erscheinungsdatum:	27.09.2013
Gewicht:	0,36 kg

Artikel-ID: 105667644