| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910483041803321 |
|
|
Autore |
Gomez Ramirez Danny A. J. |
|
|
Titolo |
Artificial mathematical intelligence : cognitive, (meta)mathematical, physical and philosophical foundations / / Danny A. J. Gomez Ramirez |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2020] |
|
©2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXI, 259 p. 11 illus., 8 illus. in color.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science - Mathematics |
Neural networks (Computer science) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
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. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991003481689707536 |
|
|
Autore |
Thomas : Aquinas <1225-1274> |
|
|
Titolo |
In opuscula introductio generalis ; Contra errores graecorum ; Appendix: Liber de fide trinitatis / Sancti Thomae De Aquino ; cura et studio Fratrum Praedicatorum |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Romae : ad Sanctae Sabinae, 1967 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Sancti Thomae de Aquino Opera omnia ; 40 A |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
3. |
Record Nr. |
UNINA9910960267603321 |
|
|
Titolo |
Evaluating systems of care : the comprehensive community mental health services for children and their families program / / guest editors, E. Wayne Holden and Ana Maria Brannan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[New Jersey] : , : Lawrence Erlbaum, , 2002 |
|
|
|
|
|
|
|
ISBN |
|
1-135-58717-5 |
1-138-40118-8 |
1-4106-0818-2 |
1-135-58718-3 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (71 pages) |
|
|
|
|
|
|
Collana |
|
Children's Services : Social Policy, Research, and Practice, , 1093-9644 ; ; Volume 5, Number 1 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
BrannanAna Maria |
HoldenE. Wayne <1956-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Child mental health services - United States |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters. |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Background for the special issue / E. Wayne Holden and Ana Maria Brannan -- Overview of the national evaluation of the comprehensive community mental health services for children and their families program and summary of current findings / Brigitte Manteuffel, Robert L. Stephens, and Rolando Santiago -- The impact of managed care on systems of care that serve children with serious emotional disturbances and their families / Beth A. Stroul. [et al.] -- System-of-care assessment : cross-site comparison of findings / Ana Maria Brannan. [et al.] -- Policy implications of the national evaluation of the comprehensive community mental health services for children and their families program / E. Wayne Holden, Gary De Carolis, and Barbara Huff -- The national evaluation of the comprehensive community mental health services for children and their families program : a commentary / Robert M. Friedman and Mario Hernandez. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This issue consists of five articles profiling different aspects of the national evaluation of the Comprehensive Community Mental Health Services for Children and Their Families Program. Over the last eight years, this program provided grants to develop community-based systems of care for children with serious emotional disturbance and their families. A comprehensive, multilevel evaluation has been conducted that has provided information to local grantee communities and the federal government on the implementation and effectiveness of systems of care. Touching on a range of questions that the evaluation is designed to address, the articles in this special issue provide more general information on the system-of-care approach to addressing children's mental health problems. |
|
|
|
|
|
|
|
| |