Kolmogorov's legacy: Algorithmic Theory of Informatics and Kolmogorov Programmable Technology

by   Sergei Levashkin, et al.

In this survey, we explore Andrei Nikolayevich Kolmogorov's seminal work in just one of his many facets: its influence Computer Science especially his viewpoint of what herein we call 'Algorithmic Theory of Informatics.' Can a computer file 'reduce' its 'size' if we add to it new symbols? Do equations of state like second Newton law in Physics exist in Computer Science? Can Leibniz' principle of identification by indistinguishability be formalized? In the computer, there are no coordinates, no distances, and no dimensions; most of traditional mathematical approaches do not work. The computer processes finite binary sequences i.e. the sequences of 0 and 1. A natural question arises: Should we continue today, as we have done for many years, to approach Computer Science problems by using classical mathematical apparatus such as 'mathematical modeling'? The first who drew attention to this question and gave insightful answers to it was Kolmogorov in 1960s. Kolmogorov's empirical postulate about existence of a program that translates 'a natural number into its binary record and the record into the number' formulated in 1958 represents a hint of Kolmogorov's approach to Computer Science. Following his ideas, we interpret Kolmogorov algorithm, Kolmogorov machine, and Kolmogorov complexity in the context of modern information technologies showing that they essentially represent fundamental elements of Algorithmic Theory of Informatics, Kolmogorov Programmable Technology, and new Komputer Mathematics i.e. Mathematics of computers.



page 1

page 2

page 3

page 4


Mathematical Logic in Computer Science

The article retraces major events and milestones in the mutual influence...

Numerical Algorithmic Science and Engineering within Computer Science: Rationale, Foundations and Organization

A re-calibration is proposed for "numerical analysis" as it arises speci...

One Time Pad and the Short Key Dream

This is a survey on the One Time Pad (OTP) and its derivatives, from its...

Developments in Mathematical Algorithms and Computational Tools for Proton CT and Particle Therapy Treatment Planning

We summarize recent results and ongoing activities in mathematical algor...

A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics?

There is a problem with the foundations of classical mathematics, and po...

Stochastic thermodynamics of computation

One of the major resource requirements of computers - ranging from biolo...

Simple Derivation of the Lifetime and the Distribution of Faces for a Binary Subdivision Model

The iterative random subdivision of rectangles is used as a generation m...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.