Hibert’s Entscheidungsproblem
the challenge to formalize all of mathematics and use algorithmic means to determine the validity of all statements.
literally means ‘decision problem’
Hibert’s Entscheidungsproblem
the challenge to formalize all of mathematics and use algorithmic means to determine the validity of all statements.
literally means ‘decision problem’