Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Artificial Mathematical Intelligence...
~
SpringerLink (Online service)
Artificial Mathematical Intelligence = Cognitive, (Meta)mathematical, Physical and Philosophical Foundations /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Artificial Mathematical Intelligence/ by Danny A. J. Gómez Ramírez.
Reminder of title:
Cognitive, (Meta)mathematical, Physical and Philosophical Foundations /
Author:
Gómez Ramírez, Danny A. J.
Description:
XXI, 259 p. 11 illus., 8 illus. in color.online resource. :
Contained By:
Springer Nature eBook
Subject:
Computer science—Mathematics. -
Online resource:
https://doi.org/10.1007/978-3-030-50273-7
ISBN:
9783030502737
Artificial Mathematical Intelligence = Cognitive, (Meta)mathematical, Physical and Philosophical Foundations /
Gómez Ramírez, Danny A. J.
Artificial Mathematical Intelligence
Cognitive, (Meta)mathematical, Physical and Philosophical Foundations /[electronic resource] :by Danny A. J. Gómez Ramírez. - 1st ed. 2020. - XXI, 259 p. 11 illus., 8 illus. in color.online resource.
1. Global Introduction to the Artificial Mathematical Intelligence General Program -- 2. Some Basic Technical (Meta-)Mathematical Preliminaries for Cognitive Mathematics -- Part I. New Cognitive Foundations for Mathematics -- 3. General Considerations for the New Cognitive Foundations' Program -- 4. Towards the (Cognitive) Reality of Mathematics and the Mathematics of (Cognitive) Reality) -- 5. The Physical Numbers -- 6. Dathematics: A Meta-Isomorphic Version of "Standard" Mathematics Based on Proper Classes -- Part II. Global Taxonomy of the Fundamental Cognitive Mathematical Mechanisms Used in Mathematical Research -- 7. Conceptual Blending in Mathematical Creation/Invention -- 8. Formal Analogical Reasoning in Concrete Mathematical Research -- 9. Conceptual Substratum -- 10. (Initial) Global Taxonomy of the Most Fundamental Cognitive Mechanisms Used in Mathematical Creation/Invention -- Part III. Toward a Universal Meta-Modeling of Mathematical Creation/Invention -- 11. Meta-Modeling of Classic and Modern Mathematical Proofs and Concepts -- 12. The Most Outstanding (Future) Challenges Toward Global AMI and its Plausible Extensions. .
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.
ISBN: 9783030502737
Standard No.: 10.1007/978-3-030-50273-7doiSubjects--Topical Terms:
1253519
Computer science—Mathematics.
LC Class. No.: QA76.9.M35
Dewey Class. No.: 004.0151
Artificial Mathematical Intelligence = Cognitive, (Meta)mathematical, Physical and Philosophical Foundations /
LDR
:05045nam a22003975i 4500
001
1020267
003
DE-He213
005
20201023160322.0
007
cr nn 008mamaa
008
210318s2020 gw | s |||| 0|eng d
020
$a
9783030502737
$9
978-3-030-50273-7
024
7
$a
10.1007/978-3-030-50273-7
$2
doi
035
$a
978-3-030-50273-7
050
4
$a
QA76.9.M35
072
7
$a
PBWH
$2
bicssc
072
7
$a
MAT003000
$2
bisacsh
072
7
$a
PBWH
$2
thema
082
0 4
$a
004.0151
$2
23
100
1
$a
Gómez Ramírez, Danny A. J.
$e
author.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
1315712
245
1 0
$a
Artificial Mathematical Intelligence
$h
[electronic resource] :
$b
Cognitive, (Meta)mathematical, Physical and Philosophical Foundations /
$c
by Danny A. J. Gómez Ramírez.
250
$a
1st ed. 2020.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2020.
300
$a
XXI, 259 p. 11 illus., 8 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
505
0
$a
1. Global Introduction to the Artificial Mathematical Intelligence General Program -- 2. Some Basic Technical (Meta-)Mathematical Preliminaries for Cognitive Mathematics -- Part I. New Cognitive Foundations for Mathematics -- 3. General Considerations for the New Cognitive Foundations' Program -- 4. Towards the (Cognitive) Reality of Mathematics and the Mathematics of (Cognitive) Reality) -- 5. The Physical Numbers -- 6. Dathematics: A Meta-Isomorphic Version of "Standard" Mathematics Based on Proper Classes -- Part II. Global Taxonomy of the Fundamental Cognitive Mathematical Mechanisms Used in Mathematical Research -- 7. Conceptual Blending in Mathematical Creation/Invention -- 8. Formal Analogical Reasoning in Concrete Mathematical Research -- 9. Conceptual Substratum -- 10. (Initial) Global Taxonomy of the Most Fundamental Cognitive Mechanisms Used in Mathematical Creation/Invention -- Part III. Toward a Universal Meta-Modeling of Mathematical Creation/Invention -- 11. Meta-Modeling of Classic and Modern Mathematical Proofs and Concepts -- 12. The Most Outstanding (Future) Challenges Toward Global AMI and its Plausible Extensions. .
520
$a
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.
650
0
$a
Computer science—Mathematics.
$3
1253519
650
0
$a
Computer mathematics.
$3
1199796
650
0
$a
Neural networks (Computer science) .
$3
1253765
650
1 4
$a
Mathematical Applications in Computer Science.
$3
815331
650
2 4
$a
Mathematical Models of Cognitive Processes and Neural Networks.
$3
884110
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030502720
776
0 8
$i
Printed edition:
$z
9783030502744
776
0 8
$i
Printed edition:
$z
9783030502751
856
4 0
$u
https://doi.org/10.1007/978-3-030-50273-7
912
$a
ZDB-2-SMA
912
$a
ZDB-2-SXMS
950
$a
Mathematics and Statistics (SpringerNature-11649)
950
$a
Mathematics and Statistics (R0) (SpringerNature-43713)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login