Proof and computation : digitization in mathematics, computer science and philosophy

著者

• Mainzer, Klaus
• Schuster, Peter
• Schwichtenberg, Helmut

書誌事項

Proof and computation : digitization in mathematics, computer science and philosophy

[edited by] Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg

World Scientific, c2018

注記

Includes bibliographical references

内容説明・目次

内容説明

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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BB26832826
• ISBN:
  • 9789813270930
• LCCN: 2018014609
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore
• ページ数/冊数: viii, 291 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.95
  • DC23 : 004.01/51
• 件名:
  • LCSH : Mathematics -- Data processing
  • LCSH : Mathematics -- Philosophy