Learn More
An algorithmic uniform method to measure the complexity of statements of finitely refutable statements [6, 7, 8], was used to classify fa-mous/interesting mathematical statements like Fermat's last theorem, Hilbert's tenth problem, the four colour theorem, the Riemann hypothesis, [9, 13, 14]. Working with inductive Turing machines of various orders [1](More)
Evolutionary information theory is a constructive approach that studies information in the context of evolutionary processes, which are ubiquitous in nature and society. In this paper, we develop foundations of evolutionary information theory, building several measures of evolutionary information and obtaining their properties. These measures are based on(More)