Journal of Mathematical Techniques and Computational Mathematics(JMTCM)

School of Informatics, University of Edinburgh, UK

Publications

• Research Article   
  Formalization of Reasoning and Proofs Through the Lens of Human Thought Physiology and Logic
  Author(s): Viktoria Kondratenko* and Leonid Slovianov
  
  The intellectual activity of a person is realized by some kind of biological tools, suggesting the possibility of its inheritance, and scientific knowledge forms and concentrates its intellectual assets. Biological tools are able not only to operate with the assets of human intelligence, but also to carry out a complex of computational operations on the received signal information, determined by the functions of the vital activity of the human body. The description of this process through abstractions defines the foundation of mathematical science. Knowledge about the architecture of intellectual activity must be considered in the process of correct formalization of physical and physiological models in all-natural sciences in order to radically reduce the load on higher mental functions of a person. In particular, this necessity concerns the permissibility of certain operati.. Read More»
  

  Abstract HTML PDF