Statistical theory of logical derivability
Jan Šindelář · Czech digital mathematics library · 1980
Statistical Theory of Logical Derivability JAN SINDELARA generalization of notions like "theory" in the sense of mathematical logic, "Markov (normal) algorithm" etc., is described; the new notion is called "formal system".The generalization of notions "validity", and also of notion "provability" of formulas is the notion "derivability".Derivability is studied using statistical methods, analogous to the methods used in the statistical theory of deducibility testing.