Abstract

Based on the global taxonomy of fundamental cognitive (metamathematical) mechanisms developed within the artificial mathematical intelligence research 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 several mathematical sub-disciplines like set theory, abstract algebra, topology, category theory, commutative algebra, and (classic and modern) algebraic geometry. All of these concepts vary enormously in their degree of sophistication. Nonetheless, the initial mathematical structures used as basic conceptual “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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.