Struct MarkovPrinciple 

pub struct MarkovPrinciple { /* private fields */ }

Markov’s Principle: if a decidable predicate is not everywhere false, then there exists a witness.

Implementations

impl MarkovPrinciple

pub fn new() -> Self

Create a new MarkovPrinciple record.

pub fn statement(&self) -> &'static str

The statement of Markov’s Principle (MP).

pub fn is_accepted_in_russian_school(&self) -> bool

MP is accepted in the Russian constructive school (Markov, Shanin).

Trait Implementations

impl Default for MarkovPrinciple

fn default() -> Self

Returns the “default value” for a type.