Statistical Estimation of Semantic Provability

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1961
Accession Number
AD1027777

Entities

People

  • Antonin Spacek

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Boolean Algebra
  • Data Science
  • Decision Theory
  • Information Science
  • Inspection
  • Logic
  • Mathematical Logic
  • Observation
  • Probability
  • Random Variables
  • Reasoning
  • Sequences
  • Set Theory
  • Statistical Decision Theory
  • Statistical Estimation
  • Statistics
  • Theorems

Fields of Study

  • Mathematics