0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematical modelling

Buy Now

Artificial Mathematical Intelligence - Cognitive, (Meta)mathematical, Physical and Philosophical Foundations (Hardcover, 1st ed. 2020) Loot Price: R1,549
Discovery Miles 15 490
Artificial Mathematical Intelligence - Cognitive, (Meta)mathematical, Physical and Philosophical Foundations (Hardcover, 1st...

Artificial Mathematical Intelligence - Cognitive, (Meta)mathematical, Physical and Philosophical Foundations (Hardcover, 1st ed. 2020)

Danny A.J. Gomez Ramirez

 (sign in to rate)
Loot Price R1,549 Discovery Miles 15 490 | Repayment Terms: R145 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Release date: October 2020
First published: 2020
Authors: Danny A.J. Gomez Ramirez
Dimensions: 235 x 155mm (L x W)
Format: Hardcover
Pages: 259
Edition: 1st ed. 2020
ISBN-13: 978-3-03-050272-0
Categories: Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematical modelling
Promotions
LSN: 3-03-050272-4
Barcode: 9783030502720

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Quantifying and Managing Soil Functions…
Donald L. Sparks Hardcover R4,484 Discovery Miles 44 840
Mathematical Modelling - Education…
C Haines, P. Galbraith, … Paperback R2,562 R2,416 Discovery Miles 24 160
Modelling and Control in Biomedical…
David Dagan Feng, Janan Zaytoon Paperback R2,527 R2,390 Discovery Miles 23 900
Process Modelling and Model Analysis…
Ian T. Cameron, Katalin M. Hangos Hardcover R3,747 Discovery Miles 37 470
Mathematical Modelling
John Berry, Ken Houston Paperback R678 Discovery Miles 6 780
Tax Policy and Uncertainty - Modelling…
Christopher Ball, John Creedy, … Hardcover R2,791 Discovery Miles 27 910
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R95 R90 Discovery Miles 900
A Discipline of Mathematical Systems…
Matthew Collinson, Brian Monahan, … Paperback R953 Discovery Miles 9 530
Models and World Making - Bodies…
Annabel Jane Wharton Hardcover R2,218 Discovery Miles 22 180
Operations Research: Introduction To…
Richard Johannes Boucherie, Henk Tijms, … Paperback R1,714 Discovery Miles 17 140
Stochastic Integral And Differential…
Santanu Saha Ray Hardcover R3,100 Discovery Miles 31 000
Spatial Dynamics Models In The Life…
Frederic Y.M. Wan Hardcover R3,589 Discovery Miles 35 890

See more

Partners