To the logical foundations of random number generator construction

Abstract This study explores fundamental aspects of probability theory within the framework of constructing random sequences or random number generators. We propose an interpretation of probability spaces and operations on formal events through the theory of formal languages, utilizing string manipulation techniques. As part of the research, we present a direct implementation of the discussed concepts in the form of a program that generates random numbers of the required type by processing signals from a sound card. Additionally, the problem of primality testing, which is particularly relevant to practical cryptographic applications, is addressed. We critically examine common misconceptions regarding the properties of Carmichael numbers and the application of Fermat’s Little Theorem. Furthermore, we propose an efficient primality testing algorithm.