
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
World Scientific Publishing Co Pte Ltd
Published on 30. July 2018
Book
Hardback
300 pages
978-981-327-093-0 (ISBN)
Description
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.
More details
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 21 mm
Weight
588 gr
ISBN-13
978-981-327-093-0 (9789813270930)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Editor
Technical University Of Munich, Germany
Univ Degli Studi Di Verona, Italy
Ludwig Maximilians Univ Munchen, Germany