Statistical Estimation of Semantic Provability
Antonín Špaček · Project Euclid (Cornell University) · 1961
Abstract : Let us point out that there is nothing unexpected in this paper. The sole element of novelty is the formal description of a simple relation between a chapter of mathematical logic and mathematical statistics.