| 书目名称 | Hajnal Andréka and István Németi on Unity of Science |
| 副标题 | From Computing to Re |
| 编辑 | Judit Madarász,Gergely Székely |
| 视频video | |
| 概述 | Celebrates the joint work of two outstanding researchers.Uses mathematical logic to connect interdisciplinary topics.Shows the spirit and many applications of Tarskian algebraic logic |
| 丛书名称 | Outstanding Contributions to Logic |
| 图书封面 |  |
| 描述 | .This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives..Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. .The short autobiographies of Hajnal Andréka and István Németi at the end of the book describe an adventurous journey from electric engineeringand Maxwell’s equations to a complex system of computer programs for designing Hungary’s electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such quest |
| 出版日期 | Book 2021 |
| 关键词 | Tarskian Algebraic Logic; Cylindric Algebras, Relation Algebras; Guarded Fragment of First Order Logic |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-64187-0 |
| isbn_softcover | 978-3-030-64189-4 |
| isbn_ebook | 978-3-030-64187-0Series ISSN 2211-2758 Series E-ISSN 2211-2766 |
| issn_series | 2211-2758 |
| copyright | Springer Nature Switzerland AG 2021 |
发表于 2025-3-21 18:04:33
