Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Editorial staff
Guidelines for authors
License agreement
Editorial policy

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.]:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2015, Volume 19, Number 3, Pages 534–558 (Mi vsgtu1427)  

Mathematical Modeling, Numerical Methods and Software Complexes

Mathematical foundations of epistemology based on experiments

S. M. Krylov

Samara State Technical University, Samara, 443100, Russian Federation

Abstract: The paper deals with basic prerequisites for the development of epistemology, which uses information concerning real experiments in the real world (with real objects). Such experiments are conducted by “formal-technological” analogs of Turing Machines. These analogs are called “universal synthesizers-analyzers”. They can perform syntheses and analyses of various objects or constructions (obtained by conjunctions of finite number of smaller objects called basic elements) with the help of various algorithmic systems having some restrictions. Such algorithmic systems are called Formal Technologies. They have formal structures that are very similar to the formal structure of Maltsev's algebraic systems. This formal closeness allows us, first, to set up a hypothesis concerning algorithmic basis of almost all surrounding physical processes, as understandable as well as till non-understandable ones, that partially explains the wide applicability of mathematics to the outer world; second, this closeness allows one to formulate and prove some theorems (called assertions) concerning features and peculiar properties of cognitive algorithms in one-, two- or three-dimensional surroundings for various formal technological systems, including a so called “acquired knowledge effectiveness theorem”. The theorem (assertion) can be applied to a very wide class of formal technologies which use an equality predicate for objects analyses. In the paper various cognitive algorithms are listed and proved. These algorithms have different sets of technological operations resembling syntheses and decompositions, as well as different sets of analytical operations including equality predicates, “random stationary mapping” operations (which use unknown algorithms to obtain stationary results, therefore these operations are very similar to oracles in Turing Machines), operations that define object shapes, and so on. The structure of automatic cognitive devices called “cognizers” is described.

Keywords: cognitive algorithms, physical processes with physical objects, General Formal Technology, General System Theory, object properties, object functionalities, universal object synthesizer-analyzer, universal cognizer

DOI: https://doi.org/10.14498/vsgtu1427

Full text: PDF file (838 kB) (published under the terms of the Creative Commons Attribution 4.0 International License)
References: PDF file   HTML file

Bibliographic databases:

UDC: 519.68: 681.51
MSC: 03F50, 68T30
Original article submitted 20/IV/2015
revision submitted – 30/VI/2015

Citation: S. M. Krylov, “Mathematical foundations of epistemology based on experiments”, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 19:3 (2015), 534–558

Citation in format AMSBIB
\Bibitem{Kry15}
\by S.~M.~Krylov
\paper Mathematical foundations of epistemology based~on~experiments
\jour Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.]
\yr 2015
\vol 19
\issue 3
\pages 534--558
\mathnet{http://mi.mathnet.ru/vsgtu1427}
\crossref{https://doi.org/10.14498/vsgtu1427}
\zmath{https://zbmath.org/?q=an:06968981}
\elib{https://elibrary.ru/item.asp?id=24554663}


Linking options:
  • http://mi.mathnet.ru/eng/vsgtu1427
  • http://mi.mathnet.ru/eng/vsgtu/v219/i3/p534

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Вестник Самарского государственного технического университета. Серия: Физико-математические науки
    Number of views:
    This page:289
    Full text:125
    References:18
    First page:1

     
    Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021