Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Artificial Mathematical Intelligence

Artificial Mathematical Intelligence

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030502720
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

The Apocalyptic Trinity

$39.99

Investigation of Innovative Water Injection Strategies for Gasoline Engines by Means of a 3D-CFD Vir

$119.99

Action Research Methods

$79.99

Cell and Molecular Biology of the Uterus

$84.99

Erkenntnis und Dialektik

$171.00

Instabilities and Nonequilibrium Structures IV

$84.99

Synchronization

$109.99

Shakespeare the Renaissance Humanist

$84.99

Grundkurs Theoretische Physik 5/2

$44.99

Out of Time (Hardcover)

$12.74

An Introduction to Mission Design for Geostationary Satellites

$129.00

Proceedings of the 2nd International Civil Engineering and Architecture Conference

$249.99

Structure of Transition Zone

$169.99

Angiotensin II AT1-Rezeptorantagonisten

$54.99

Autophagy: Biology and Diseases

$219.99

Introduction to Development Engineering

$59.99

The Attribution of Blame

$109.00

Weiterbildung Notfallmedizin

$17.99

Markenpiraterie

$59.99

T Helper Cell Differentiation and Their Function

$199.99

Materiality and Subject in Marxism, (Post-)Structuralism, and Material Semiotics

$54.99

We had the Watches. They had the Time

$89.00

Berichte zur Lebensmittelsicherheit 2014

$19.99

Computational Science and Its Applications ICCSA 2021

$84.99

Transcending Borders

$109.99

Models in Software Engineering

$39.99

Augenrztliche Operationen

$59.99

Finiteness Conditions and Generalized Soluble Groups

$69.99

Haus der Elektrotechnik

$59.99

Soil Components

$84.99

Vascular and Peritoneal Access for Dialysis

$169.00

Practical OpenTelemetry

$54.99

Sustainable Energy Mix in Fragile Environments

$109.99

Visual Basic .NET and the .NET Platform

$44.99

Finite Element Methods and Their Applications

$39.99

Footprints in the Snow

$2.99

Semantics of Type Theory

$79.99

Advanced Operations

$17.99

The Quadratic Unconstrained Binary Optimization Problem

$149.00

Highly Selective Separations in Biotechnology

$219.99