Artificial Mathematical Intelligence

Artificial Mathematical Intelligence
Author :
Publisher : Springer Nature
Total Pages : 268
Release :
ISBN-10 : 9783030502737
ISBN-13 : 3030502732
Rating : 4/5 (732 Downloads)

Book Synopsis Artificial Mathematical Intelligence by : Danny A. J. Gómez Ramírez

Download or read book Artificial Mathematical Intelligence written by Danny A. J. Gómez Ramírez and published by Springer Nature. This book was released on 2020-10-23 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 system, and by the meta-fact that genuine mathematical proofs are, in principle, algorithmically verifiable, at least theoretically. The introduction to this volume provides then the grounding multifaceted principles of cognitive metamathematics, and, at the same time gives an overview of some of the most outstanding results in this direction, keeping in mind that the main focus is human-style proofs, and not simply formal verification. The first part of the book presents the new cognitive foundations of mathematics’ program dealing with the construction of formal refinements of seminal (meta-)mathematical notions and facts. The second develops positions and formalizations of a global taxonomy of classic and new cognitive abilities, and computational tools allowing for calculation of formal conceptual blends are described. In particular, a new cognitive characterization of the Church-Turing Thesis is presented. In the last part, classic and new results concerning the co-generation of a vast amount of old and new mathematical concepts and the key parts of several standard proofs in Hilbert-style deductive systems are shown as well, filling explicitly a well-known gap in the mechanization of mathematics concerning artificial conceptual generation.


Artificial Mathematical Intelligence Related Books

Artificial Mathematical Intelligence
Language: en
Pages: 268
Authors: Danny A. J. Gómez Ramírez
Categories: Mathematics
Type: BOOK - Published: 2020-10-23 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume discusses the theoretical foundations of a new inter- and intra-disciplinary meta-research discipline, which can be succinctly called cognitive meta
Artificial and Mathematical Theory of Computation
Language: en
Pages: 488
Authors: Vladimir Lifschitz
Categories: Computers
Type: BOOK - Published: 2012-12-02 - Publisher: Academic Press

DOWNLOAD EBOOK

Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to arti
Mathematical Methods in Artificial Intelligence
Language: en
Pages: 0
Authors: Edward A. Bender
Categories: Technology & Engineering
Type: BOOK - Published: 1996-02-10 - Publisher: Wiley-IEEE Computer Society Press

DOWNLOAD EBOOK

Mathematical Methods in Artificial Intelligence introduces the student to the important mathematical foundations and tools in AI and describes their application
Mathematical Intelligence
Language: en
Pages: 215
Authors: Mubeen Junaid
Categories: Mathematics
Type: BOOK - Published: 2022-11-01 - Publisher: Simon and Schuster

DOWNLOAD EBOOK

A fresh exploration into the 'human nature versus technology’ argument, revealing an unexpected advantage that humans have over our future robot masters: we�
Introduction to Artificial Intelligence
Language: en
Pages: 545
Authors: Philip C. Jackson
Categories: Computers
Type: BOOK - Published: 2019-08-14 - Publisher: Courier Dover Publications

DOWNLOAD EBOOK

Can computers think? Can they use reason to develop their own concepts, solve complex problems, understand our languages? This updated edition of a comprehensiv