Geodesic
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
Kybernetika, Tome 9 (1973) no. 3, pp. 162-173 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B99, 62D05, 62P99 
@article{KYB_1973_9_3_a1,
     author = {Kramosil, Ivan},
     title = {A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. {II.} {A} method for statistical testing of an at random sampled formula},
     journal = {Kybernetika},
     pages = {162--173},
     year = {1973},
     volume = {9},
     number = {3},
     mrnumber = {0343415},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1973_9_3_a1/}
}
TY  - JOUR
AU  - Kramosil, Ivan
TI  - A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
JO  - Kybernetika
PY  - 1973
SP  - 162
EP  - 173
VL  - 9
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/KYB_1973_9_3_a1/
LA  - en
ID  - KYB_1973_9_3_a1
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%T A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
%J Kybernetika
%D 1973
%P 162-173
%V 9
%N 3
%U http://geodesic.mathdoc.fr/item/KYB_1973_9_3_a1/
%G en
%F KYB_1973_9_3_a1
Kramosil, Ivan. A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula. Kybernetika, Tome 9 (1973) no. 3, pp. 162-173. http://geodesic.mathdoc.fr/item/KYB_1973_9_3_a1/

[1] Church Alonzo: Introduction to Mathematical Logic, Part. I. Princeton University Press, Princeton 1956. | MR

[2] Gentzen Gerhardt: Untersuchungen über das logische Schliessen. Mathem. Zeitschrift 39 (1934-35), 176-210, 405-431.

[3] Hao Wang: A Survey of Symbolic Logic. Science Press, Peking; North Holland Publishing Co., Amsterdam 1962.

[4] Kramosil Ivan: A Method for Random Sampling of Well-Formed Formulas. Kybernetika 8 (1972), 2, 135-148. | MR | Zbl

[5] Kramosil Ivan: Statistical Estimation of Deducibility in Polyadic Algebras. Kybernetika 7 (1971), 3, 181-200. | MR

[6] Davis Martin: Conputability and unsolvability. McGraw Hill Book Company, New York, Toronto, London 1958. | MR

[7] Kleene Stephen Cole: Introduction to Metamathematics. D. van Nostrand Company, New York, Toronto 1952. | MR

[8] van Westrhenen S. C.: A probabilistic machine for the estimation of Probability in the first order predicate calculus. Zeitschr. für Math. Logik and Grundlagen der Math. 15 (1969), 291-297. | MR

[9] van Westrhenen S. C.: Statistical Studies of Theoremhood in Classical Propositional and First-Order Predicate Calculus. Journal of the Association for Computing Machinery 19 (1972), 2, 347-365. | MR | Zbl