October 18, 2017

At its very beginning, the research field of automated reasoning (or, sometimes called computational
logic) has as part of its central global motivations the construction of software being able to generate (and
implicitly to solve) concrete mathematical works like for...

October 12, 2017

The New Cognitive Foundations for Mathematics is an interdisciplinary program for finding more
cognitively-inspired and computationally-feasible refinements of the most basic logic and mathematical
(syntactic and semantic) structures used for grounding not only ma...

September 15, 2017

We describe an explicit initial list of the most fundamental cognitive mechanism used by our minds
when we are doing formal research in mathematics. Some of these abilities are basic mental mechanisms
used everywhere in human reasoning, other ones are more domain-speci...

Please reload

© Artificial Mathematical Intelligence

© Network ARMAINTE

© 2019 Danny A. J. Gomez-Ramirez.

  • Facebook Clean Grey

Follow us in Facebook