Natural density and probability, constructively

• Autorzy: Maschio Samuele

Identyfikatory

DOI

10.4467/20842589RM.20.002.12434

• Języki publikacji: EN

Abstrakty

EN

We give a constructive account of the frequentist approach to probability, by means of natural density. Then we discuss some probabilistic variants of the Limited Principle of Omniscience.

Słowa kluczowe

EN

constructive probability; frequentist probability; natural density; limited principle of omniscience

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2020
• Tom: Vol. 55
• Strony: 41--59
• Opis fizyczny: Bibliogr. 7 poz.

Twórcy

autor

Maschio Samuele

• Dipartimento di Matematica “Tullio Levi-Civita” Università di Padova 35131 Padova (PD), Italy

Bibliografia

• [1] E. Bishop, D. S. Bridges, Constructive analysis, Springer 1985.
• [2] D. Bridges, F. Richman, Varieties of Constructive Mathematics, Cambridge University Press 1987.
• [3] Y.K. Chan, Notes on constructive probability theory, Ann. Probability 2 (1974), 51-75
• [4] H. Ishihara, Reverse Mathematics in Bishop’s Constructive Mathematics, Philosophia Scientae (2006), 43–59.
• [5] M.E. Maietti, A minimalist two-level foundation for constructive mathematics, Annals of Pure and Applied Logic 160:3 (2009), 319–354.
• [6] M.E. Maietti, G. Sambin, Toward a minimalist foundation for constructive mathematics, In: From Sets and Types to Topology and Analysis: Practicable Foundations for Constructive Mathematics (Eds. L. Crosilla, P. Schuster), Oxford University Press 2005, pp. 91–114.
• [7] I. Niven, The asymptotic density of sequences, Bull. Amer. Math. Soc. 6:11 (1951), 420–434

Uwagi

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2020).