G.А. Kravtsov, N.V. Kravtsova,
O.V. Khodakovskaya, V.V. Nikitchenko, A.N. Prymushko

Èlektron. model. 2021, 43(3):87-107


The authors consider as the main hypothesis about the possibility of constructing the mathematics of the brain, the statement that the supposed basis of any context of thinking is primarily formed by a system of axioms, which is the foundation of abstract thinking, realized or materialized through some language. The authors investigate the problem of the applicability of language as the main instrument of cultural continuity and form a research program that includes: the development of a unified ontology that describes objects, actions, qualities and relationships; studying the nature of the context and presenting it with unambiguous concepts of a unified ontology; determining the applicability of actions to objects as partially-defined functions to mathematical categories; model of subjective choice of semantic categories according to relevance in a certain context.


brain, strong artificial intelligence, language, axiom system, objective reality, inner world, mathematical modeling.


  1. Anokhin, K. (2019), “Fundamental brain theory: the main challenge to theoretical physics and mathematics of the brain from the workshop Theoretical physics and mathematics of the brain: bridges across disciplines and applications”, URL: watch?v=WY_WPjlfoBY&t=16s.
  2. Marsh, H. (2019), “What is the threat of artificial intelligence? Brain interface chips. Lecture in Ukrainian at the Ukrainian Catholic University”, URL: https:// watch?v=FdBCNd4wGbQ.
  3. Sporns, O., Tononi, G. and Kötter, R. (2005), "The human connectome: A structural description of the human brain", PLOS Computational Biology, Vol. 1, no 4.
  4. Hagmann, P. (2005), “From diffusion MRI to brain connectomics”, PhD diss., EPFL, 2005.
  5. White, JG., Southgate, E., Thomson, JN. and Brenner, S. (1986), The structure of the nervous system of the nematode Caenorhabditis elegans, The Royal Society, London, Great Britain.
  6. Arbib, M. (1976), Metaforicheskiy mozg [Metaphorical brain], Mir, Moscow, USSR.
  7. Chernigovskaya, T. (2020), “Brain vs artificial intelligence. Yegor Gaidar Forum 2020”, URL:
  8. LAKHTA VIEW: Human, (2018), “Martovskaya vstrecha otkrytogo mezhdunarodnogo obrazovatel'nogo proyekta LAKHTA VIEW”, URL: https://www. watch?v=p2P1wqLsdY8&t=1664s.
  9. Potapov, A. (2018), “Neurosurgery and Consciousness”, In the world of science. Scientific Russia, Vol. 3, available at:
  10. Luriya, A. (2020), Yazyk i soznaniye [Language and Consciousness], Piter, Saint Petersburg, Russia.
  11. Carlos, E. and Perez, A. (2020), “Map of Doctrines in AGI Research”, Intuition Machine, Medium, available at:
  12. Grinfild, S. (2018), Odin den iz zhizni mozga. Neyrobiologiya soznaniya ot rassveta do zakata [One day in the life of the brain. The neurobiology of consciousness from dawn to dusk], Piter, Saint Petersburg, Russia.
  13. Knyazeva, E.N. (2013), “Enactivism: A Conceptual Turn in Epistemology”, Philosophy questions, 10, pp. 91-104.
  14. Gilbert, D. and Bernays, P. (1979), Osnovy matematiki. Tom 2. Teoriya dokazatel'stv [Foundations of Mathematics. Vol. 2. Evidence theory], Nauka, Moscow, USSR.
  15. Mikhailova, H. (2015), “The Hilbert formalism program as a working philosophical direction in the substantiation of mathematics.” Liberial Arts in Russia, Vol. 4. no. 6, pp. 534-544.
  16. Priest, S. (2000), Teorii soznaniya [Theories of consciousness], Ideya-Press, Dom intellektualnoy knigi, Moscow, Russia.
  17. Anokhin, K., Shumsky, S. and Falikman, M. (2017), “Physics and mathematics of the brain and consciousness”, URL:
  18. Petrov, D. (2000), “Languages and mathematics”, URL:
  19. Berwick, R.C. and Chomsky, N. (2017), Why Only Us: Language and Evolution, The MIT Press.
  20. Arno, A. and Lansloh, K. (1991), Vseobshchaya ratsional'naya grammatika (Grammatika Por-Royalya) [Universal rational grammar (Grammar of Port Royal)], LGU, Saint Petersburg, USSR.
  21. Rossokhin, A.V. Reflection and inner dialogue in altered states of consciousness: Intersconsciousness in psychoanalysis. Moscow: Kogito-center, 2010.
  22. Kuchinsky, G.M. Psychology of internal dialogue. Minsk, 1988.
  23. Kashirskaya, E.V. “Psychological conditions for the formation of speech-thinking activity among students - future psychologists.” PhD diss., Cherepovets State University, 2014.
  24. Kravtsov, G.A., Levitin, V.V., Koshel, V.I., Nikitchenko, V.V., Primushko, A.N. “Strong artificial intelligence: prerequisites.” Electronic Modeling. Vol. 41, 5 (2019): 35-58.
  25. McLain, S. Categories for the working mathematician. Moscow: Fizmatlit, 2004.
  26. Lapshin, V.A. Ontology in computer systems. Moscow: Scientific world, 2010.
  27. Shabanov-Kushnarenko, S.Yu., Kalinichenko, O.V., Korniychuk, E.O., and Koryak, V.V. “Applying category theory to solving logical networks.”. primenenie-teorii-kategoriy-dlya-resheniya-logicheskih-setey.
  28. Lakoff, J. The Metaphors We Live By. Translated by Mark, J. Moscow: Editorial URSS, 2004.
  29. Lakoff, G. Women, Fire and Dangerous Things: What Categories Reveal About the Mind. University of Chicago Press, 1990.
  30. Belinskiy, A.V. “Wigner's friend paradox: objective reality does not exist?” Arxiv. February 6, 2021.
  31. Lebedev, S.A. “The problem of the subject and object in scientific knowledge.” Bulletin of TvGU, series "Philosophy". no. 1 (2016): 19-26.
  32. Shumilova, A. “Lexical synonymy: traditional and cognitive vision of the problem.” Bulletin of the Chelyabinsk State University. no. 22 (2009): 144-148.
  33. Lurie, Jacob. Higher Thopos Theory. Princeton University Press, 2009.
  34. Koks, T. Why We Speak: The History of Speech from Neanderthals to Artificial Intelligence. Translated by Myagkova, E.Yu. Мoscow: KoLibri, Azbuka-Attikus, 2020.

Full text: PDF