作者: Generic-Drug 時(shí)間: 2025-3-21 22:09 作者: Mobile 時(shí)間: 2025-3-22 01:16
https://doi.org/10.1007/978-1-349-16779-1blending as a strong tool for enhancing the creative potential of students are described through a case study (Some of the results of this chapter can also be found in Gomez-Ramirez and Smaill (Formal conceptual blending in the (co-)invention of (pure) mathematics. However, all the meta-theorems and作者: 吸氣 時(shí)間: 2025-3-22 08:14
The Physical Numbersadigm-shifting (bottom-up) meta-perspective is shown for understanding the causes of the high level of difficulty that the solutions of a large number of problems in classic elementary number theory possess.作者: Comprise 時(shí)間: 2025-3-22 11:04 作者: Ancillary 時(shí)間: 2025-3-22 14:40 作者: 難聽的聲音 時(shí)間: 2025-3-22 19:42
esis 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 syste978-3-030-50275-1978-3-030-50273-7作者: 通知 時(shí)間: 2025-3-22 22:27 作者: 現(xiàn)存 時(shí)間: 2025-3-23 04:47
Book 2020gnitive 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 mathem作者: 進(jìn)步 時(shí)間: 2025-3-23 09:12
https://doi.org/10.1007/978-94-007-2831-8ely many variables, field, field extension, group of automorphisms of a field (extension), (base for a) topological space, (ideal associated to a) algebraic set, ring of coordinates of an algebraic set, pre-sheaf and sheaf with values on the category of sets.作者: 門閂 時(shí)間: 2025-3-23 09:45 作者: 飛行員 時(shí)間: 2025-3-23 16:41 作者: CRAB 時(shí)間: 2025-3-23 20:16
Prologue: No Silk-Blouse Social Worker,ptual “bricks” are elementary in nature and essentially involve simple constructions done using the standard numerical systems (e.g., the natural, integer, and real numbers). The most sophisticated notion that is generated (only by space constrains in the presentation) is the one of (mathematical) schemes in modern algebraic geometry.作者: climax 時(shí)間: 2025-3-24 01:09
Some Basic Technical (Meta-)Mathematical Preliminaries for Cognitive Metamathematics,ely many variables, field, field extension, group of automorphisms of a field (extension), (base for a) topological space, (ideal associated to a) algebraic set, ring of coordinates of an algebraic set, pre-sheaf and sheaf with values on the category of sets.作者: 蛙鳴聲 時(shí)間: 2025-3-24 04:58
Towards the (Cognitive) Reality of Mathematics and the Mathematics of (Cognitive) Reality structurally delimits the accuracy of any predictive model, as we know them today in modern physics. In this way an unpredictability principle of natural human emerges. Finally, we explore, by means of a couple of thought experiments, under which conditions and hypothesis we could be able to “produce” explicit mathematical objects.作者: PALMY 時(shí)間: 2025-3-24 09:01 作者: Dignant 時(shí)間: 2025-3-24 11:25
Meta-Modeling of Classic and Modern Mathematical Proofs and Conceptsptual “bricks” are elementary in nature and essentially involve simple constructions done using the standard numerical systems (e.g., the natural, integer, and real numbers). The most sophisticated notion that is generated (only by space constrains in the presentation) is the one of (mathematical) schemes in modern algebraic geometry.作者: 富足女人 時(shí)間: 2025-3-24 17:30
Conclusion: A Continuing Dilemma,cal proof are analyzed in detail. Finally, basic principles of the local nature of the (conscious) mind are presented where mathematics is considered, to some extent, as an explicit (cognitive) product of it.作者: Flatus 時(shí)間: 2025-3-24 21:53
https://doi.org/10.1007/978-1-349-19114-7 former notion(s) is described for predicate logic. Finally, it is shown through concrete examples how these new notions can help to naturally meta-model the way in which our mind solves formal proofs starting with elementary, but not entirely trivial, theorems in a classic Hilbert’s style (propositional) calculus.作者: Provenance 時(shí)間: 2025-3-25 01:36
Materialist Feminism and Theatre,eral formalizations of this ability together with its connection with classic notions like primitive positive definability and Diophantineness. Finally, we describe how conceptual substratum can illuminate and enhance the cognitive coherence of (classic) deductive systems like the sequent calculus.作者: 混沌 時(shí)間: 2025-3-25 05:49 作者: GROWL 時(shí)間: 2025-3-25 09:43
https://doi.org/10.1007/978-94-007-2831-8 A brief description of some of the most outstanding thematic gaps in the literature regading artificial conceptual generation is shown together with the way in which they will be filled within the AMI program. Finally, minimal ethical considerations for the development of this program are established.作者: 漫步 時(shí)間: 2025-3-25 14:04
Global Introduction to the Artificial Mathematical Intelligence General Program, A brief description of some of the most outstanding thematic gaps in the literature regading artificial conceptual generation is shown together with the way in which they will be filled within the AMI program. Finally, minimal ethical considerations for the development of this program are established.作者: Angioplasty 時(shí)間: 2025-3-25 17:06 作者: Infusion 時(shí)間: 2025-3-25 23:27
The Most Outstanding (Future) Challenges Towards Global AMI and Its Plausible Extensionsta is also required in different formal (mathematical) areas. The ‘humanizing’ effects of a near fulfillment of artificial mathematical intelligence are described. Finally, plausible extensions of the artificial mathematical intelligence’s vision are shown to related scientific disciplines like physics, chemistry, biology, economics, and finances.作者: dissolution 時(shí)間: 2025-3-26 00:53
General Considerations for the New Cognitive Foundations’ Programcal proof are analyzed in detail. Finally, basic principles of the local nature of the (conscious) mind are presented where mathematics is considered, to some extent, as an explicit (cognitive) product of it.作者: angina-pectoris 時(shí)間: 2025-3-26 06:47
Formal Analogical Reasoning in Concrete Mathematical Research former notion(s) is described for predicate logic. Finally, it is shown through concrete examples how these new notions can help to naturally meta-model the way in which our mind solves formal proofs starting with elementary, but not entirely trivial, theorems in a classic Hilbert’s style (propositional) calculus.作者: 打折 時(shí)間: 2025-3-26 09:11 作者: 輕快帶來危險(xiǎn) 時(shí)間: 2025-3-26 13:34 作者: blight 時(shí)間: 2025-3-26 19:18
https://doi.org/10.1007/978-94-007-2831-8gram (Cognitive Metamathematics). Specifically, we briefly revise the notions of propositional and predicative logic, the most outstanding logical frameworks for modern mathematics (e.g., ZFC and NBG set theory, Peano arithmetic), and the notion of category and some of its derived notions. Moreover,作者: 不如屎殼郎 時(shí)間: 2025-3-26 21:41 作者: Asymptomatic 時(shí)間: 2025-3-27 05:01
https://doi.org/10.1057/9781403981431al scenarios. Thus, the ontological reality of mathematics is supported, at least partially, in the physical realm. On the other hand, we claim that mathematics plays an existential structural role within the whole (meta-)physical reality, which is supported by the meta-cosmological fact that one of作者: 尾巴 時(shí)間: 2025-3-27 06:56
Conclusion: A Continuing Dilemma, features and intuitions of this ancient numerical system are classified into physically supported parts and meta-physical (or mental) ones. A new numerical system consisting of . is proposed which has an initial and a final element, and is essentially grounded in the physical realm. Semantic founda作者: Intractable 時(shí)間: 2025-3-27 11:01
Conclusion: A Continuing Dilemma,ermelo–Fraenkel set theory with Choice. Effectively, we will construct a first-order logic theory D-ZFC (dual theory of ZFC) strictly based on (a particular sub-collection of) proper classes with a corresponding special membership relation, such that ZFC and D-ZFC are meta-isomorphic frameworks (tog作者: addict 時(shí)間: 2025-3-27 15:51
https://doi.org/10.1007/978-1-349-16779-1reation/invention. Explicitly, a specific version of a well-known formalization of conceptual blending is given in terms of colimits of many-sorted first-order theories. With these formalisms, new nine meta-theorems are proved, describing how to generate recursively fundamental concepts of Fields an作者: PAC 時(shí)間: 2025-3-27 20:44
https://doi.org/10.1007/978-1-349-19114-7 analogy,” “analogical space,” (syntactic) “depth,” and “index” of propositions (and subsequently of formulas) are described. Moreover, the notion of “best analogy” between two propositions is introduced as the atomic analogy with maximal depth and minimal index. Furthermore, a generalization of the作者: 豐滿中國 時(shí)間: 2025-3-28 01:03 作者: 精美食品 時(shí)間: 2025-3-28 02:38
https://doi.org/10.1057/9780230245204lly, formalizations of each of them are described in a conceptual setting broad enough to include virtually any classic mathematical sub-discipline which possesses a sufficiently “robust” logic. All of this is grounded in general formalizations of the notions of mathematical concept and mathematical作者: groggy 時(shí)間: 2025-3-28 09:39
Prologue: No Silk-Blouse Social Worker, program, specific cognitive meta-generations (or pseudo-pre-code) of dozens of (mathematical) concepts and proofs are presented. In particular, two classic proofs in elementary geometry and number theory are meta-generated. Moreover, around 30 fundamental notions are constructed belonging to severa作者: 無法治愈 時(shí)間: 2025-3-28 13:35
The Culture of Working-Class Girls,ve formal refinements of fundamental ((meta-)mathematical) notions like set, proof, and exemplification, as well as the systematic (cognitive) meta-analysis of hundreds of domain-specific proofs in the most relevant mathematical sub-disciplines. This is aimed to be done along the lines of the global作者: hermitage 時(shí)間: 2025-3-28 16:18 作者: oxidant 時(shí)間: 2025-3-28 22:39
http://image.papertrans.cn/b/image/162610.jpg作者: Melanoma 時(shí)間: 2025-3-28 23:16
https://doi.org/10.1007/978-3-030-50273-7foundations of mathematics; theory of Lie groups; commutative algebra; Galois and Fields theory; computa作者: 一罵死割除 時(shí)間: 2025-3-29 03:53
978-3-030-50275-1Springer Nature Switzerland AG 2020作者: 充氣女 時(shí)間: 2025-3-29 08:06 作者: 激怒某人 時(shí)間: 2025-3-29 13:24
Some Basic Technical (Meta-)Mathematical Preliminaries for Cognitive Metamathematics,gram (Cognitive Metamathematics). Specifically, we briefly revise the notions of propositional and predicative logic, the most outstanding logical frameworks for modern mathematics (e.g., ZFC and NBG set theory, Peano arithmetic), and the notion of category and some of its derived notions. Moreover,作者: Graves’-disease 時(shí)間: 2025-3-29 19:07
General Considerations for the New Cognitive Foundations’ Programcs and (the corresponding parts of) logic (founding parts of mathematics) from a multidisciplinary perspective. The main challenges and cornerstones of this new program are described. Additionally, fundamental aspects of the cognitive substratum of (current formalizations of the notion of) mathemati作者: LAIR 時(shí)間: 2025-3-29 20:28
Towards the (Cognitive) Reality of Mathematics and the Mathematics of (Cognitive) Realityal scenarios. Thus, the ontological reality of mathematics is supported, at least partially, in the physical realm. On the other hand, we claim that mathematics plays an existential structural role within the whole (meta-)physical reality, which is supported by the meta-cosmological fact that one of
