Logical Matrices and Goldbach Problem
The paper considers equivalent formulations of Goldbach conjecture in terms of sets of tautologies in sequences of logical matrices and single logical matrices. The significant part in this consideration belongs to concepts of tautology in a logical matrix, sums and products of logical matrices from sequence Kn+1 of Karpenko matrices. Thus the paper proposes an answer to A.S. Karpenko’s question about possible relations between sequences of logical matrices similar to Kn+1 and an open problem, known as binary Goldbach conjecture: every even natural number n ≥ 4 may be represented as a sum of two prime numbers. The proposition that all finite-valued matrices in the sequence M have tautologies iff the binary version of Goldbach conjecture (G2) is true is proven. Using the properties of matrix product operation, it is proven that the infinite-valued matrix M⊗ has tautologies iff G2 is true. The paper also mentions that the set of tautologies of M⊗ (id est the logical theory defined by M⊗) is equal to the certain theory defined in terms of finite-valued Lukasiewicz logics Ln iff G2 is true. These results were restated in terms of sequences of matrices and their products from a large class of logical matrices. Thus it was found out that G2 has certain ogical aspects, as it is equivalent to existence of defined non-empty logical theories.