| 期刊全称 | Artificial Mathematical Intelligence | | 期刊简称 | Cognitive, (Meta)mat | | 影响因子2023 | Danny A. J. Gómez Ramírez | | 视频video | | | 发行地址 | Sets the multidisciplinary foundations of Artificial Mathematical Intelligence and Cognitive Metamathematics.Provides both classic and new results concerning the (artificial) co-generation of old and | | 图书封面 |  | | 影响因子 | .This volume discusses the theoretical foundations of a new inter- and intra-disciplinary meta-research discipline, which can be succinctly called .cognitive metamathematics., with the ultimate goal of achieving a global instance of concrete Artificial Mathematical Intelligence (AMI). In other words, AMI looks for the construction of an (ideal) global artificial agent being able to (co-)solve interactively formal problems with a conceptual mathematical description in a human-style way. It first gives formal guidelines from the philosophical, logical, meta-mathematical, cognitive, and computational points of view supporting the formal existence of such a global AMI framework, examining how much of current mathematics can be completely generated by an interactive computer program and how close we are to constructing a machine that would be able to simulate the way a modern working mathematician handles solvable mathematical conjectures from a conceptual point of view. . .The thesis that it is possible to meta-model the intellectual job of a working mathematician is heuristically supported by the computational theory of mind, which posits that the mind is in fact a computational syste | | Pindex | Book 2020 |
The information of publication is updating
|
|
发表于 2025-3-21 20:06:10
