Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2021
ISBN 10: 3030502759ISBN 13: 9783030502751
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2020
ISBN 10: 3030502724ISBN 13: 9783030502720
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2021
ISBN 10: 3030502759ISBN 13: 9783030502751
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2020
ISBN 10: 3030502724ISBN 13: 9783030502720
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2020
ISBN 10: 3030502724ISBN 13: 9783030502720
Seller: SpringBooks, Berlin, Germany
Book First Edition
Hardcover. Condition: Very Good. 1. Auflage. unread, with a mimimum of shelfwear.
Published by Springer, 2021
ISBN 10: 3030502759ISBN 13: 9783030502751
Seller: Books Unplugged, Amherst, NY, U.S.A.
Book
Condition: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.13.
Published by Springer, 2021
ISBN 10: 3030502759ISBN 13: 9783030502751
Seller: Book Deals, Tucson, AZ, U.S.A.
Book
Condition: Fair. Acceptable/Fair condition. Book is worn, but the pages are complete, and the text is legible. Has wear to binding and pages, may be ex-library. 1.13.
Published by Springer, 2020
ISBN 10: 3030502724ISBN 13: 9783030502720
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2021
ISBN 10: 3030502759ISBN 13: 9783030502751
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2021
ISBN 10: 3030502759ISBN 13: 9783030502751
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: New. Book is in NEW condition. 1.13.
Published by Springer International Publishing Okt 2020, 2020
ISBN 10: 3030502724ISBN 13: 9783030502720
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 thegrounding 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. 284 pp. Englisch.
Published by Springer International Publishing Okt 2021, 2021
ISBN 10: 3030502759ISBN 13: 9783030502751
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 thegrounding 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. 284 pp. Englisch.
Published by Springer Nature, 2020
ISBN 10: 3030502724ISBN 13: 9783030502720
Seller: Revaluation Books, Exeter, United Kingdom
Book
Hardcover. Condition: Brand New. 280 pages. 9.25x6.10x0.69 inches. In Stock.
Published by Springer International Publishing, 2021
ISBN 10: 3030502759ISBN 13: 9783030502751
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 thegrounding 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.
Published by Springer International Publishing, 2020
ISBN 10: 3030502724ISBN 13: 9783030502720
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 thegrounding 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.
Published by Springer International Publishing, 2020
ISBN 10: 3030502724ISBN 13: 9783030502720
Seller: moluna, Greven, Germany
Book Print on Demand
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Sets the multidisciplinary foundations of Artificial Mathematical Intelligence and Cognitive MetamathematicsProvides both classic and new results concerning the (artificial) co-generation of old and new mathematical concepts filling a conceptual gap .
Published by Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030502759ISBN 13: 9783030502751
Seller: moluna, Greven, Germany
Book Print on Demand
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 A.