| 书目名称 | Mathematics, Computer Science and Logic - A Never Ending Story | | 副标题 | The Bruno Buchberger | | 编辑 | Peter Paule | | 视频video | | | 概述 | 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 mathematic | | 图书封面 |  | | 描述 | .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 | | 出版日期 | Book 2013 | | 关键词 | computer mathematics; computer-assisted proofs; logic; mathematical foundations; philosophy of mathemati | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-00966-7 | | isbn_softcover | 978-3-319-34682-3 | | isbn_ebook | 978-3-319-00966-7 | | copyright | Springer International Publishing Switzerland 2013 |
The information of publication is updating
书目名称Mathematics, Computer Science and Logic - A Never Ending Story影响因子(影响力)
书目名称Mathematics, Computer Science and Logic - A Never Ending Story影响因子(影响力)学科排名
书目名称Mathematics, Computer Science and Logic - A Never Ending Story网络公开度
书目名称Mathematics, Computer Science and Logic - A Never Ending Story网络公开度学科排名
书目名称Mathematics, Computer Science and Logic - A Never Ending Story被引频次
书目名称Mathematics, Computer Science and Logic - A Never Ending Story被引频次学科排名
书目名称Mathematics, Computer Science and Logic - A Never Ending Story年度引用
书目名称Mathematics, Computer Science and Logic - A Never Ending Story年度引用学科排名
书目名称Mathematics, Computer Science and Logic - A Never Ending Story读者反馈
书目名称Mathematics, Computer Science and Logic - A Never Ending Story读者反馈学科排名
|
|
|
发表于 2025-3-21 16:42:28
