Skip to main content

Study of the finitely additive probability theory using non standard analysis and applications to randomness computability