scientific article; zbMATH DE number 3761442

MaRDI QIDQ3944044zbMATH OpenFDO

Authors Ivan Kramosil

Publication date 1981

Full work available at URL https://eudml.org/doc/28663

zbMATH Keywords

random samplesstatistical verification procedure for propositional formulasTuring machine

Mathematics Subject Classification ID

Classical propositional logic (03B05) Analysis of algorithms and problem complexity (68Q25)

Cites work

• scientific article; zbMATH DE number 3433226 (Why is no real title available?)
• Information-Theoretic Limitations of Formal Systems
• Zufälligkeit und Wahrscheinlichkeit. Eine algorithmische Begründung der Wahrscheinlichkeitstheorie. (Randomness and probability. An algorithmic foundation of probability theory)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3944044)